~tapaal-ltl/verifypn/random-fix

  • Committer: srba.jiri at gmail
  • Date: 2021-04-16 20:55:16 UTC
  • Revision ID: srba.jiri@gmail.com-20210416205516-kt4l46dd8yi8p1qi
fixed long int for windows compilation
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 2 years ago srba.jiri at gmail increased version number to 4.1.0 (new unfolding a 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