Issues · i7 / owl

New issue

CLI Modernisation

#236 · opened Nov 20, 2020 by Salomon Sickert-Zehnter
- 1
- 0
updated Nov 20, 2020
Print pipeline in --help for the compact tools

#235 · opened Nov 20, 2020 by Tobias Meggendorfer
- 0
updated Nov 20, 2020
Acceptance Propagation

#233 · opened Jun 16, 2020 by Tobias Meggendorfer
- 0
updated Jun 16, 2020
Sylvan BDD Backend

#218 · opened Jul 13, 2018 by Salomon Sickert-Zehnter
- 0
updated Jul 15, 2018
Automata Minimizations 0 of 3 tasks completed

#211 · opened Jun 28, 2018 by Salomon Sickert-Zehnter
- 1
updated Jun 27, 2019
Unmodifiable Automaton

#205 · opened Jun 27, 2018 by Salomon Sickert-Zehnter
- 0
updated Jul 01, 2019
Add Automatic-Module-Name to Manifest

#198 · opened Jun 11, 2018 by Salomon Sickert-Zehnter
- 6
updated May 23, 2020
Push jhoafparser Patches Upstream

#197 · opened Jun 11, 2018 by Salomon Sickert-Zehnter
- 0
updated Jun 11, 2018
Game package redesign

#196 · opened Jun 04, 2018 by Salomon Sickert-Zehnter
- 0
updated Jul 01, 2019
Pipeline Typechecking 0 of 2 tasks completed

#175 · opened Apr 27, 2018 by Salomon Sickert-Zehnter
- 2
updated Jul 01, 2019
Owl / Rabinizer: Websites 6 of 8 tasks completed

#162 · opened Mar 02, 2018 by Salomon Sickert-Zehnter Jul 4, 2018
- 7
updated Jul 03, 2018
Rework testing framework 0 of 2 tasks completed

#154 · opened Feb 20, 2018 by Tobias Meggendorfer Testing
- 1
- 2
updated Jul 01, 2019
Implement compositional synthesis framework 5 of 8 tasks completed

#133 · opened Jan 15, 2018 by Guillermo A. Perez Apr 6, 2018 Development
- 14
updated Jul 01, 2019
Jupyter Online Tutorial

#125 · opened Dec 23, 2017 by Salomon Sickert-Zehnter
- 1
updated Jun 11, 2018
Add conformance tests for all acceptance conditions

#109 · opened Nov 21, 2017 by Tobias Meggendorfer
- 0
updated Jul 01, 2019
LTL Background Theory

#32 · opened Feb 09, 2017 by Salomon Sickert-Zehnter Performance Suggestion
- 4
updated Jul 01, 2019