~tapaal-contributor/tapaal/weight-values-fix-1770637

  • Committer: Jiri Srba
  • Date: 2018-05-13 19:54:55 UTC
  • Revision ID: srba@cs.aau.dk-20180513195455-9d2ob69hjiq1l507
Fixes bug #1770637 where in PNML export and composer we used constant names
instead of the values in weights of arcs
Filename Latest Rev Last Changed Committer Comment Size
..
libs 351 13 years ago Kenneth Yrke Jørgensen Moved all .jar files to the libs dir Diff
src 353 13 years ago Kenneth Yrke Jørgensen Moved all sources and resoruces to the src directo Diff
tests 329.1.115 13 years ago Morten Jacobsen - Did some refactorings in the model. - Added doub Diff
tools 352 13 years ago Kenneth Yrke Jørgensen Added tools dir for script and helper tools Diff
Makefile 856.3.4 9 years ago Peter Gjoel Jensen reverted makefile 4 KB Diff Download File
File run-tapaal-j6.sh 746.3.1 11 years ago Jiri Srba upated the Makefile to work for Java 7, removed un 122 bytes Diff Download File
File run-tapaal-j7.sh 951.3.17 5 years ago Jiri Srba updated run file with extra heap space 63 bytes Diff Download File