~verifypn-maintainers/verifypn/interval_tar

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:20:54 UTC
  • Revision ID: srba.jiri@gmail.com-20200911142054-nxyudwdf5o0ro1ua
updated README with compilation instructions for mac
Filename Latest Rev Last Changed Committer Comment Size
..
Documentation 47 10 years ago Jiri Srba updated documentation for rule B (missing conditio Diff
include 244 4 years ago Peter G. Jensen adding rebuild structure Diff
Scripts 44.2.40 10 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
src 244 4 years ago Peter G. Jensen adding rebuild structure Diff
test_models 354 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 253 4 years ago Peter G. Jensen more fixes to cmake 222 bytes Diff Download File
CMakeLists.txt 361 3 years ago Kenneth Yrke Jørgensen Updated argeument for cross compile glpk for windo 4.1 KB Diff Download File
glpk-warning.patch 331 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 364 3 years ago srba.jiri at gmail updated README with compilation instructions for m 1.8 KB Diff Download File
File run_tests.sh 354 3 years ago Peter G. Jensen added simple test-script and test models 621 bytes Diff Download File
toolchain-x86_64-w64-mingw32.cmake 253 4 years ago Peter G. Jensen more fixes to cmake 643 bytes Diff Download File