~verifypn-maintainers/verifypn/u4.0

  • Committer: Jiri Srba
  • Date: 2021-04-06 14:14:55 UTC
  • Revision ID: srba@cs.aau.dk-20210406141455-1kwcwq2crkyvtvat
This version 4.0.0 was released with TAPAAL 3.8.0
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 230.1.28 2 years ago srba.jiri at gmail Boosted version number to 4.0.0 5.3 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