~tapaal-ltl/verifypn/loopInvariantReduction

  • Committer: Simon Virenfeldt
  • Date: 2021-03-26 10:27:05 UTC
  • Revision ID: simwir1@gmail.com-20210326102705-7hiugdn23xm1c3pp
Added states explored print and disabled fallthrough to reachability,
Filename Latest Rev Last Changed Committer Comment Size
..
Documentation 47 10 years ago Jiri Srba updated documentation for rule B (missing conditio Diff
include 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
Scripts 44.2.40 9 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
src 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
test_models 213.1.141 3 years ago Peter G. Jensen added simple test-script and test models Diff
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 213.1.40 4 years ago Peter G. Jensen more fixes to cmake 222 bytes Diff Download File
CMakeLists.txt 246.1.1 3 years ago Simon Virenfeldt LTL Code cleanup. 4.6 KB Diff Download File
glpk-warning.patch 213.1.118 3 years ago Peter G. Jensen added patch to supress glpk warning 321 bytes Diff Download File
LICENSE 196 6 years ago Jiri Srba updated the license file 33.4 KB Diff Download File
README.md 213.1.151 3 years ago srba.jiri at gmail updated README with compilation instructions for m 1.8 KB Diff Download File
File run_tests.sh 213.1.141 3 years ago Peter G. Jensen added simple test-script and test models 621 bytes Diff Download File
toolchain-x86_64-w64-mingw32.cmake 213.1.40 4 years ago Peter G. Jensen more fixes to cmake 643 bytes Diff Download File