~tapaal-ltl/verifypn/rule-D-fix

  • Committer: Peter G. Jensen
  • Date: 2020-03-04 12:34:59 UTC
  • mto: (213.1.63 verifypn_cmake)
  • Revision ID: peter.gjoel@gmail.com-20200304123459-g25e7xiq0vss65se
more cmake hacking, adding versioning and conditional
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 10 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
Tests 1 13 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 197.3.20 6 years ago Andreas Klostergaard Added CMake support. 138 bytes Diff Download File
CMakeLists.txt 213.1.39 4 years ago Peter G. Jensen more cmake hacking, adding versioning and conditio 4 KB Diff Download File
LICENSE 196 6 years ago Jiri Srba updated the license file 33.4 KB Diff Download File
README.mkd 213.1.33 4 years ago Peter G. Jensen removing old and obsolete makefiles, removing old, 347 bytes Diff Download File