Issues · i7 / owl

New issue

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
Caching Automaton

#206 · opened Jun 27, 2018 by Salomon Sickert-Zehnter
- 0
updated Jul 01, 2019
Unmodifiable Automaton

#205 · opened Jun 27, 2018 by Salomon Sickert-Zehnter
- 0
updated Jul 01, 2019
Collections Library Review 0 of 5 tasks completed

#201 · opened Jun 18, 2018 by Salomon Sickert-Zehnter
- 0
updated Jun 09, 2020
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
ValuationSet implements Set<BitSet>

#187 · opened May 24, 2018 by Tobias Meggendorfer
- 7
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
Enable Checker Framework once Java 11 is supported

#153 · opened Feb 15, 2018 by Tobias Meggendorfer
- 1
updated Jun 28, 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