~marmux/tapaal/tapaal-export-por

  • Committer: Marco Muñiz
  • Date: 2020-06-10 02:53:53 UTC
  • Revision ID: muniz@cs.aau.dk-20200610025353-iwqtvapz234h72gl
adding hack for _unc_ transitions
Filename Latest Rev Last Changed Committer Comment Size
..
gradle 965.4.2 5 years ago Kenneth Yrke Jørgensen added gradle files Diff
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
.bzrignore 978 5 years ago Kenneth Yrke Jørgensen Updated bzrignore with .r and .bzr-repo 38 bytes Diff Download File
build.gradle 1013 3 years ago Marco Muñiz adding compatibility to 1.7 1.6 KB Diff Download File
File gradlew 1013 3 years ago Marco Muñiz adding compatibility to 1.7 5.6 KB Diff Download File
gradlew.bat 1013 3 years ago Marco Muñiz adding compatibility to 1.7 2.9 KB Diff Download File
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
settings.gradle 965.4.2 5 years ago Kenneth Yrke Jørgensen added gradle files 31 bytes Diff Download File