~tapaal-dist/verifypn/LTSmin

  • Committer: Søren Moss Nielsen
  • Date: 2015-03-13 10:23:35 UTC
  • Revision ID: smni12@student.aau.dk-20150313102335-4k0sz4gcxud0dy52
Done testing different structural approaches.
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
LTSCodeGen 56 9 years ago Søren Moss Nielsen Commiting initial code generator files 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
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 39.1.2 9 years ago Jiri Srba merged with trunk and resolved conflicts 596 bytes Diff Download File
makefile.linux64 39.1.2 9 years ago Jiri Srba merged with trunk and resolved conflicts 596 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 9 years ago Jiri Srba updated README 2.2 KB Diff Download File
rules.mk 48.1.1 10 years ago Jonas Finnemann Jensen Added support for quoted identifiers in queries 1.8 KB Diff Download File
VerifyPN.cpp 54.1.3 9 years ago Jiri Srba added empty line after query string printing 20.9 KB Diff Download File