~verifypn-cpn/verifypn/cpn

  • Committer: Andreas Klostergaard
  • Date: 2018-03-26 23:38:46 UTC
  • Revision ID: aklost11@student.aau.dk-20180326233846-entuteptnqadi4nf
Working on cpn overapproximation
Filename Latest Rev Last Changed Committer Comment Size
..
CTL 152.1.1 7 years ago Lasse S. J. Sequential CTL Engine Added Diff
Documentation 47 10 years ago Jiri Srba updated documentation for rule B (missing conditio Diff
lpsolve 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav Diff
PetriEngine 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
PetriParse 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
Scripts 44.2.40 9 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 217 6 years ago Andreas Klostergaard Added CMake support. 138 bytes Diff Download File
CMakeLists.txt 217 6 years ago Andreas Klostergaard Added CMake support. 1.2 KB Diff Download File
LICENSE 196 6 years ago Jiri Srba updated the license file 33.4 KB Diff Download File
makefile 152.34.1 6 years ago Jiri Srba merged in branch lp:~verifypn-stub/verifypn/inhib_ 26 bytes Diff Download File
makefile.linux32 152.32.35 6 years ago Peter G. Jensen fixed linux32 compilation 704 bytes Diff Download File
makefile.linux64 152.32.36 6 years ago Peter G. Jensen removed flag not supported by gcc6 708 bytes Diff Download File
makefile.osx32 152.32.40 6 years ago Peter G. Jensen osx 32bit 775 bytes Diff Download File
makefile.osx64 78 7 years ago Peter Gjøl Jensen makefiles, still needs work 750 bytes Diff Download File
makefile.win32 152.32.36 6 years ago Peter G. Jensen removed flag not supported by gcc6 828 bytes Diff Download File
makefile.win64 152.32.36 6 years ago Peter G. Jensen removed flag not supported by gcc6 830 bytes Diff Download File
README.mkd 44.2.47 9 years ago Jiri Srba updated README 2.2 KB Diff Download File
rules.mk 181.2.37 6 years ago Peter G. Jensen Merged with trunk 1.8 KB Diff Download File
VerifyPN.cpp 238 6 years ago Andreas Klostergaard Working on cpn overapproximation 35.5 KB Diff Download File