~tapaal-dist-ctl/verifypn/par-ctl

  • Committer: Peter Gjøl Jensen
  • Date: 2016-03-31 10:36:38 UTC
  • Revision ID: peter.gjoel@gmail.com-20160331103638-cxxneia56kfd41s0
Refactor
Filename Latest Rev Last Changed Committer Comment Size
..
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 10 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
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 69 8 years ago Peter Gjøl Jensen refactor 2 643 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 38 10 years ago Jiri Srba updated makefiles for Mac OS X 10.6 compatibility 693 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 10 years ago Jiri Srba updated README 2.2 KB Diff Download File
rules.mk 69 8 years ago Peter Gjøl Jensen refactor 2 1.9 KB Diff Download File
VerifyPN.cpp 68 8 years ago Peter Gjøl Jensen First refactoring 16.2 KB Diff Download File