~verifypn-maintainers/verifypn/u1.2

  • Committer: Jiri Srba
  • Date: 2014-03-12 07:47:26 UTC
  • mfrom: (43.1.5 statistics)
  • Revision ID: srba@cs.aau.dk-20140312074726-1jjxr63r0ial6umm
merged in branch adding transition statistics to the output of the engine
Filename Latest Rev Last Changed Committer Comment Size
..
documentation 40.1.51 10 years ago Jiri Srba created documentation directory 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
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 35 10 years ago Jonas Finnemann Jensen Support for osx32 and osx64 bit builds, we now hav 26 bytes Diff Download File
makefile.linux32 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 539 bytes Diff Download File
makefile.linux64 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 539 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 39 10 years ago Jonas Finnemann Jensen Added win64 support 762 bytes Diff Download File
makefile.win64 39 10 years ago Jonas Finnemann Jensen Added win64 support 764 bytes Diff Download File
README.mkd 40 10 years ago Jiri Srba corrected a typo in README file 2.2 KB Diff Download File
rules.mk 36 10 years ago Jonas Finnemann Jensen Added lpsolve binaries for linux 32 and 64 bit 1.7 KB Diff Download File
VerifyPN.cpp 43.1.5 10 years ago Jiri Srba removes redundant check if printing transitions st 16.2 KB Diff Download File