Commits · ce0bf3e6118659ff7c326f8eafaa58dd1ba33d23 · i7 / peregrine · GitLab

9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.

01 Dec, 2014 7 commits
- Added results for communications-freeness for service-tech benchmarks · ce0bf3e6
  Philipp Meyer authored Dec 01, 2014
  
  ce0bf3e6
- Added weight condition to check for communication-freeness · f1030fdd
  Philipp Meyer authored Dec 01, 2014
  
  f1030fdd
- Added options to specify the output format · 33da1b31
  Philipp Meyer authored Dec 01, 2014
  
  33da1b31
- Added not operator for PropResult · 713dc7d0
  Philipp Meyer authored Dec 01, 2014
  
  713dc7d0
- Added option to check if net is communication-free · b6cb1c4e
  Philipp Meyer authored Dec 01, 2014
  
  b6cb1c4e
- Added output to dot files · 08fdf8e0
  Philipp Meyer authored Dec 01, 2014
  
  08fdf8e0
- Added option to check if net might have parallel execution · 341129ab
  Philipp Meyer authored Dec 01, 2014
  
  341129ab
24 Nov, 2014 1 commit
- Added support to check structural properties including free-choice · a7aacd19
  Philipp Meyer authored Nov 24, 2014
  
  a7aacd19
20 Nov, 2014 3 commits
- Added structural output of number of places and transitions · 9a88e665
  Philipp Meyer authored Nov 20, 2014
  
  9a88e665
- Added original example for Lamport's algorithm · abecc460
  Philipp Meyer authored Nov 20, 2014
  
  abecc460
- Ran more benchmarks for scalable examples · a68e024c
  Philipp Meyer authored Nov 20, 2014
  
  a68e024c
08 Oct, 2014 1 commit
- Added 1-safe property for SAP benchmarks · 859d32e7
  Philipp Meyer authored Oct 08, 2014
  
  859d32e7
05 Aug, 2014 1 commit
- Added input files and results for safe and deadlock-free properties · 0eb8cb83
  Philipp Meyer authored Aug 05, 2014
  
  0eb8cb83
04 Aug, 2014 1 commit
- Added printer for spec target · f70cb03f
  Philipp Meyer authored Aug 04, 2014
  
  f70cb03f
29 Jul, 2014 7 commits
- Deleted old logfile · e4d99b4a
  Philipp Meyer authored Jul 29, 2014
  
  e4d99b4a
- Changed ulimit back to timeout for now · 862fa592
  Philipp Meyer authored Jul 29, 2014
  
  862fa592
- Refined run-benchmarks script · 20146560
  Philipp Meyer authored Jul 29, 2014
  
  20146560
- Added option to print structural information about nets · e1b46850
  Philipp Meyer authored Jul 29, 2014
  
  e1b46850
- Excluded ghost transitions from deadlock and safety properties · 19a50a08
  Philipp Meyer authored Jul 29, 2014
  
  19a50a08
- Removed old run-benchmarks script · a1fd605d
  Philipp Meyer authored Jul 29, 2014
  
  a1fd605d
- Added two more benchmarks from cav · 965efd55
  Philipp Meyer authored Jul 29, 2014
  
  965efd55
28 Jul, 2014 1 commit
- Tested termination by reachability on example · fe0a30e3
  Philipp Meyer authored Jul 28, 2014
  
  fe0a30e3
25 Jul, 2014 2 commits
- Preliminary results for positive/negative termination · 85d7db33
  Philipp Meyer authored Jul 25, 2014
  
  85d7db33
- Converted cav benchmarks with termination property for lola and sara · 0e10c59e
  Philipp Meyer authored Jul 25, 2014
  
  0e10c59e
24 Jul, 2014 1 commit
- Made output much faster by using byte string builders · c51c68df
  Philipp Meyer authored Jul 24, 2014
  
  c51c68df
22 Jul, 2014 1 commit
- Added ghost transitions and added filter for zero entries · f0373636
  Philipp Meyer authored Jul 22, 2014
  
  f0373636
19 Jul, 2014 1 commit
- Fixed two small print bugs · 769f3e09
  Philipp Meyer authored Jul 19, 2014
  
  769f3e09
17 Jul, 2014 8 commits
- Renamed some files so sara can read them · f90158e5
  Philipp Meyer authored Jul 17, 2014
  
  f90158e5
- Unified and cleaned up benchmark running scripts · 7f494119
  Philipp Meyer authored Jul 17, 2014
  
  7f494119
- Added option to ignore properties given in the input · b3727a3e
  Philipp Meyer authored Jul 17, 2014
  
  b3727a3e
- Added support for mist (spec) input files · 9ace6b79
  Philipp Meyer authored Jul 17, 2014
  
  9ace6b79
- Removed duplicate benchmarks by daniel kroening · c266a7dd
  Philipp Meyer authored Jul 17, 2014
  
  c266a7dd
- Reorganized cav benchmarks · 38e04c42
  Philipp Meyer authored Jul 17, 2014
  
  38e04c42
- Added results for deadlock-freeness · d669ee33
  Philipp Meyer authored Jul 17, 2014
  
  d669ee33
- Added results for termination on sap benchmarks · db099581
  Philipp Meyer authored Jul 17, 2014
  
  db099581
16 Jul, 2014 4 commits
- Ran sara on benchmarks for termination · fcfb3082
  Philipp Meyer authored Jul 16, 2014
  
  fcfb3082
- Made output compatible with sara · a6f74eb6
  Philipp Meyer authored Jul 16, 2014
  
  a6f74eb6
- Added problem output for lola and sara · 1ec6cad1
  Philipp Meyer authored Jul 16, 2014
  
  1ec6cad1
- Renamed .tasksara files to .sara · fb53f0c5
  Philipp Meyer authored Jul 16, 2014
  
  fb53f0c5
15 Jul, 2014 1 commit
- Produces lola problem files with less parentheses · 8cb27ec5
  Philipp Meyer authored Jul 15, 2014
  
  8cb27ec5

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum