8000 Commits · adamtool/boundedSynthesis · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Nov 18, 2021

Added the possibility to skip some expensive checks for the solvers
mgieseking
committed

Commits on Mar 27, 2021

Restructuring
mgieseking
committed

Commits on Mar 25, 2021

Added the extension used by this submodule and integrated the manager properly.
mgieseking
committed

Commits on Feb 15, 2021

Added auto saved files of the texteditor to the gitignore
mgieseking
committed

Commits on Jan 14, 2021

Switched from ssh to https access for the dependency repositories of Adam in the Makefile
mgieseking
committed

Commits on Jan 13, 2021

add motivating example for two system and two environment players from my thesis to tests
Jesko Hecking-Harbusch
committed
finish PDF rendering before failing/ending a test
Jesko Hecking-Harbusch
committed
test
Jesko Hecking-Harbusch
committed

Commits on Oct 21, 2020

Added the functionality to interrupt the precondition checkers
mgieseking
committed

Commits on Oct 8, 2020

Added the deployment of the bounded approach without a userinterface.
mgieseking
committed

Commits on Oct 6, 2020

Create LICENSE
mgieseking
authored

Commits on Sep 16, 2020

fix missing blanks in makefile
Jesko Hecking-Harbusch
committed

Commits on Sep 15, 2020

Merge commit '6dfc0e046dbad9a53e93f2e02dfca1f1c237a46b'
Jesko Hecking-Harbusch
committed
possible usage of the loop alternative
Jesko Hecking-Harbusch
committed

Commits on Sep 14, 2020

Unified the test package structure throughout the complete Adam framework
mgieseking
committed

Commits on Sep 13, 2020

Added and integrated the global safety winning condition.
mgieseking
committed

Commits on Sep 8, 2020

Cleaned and fixed the build process
mgieseking
committed

Commits on Sep 7, 2020

fix an import for tests for bounded synthesis
Jesko Hecking-Harbusch
committed
added causal predecessor calculation to finite deterministic unfolder for new loop detection alternative
Jesko Hecking-Harbusch
committed
Merge branch 'master' of github.com:adamtool/boundedSynthesis
Jesko Hecking-Harbusch
committed
Start implementing a new way to detect loops
Jesko Hecking-Harbusch
committed

Commits on Sep 5, 2020

Commits on Sep 4, 2020

Added a .gitignore file
mgieseking
committed
Improved the build process to only use javac instead of the jar target
mgieseking
committed
Added a javac target to the build process
mgieseking
committed
rename some tests
Jesko Hecking-Harbusch
committed
remove and refactor one test for true concurrency, respectively
Jesko Hecking-Harbusch
committed
more clean-up of unfolders and tests
Jesko Hecking-Harbusch
committed
added and adapted the path to the examples
Jesko Hecking-Harbusch
committed

Commits on Sep 3, 2020

clean-up
Jesko Hecking-Harbusch
committed

Commits on Aug 31, 2020

Commits on Aug 25, 2020

fixed the dependency path also for the bounded approach.
mgieseking
committed

0