Commits · ebce00a078501084aa137885732144a5c1436c22 · i7 / peregrine

08 Aug, 2018 4 commits
- Remove division and multiplication operators · ebce00a0
  Philipp Meyer authored Aug 08, 2018
  
  ebce00a0
- Remove quantified formula and additional existential/forall quantifiers · 2deed1ec
  Philipp Meyer authored Aug 08, 2018
  
  2deed1ec
- Fix parser · d8aebc73
  Philipp Meyer authored Aug 08, 2018
  
  d8aebc73
- Add equality modulo an integer and negation normal form to formulas · 78815841
  Philipp Meyer authored Aug 08, 2018
  
  78815841
06 Aug, 2018 3 commits
- Allow usage of division and modulus in predicate terms · e6106f86
  Philipp Meyer authored Aug 06, 2018
  
  e6106f86
- Rename initialPredicate to precondition · 4df80c03
  Philipp Meyer authored Aug 06, 2018
  
  4df80c03
- Add option to specifiy initial predicate · 7b8da344
  Philipp Meyer authored Aug 06, 2018
  
  7b8da344
28 Nov, 2017 4 commits
- Fix bug in construction of arcs · e3bce867
  Stefan Jaax authored Nov 28, 2017
  
  e3bce867
- Add descr attribute to JSON parser · 36ab546f
  Stefan Jaax authored Nov 28, 2017
  
  36ab546f
- Fix parser · 50f66913
  Stefan Jaax authored Nov 28, 2017
  
  50f66913
- Change default format to JSON · 2e4a81db
  Stefan Jaax authored Nov 28, 2017
  
  2e4a81db
16 May, 2017 2 commits
- Add support for quantified predicates · b0578845
  Philipp Meyer authored May 16, 2017
  
  b0578845
- Add support for checking correctness of protocols · 07a1543e
  Philipp Meyer authored May 16, 2017
  
  07a1543e
02 May, 2017 3 commits
- Rename yes and no states to true and false states · 430f9c2e
  Philipp Meyer authored May 02, 2017
  
  430f9c2e
- Rename options and properties · c9113b43
  Philipp Meyer authored May 02, 2017
  
  c9113b43
- Remove petri net only code and rename terminology for population protocols · ad3b64e6
  Philipp Meyer authored May 02, 2017
  
  ad3b64e6
12 Jan, 2017 1 commit
- added option to check reachability of non-consensus states · 6e12e50e
  Philipp J. Meyer authored Jan 12, 2017
  
  6e12e50e
22 Dec, 2016 1 commit
- Added possibility to specify fixed traps and siphons · a17f6534
  Philipp J. Meyer authored Dec 22, 2016
  
  a17f6534
23 Dec, 2014 1 commit
- Rewrote Petri net constructors · 4d7802a2
  Philipp Meyer authored Dec 23, 2014
  
  4d7802a2
16 Dec, 2014 1 commit
- Parametrized formula, used reader monad and fixed types · 6456c0fb
  Philipp Meyer authored Dec 16, 2014
  
  6456c0fb
01 Dec, 2014 1 commit
- 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
22 Jul, 2014 1 commit
- Added ghost transitions and added filter for zero entries · f0373636
  Philipp Meyer authored Jul 22, 2014
  
  f0373636
17 Jul, 2014 1 commit
- Added support for mist (spec) input files · 9ace6b79
  Philipp Meyer authored Jul 17, 2014
  
  9ace6b79
09 Jul, 2014 4 commits
- Fixed lola formula parsing of identifiers · 00c2197e
  Philipp Meyer authored Jul 09, 2014
  
  00c2197e
- Added parsing of lola formulas and added an option · dcf0342b
  Philipp Meyer authored Jul 09, 2014
```
to detect deadlocks unless a formula is satisfied
```
  dcf0342b
- Fixed parsing and display of parentheses · bfddd560
  Philipp Meyer authored Jul 09, 2014
  
  bfddd560
- Extended parser and grammar to allow more liberal terms · 1cca0e05
  Philipp Meyer authored Jul 09, 2014
  
  1cca0e05
03 Jul, 2014 1 commit
- Added parser for lola input · 0a3b470d
  Philipp Meyer authored Jul 03, 2014
  
  0a3b470d
02 Jul, 2014 1 commit
- Added parser for tpn input files · b00594bd
  Philipp Meyer authored Jul 02, 2014
  
  b00594bd
30 Jun, 2014 2 commits
- Added true and false as atoms for formulas · e07881b0
  Philipp Meyer authored Jun 30, 2014
  
  e07881b0
- Decoupled parser files to support different parsers · bf11f9ae
  Philipp Meyer authored Jun 30, 2014
  
  bf11f9ae