~tapaal-dist-ctl/verifypn/modelDatabase

  • Committer: Søren Moss Nielsen
  • Date: 2016-04-13 11:38:34 UTC
  • Revision ID: smni12@student.aau.com-20160413113834-f4tk325t2f5k41o8
Minor structure and message improvement
Filename Latest Rev Last Changed Committer Comment Size
..
Scripts 44.2.40 10 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
testFramework 60 8 years ago Søren Moss Nielsen Created the test framework structure Diff
Tests 1 12 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 219.1.5 8 years ago Lasse S. J. updated ignore file 391 bytes Diff Download File
cancel-SLURM-jobs.sh 269 8 years ago MCC-Computer Slurm submission optimization 170 bytes Diff Download File
get-completed-queires.sh 257 8 years ago MCC-Computer Structural changes to the framework 67 bytes Diff Download File
get-queries-in-queue.sh 257 8 years ago MCC-Computer Structural changes to the framework 41 bytes Diff Download File
testLTSminversion.sh 257 8 years ago MCC-Computer Structural changes to the framework 597 bytes Diff Download File