├── .travis.yml ├── CMakeLists.txt ├── LICENSE ├── README.md ├── cmake ├── FindGmp.cmake ├── FindLUSTREC.cmake ├── FindZ3.cmake └── TargetArch.cmake ├── src ├── CMakeLists.txt ├── Cex.py ├── CexSF.py ├── CoCoSpec.py ├── LogManager.py ├── Matlab.py ├── __init__.py ├── __main__.py ├── cocoprinter.py ├── pick_inv.py ├── reg_test.py ├── sfunction.py ├── stats.py ├── utils.py ├── z3_utils.py ├── zustre.py └── zustrepy └── tests ├── automata1.lus ├── automata_counter.lus ├── cex_test.lus ├── cocosepc └── test1.lus ├── const_example.lus ├── sim2lus_test_1.lus ├── speed2.lus ├── traffic.lus └── two_counters.lus /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/.travis.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/README.md -------------------------------------------------------------------------------- /cmake/FindGmp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/cmake/FindGmp.cmake -------------------------------------------------------------------------------- /cmake/FindLUSTREC.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/cmake/FindLUSTREC.cmake -------------------------------------------------------------------------------- /cmake/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/cmake/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/TargetArch.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/cmake/TargetArch.cmake -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/Cex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/Cex.py -------------------------------------------------------------------------------- /src/CexSF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/CexSF.py -------------------------------------------------------------------------------- /src/CoCoSpec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/CoCoSpec.py -------------------------------------------------------------------------------- /src/LogManager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/LogManager.py -------------------------------------------------------------------------------- /src/Matlab.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/Matlab.py -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/__init__.py -------------------------------------------------------------------------------- /src/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/__main__.py -------------------------------------------------------------------------------- /src/cocoprinter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/cocoprinter.py -------------------------------------------------------------------------------- /src/pick_inv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/pick_inv.py -------------------------------------------------------------------------------- /src/reg_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/reg_test.py -------------------------------------------------------------------------------- /src/sfunction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/sfunction.py -------------------------------------------------------------------------------- /src/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/stats.py -------------------------------------------------------------------------------- /src/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/utils.py -------------------------------------------------------------------------------- /src/z3_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/z3_utils.py -------------------------------------------------------------------------------- /src/zustre.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/zustre.py -------------------------------------------------------------------------------- /src/zustrepy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/src/zustrepy -------------------------------------------------------------------------------- /tests/automata1.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/automata1.lus -------------------------------------------------------------------------------- /tests/automata_counter.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/automata_counter.lus -------------------------------------------------------------------------------- /tests/cex_test.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/cex_test.lus -------------------------------------------------------------------------------- /tests/cocosepc/test1.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/cocosepc/test1.lus -------------------------------------------------------------------------------- /tests/const_example.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/const_example.lus -------------------------------------------------------------------------------- /tests/sim2lus_test_1.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/sim2lus_test_1.lus -------------------------------------------------------------------------------- /tests/speed2.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/speed2.lus -------------------------------------------------------------------------------- /tests/traffic.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/traffic.lus -------------------------------------------------------------------------------- /tests/two_counters.lus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coco-team/zustre/HEAD/tests/two_counters.lus --------------------------------------------------------------------------------