~verifypn-cpn/verifypn/query_rewrite_fix

  • Committer: Peter G. Jensen
  • Date: 2018-08-25 19:48:34 UTC
  • Revision ID: peter.gjoel@gmail.com-20180825194834-sggu801sn5ysuz0k
reallowing merging of conj/conj and disj/disj
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 197.3.20 6 years ago Andreas Klostergaard Added CMake support. 138 bytes Diff Download File
CMakeLists.txt 209.1.1 5 years ago Andreas Klostergaard First attempt at improving unfolding 1.5 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 197.3.75 5 years ago Peter G. Jensen fixed compilation for release 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 197.3.52 6 years ago Peter G. Jensen fixed compiler flag 2.2 KB Diff Download File
VerifyPN.cpp 211 5 years ago Jiri Srba increased version number to 3.0.1 46.7 KB Diff Download File