~verifypn-stub/verifypn/short-circut

  • Committer: Peter G. Jensen
  • Date: 2017-05-31 15:32:08 UTC
  • Revision ID: peter.gjoel@gmail.com-20170531153208-ony512xbamwye59f
fixed negation
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 163.1.3 6 years ago Lasse S.J. Updated ignore to include executable 92 bytes Diff Download File
LICENSE 1 12 years ago Jonas Finnemann Jensen Import of sources from github 34.3 KB Diff Download File
makefile 60 8 years ago Peter Gjøl Jensen snapshot 26 bytes Diff Download File
makefile.linux32 39.1.2 9 years ago Jiri Srba merged with trunk and resolved conflicts 596 bytes Diff Download File
makefile.linux64 152.4.54 6 years ago Mads Johannsen Renamed executable 708 bytes Diff Download File
makefile.osx32 38 10 years ago Jiri Srba updated makefiles for Mac OS X 10.6 compatibility 693 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 52 9 years ago Jiri Srba updated the make files to work with the latest com 808 bytes Diff Download File
makefile.win64 52 9 years ago Jiri Srba updated the make files to work with the latest com 824 bytes Diff Download File
README.mkd 44.2.47 9 years ago Jiri Srba updated README 2.2 KB Diff Download File
rules.mk 78 7 years ago Peter Gjøl Jensen makefiles, still needs work 1.8 KB Diff Download File
VerifyPN.cpp 181 6 years ago Jiri Srba merged in branch lp:~verifypn-stub/verifypn/ctl-fl 30.3 KB Diff Download File