~verifypn-cpn/verifypn/optimize-unfolding

  • Committer: tpede16 at aau
  • Date: 2021-05-19 13:27:39 UTC
  • Revision ID: tpede16@student.aau.dk-20210519132739-371mhd0bam3bvupx
Fix partition flag
Filename Latest Rev Last Changed Committer Comment Size
..
test_models 213.1.141 3 years ago Peter G. Jensen added simple test-script and test models Diff
include 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
src 213.1.31 4 years ago Peter G. Jensen adding rebuild structure Diff
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
Scripts 44.2.40 10 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
Documentation 47 10 years ago Jiri Srba updated documentation for rule B (missing conditio Diff
.bzrignore 213.1.40 4 years ago Peter G. Jensen more fixes to cmake 222 bytes Diff Download File
glpk-warning.patch 213.1.118 4 years ago Peter G. Jensen added patch to supress glpk warning 321 bytes 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
README.md 233 3 years ago srba.jiri at gmail updated README file 1.8 KB Diff Download File
CMakeLists.txt 231.1.15 3 years ago srba.jiri at gmail increased version number to 4.1.0 (new unfolding a 5.3 KB Diff Download File
LICENSE 196 6 years ago Jiri Srba updated the license file 33.4 KB Diff Download File