~tapaal-dist-ctl/verifypn/Master_printer_merge

  • Committer: Peter Fogh
  • Date: 2016-05-15 19:35:21 UTC
  • Revision ID: peterf1992@gmail.com-20160515193521-433povuexbbtywra
Peter added printers, but use of pointer do not work jet
Filename Latest Rev Last Changed Committer Comment Size
..
build 59.2.43 7 years ago Peter Fogh Added build for jenkins Diff
CTL 116 8 years ago lasjen12 at aau Marking done. Configuration and edge NOT done Diff
CTLParser 67 8 years ago Søren Moss Nielsen Created parser, mostly done with structure 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
OutputPrinters 266 7 years ago Peter Fogh Peter added printers, but use of pointer do not wo 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 228.1.1 7 years ago lasjen12 at aau Merge with verifypn trunk 391 bytes Diff Download File
LICENSE 1 12 years ago Jonas Finnemann Jensen Import of sources from github 34.3 KB Diff Download File
makefile 62 8 years ago Søren Moss Nielsen Created CTL engine structure to the branch 26 bytes Diff Download File
makefile.linux32 226.1.3 8 years ago lasjen12 at aau Updated make files 701 bytes Diff Download File
makefile.linux64 241.1.3 7 years ago Samuel Pastva Merge new ctl parser 730 bytes Diff Download File
makefile.local 253.1.4 7 years ago lasjen12 at aau added makefile for linux on this branch 723 bytes Diff Download File
makefile.osx32 226.1.9 8 years ago Jiri Srba updated osx make files 769 bytes Diff Download File
makefile.osx64 226.1.9 8 years ago Jiri Srba updated osx make files 770 bytes Diff Download File
makefile.win32 226.1.11 8 years ago Jiri Srba fixing windows make files 865 bytes Diff Download File
makefile.win64 226.1.11 8 years ago Jiri Srba fixing windows make files 897 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 266 7 years ago Peter Fogh Peter added printers, but use of pointer do not wo 36.8 KB Diff Download File
verifypnCTL.cpp 266 7 years ago Peter Fogh Peter added printers, but use of pointer do not wo 7.3 KB Diff Download File
verifypnCTL.h 266 7 years ago Peter Fogh Peter added printers, but use of pointer do not wo 2 KB Diff Download File