Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
.github | 240.2.1 | 2 years ago | Kenneth Yrke Jørgensen | Added github actions script to automatic build and | |||
Documentation | 47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio | |||
include | 213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | |||
Scripts | 44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit | |||
src | 213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | |||
test_models | 213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models | |||
Tests | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
.bzrignore | 234.1.23 | 2 years ago | Nikolaj Jensen Ulrik | More elaborate parsing scheme for LTL heuristics | 385 bytes | ||
CMakeLists.txt | 254 | 2 years ago | Jiri Srba | merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuri | 5.4 KB | ||
glpk-warning.patch | 213.1.118 | 3 years ago | Peter G. Jensen | added patch to supress glpk warning | 321 bytes | ||
LICENSE | 196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB | ||
README.md | 233 | 3 years ago | srba.jiri at gmail | updated README file | 1.8 KB | ||
run_tests.sh | 213.1.141 | 3 years ago | Peter G. Jensen | added simple test-script and test models | 621 bytes | ||
toolchain-x86_64-w64-mingw32.cmake | 213.1.40 | 4 years ago | Peter G. Jensen | more fixes to cmake | 643 bytes |