~verifydtapn-contributers/verifydtapn/trunk

  • Committer: Jiri Srba
  • Date: 2015-08-31 12:42:10 UTC
  • Revision ID: srba@cs.aau.dk-20150831124210-oahd6a7p3qct4291
changed version number to 3.2 (PTrie in workflow analysis)
Filename Latest Rev Last Changed Committer Comment Size
..
cross-compilation 306 10 years ago Jiri Srba added cross-compilation directory Diff
example-nets 68 13 years ago Morten Jacobsen merged with development branch Diff
example-workflows 303 10 years ago Jiri Srba added example workflow nets Diff
lib 68 13 years ago Morten Jacobsen merged with development branch Diff
src 68 13 years ago Morten Jacobsen merged with development branch Diff
File .bzrignore 150 12 years ago Jakob Taankvist Now it compiles 43 bytes Diff Download File
File boost-software-license.txt 150 12 years ago Jakob Taankvist Now it compiles 1.3 KB Diff Download File
makefile.linux32 318 10 years ago Jiri Srba added linux makefiles 576 bytes Diff Download File
makefile.linux64 324.3.24 9 years ago Peter Gjøl Jensen changed comparison function for ptries, simplifyin 543 bytes Diff Download File
makefile.osx32 324 9 years ago Jiri Srba updated makefiles for OSX for compatibility from M 626 bytes Diff Download File
makefile.osx64 324 9 years ago Jiri Srba updated makefiles for OSX for compatibility from M 587 bytes Diff Download File
makefile.win32 317 10 years ago Jiri Srba static binaries for windows 612 bytes Diff Download File
File README 324 9 years ago Jiri Srba updated makefiles for OSX for compatibility from M 3.2 KB Diff Download File
rules.mk 314 10 years ago Jiri Srba added mac osx makefiles 567 bytes Diff Download File