Commits · master · i7 / peregrine · GitLab

Jan 14, 2020
- Merge branch 'update-sbv' into 'master' · 1e7250ba
  Philipp Meyer authored Jan 14, 2020
  1e7250ba
Jan 10, 2020
- Update cabal file for merge · dd8aab5e
  Philipp Meyer authored Jan 10, 2020
  
  dd8aab5e
- Merge branch 'master' of gitlab.lrz.de:i7/peregrine · 816236d3
  Philipp Meyer authored Jan 10, 2020
  
  816236d3
- Update for newer SBV and Aeson versions · 7aa92317
  Philipp Meyer authored Jan 10, 2020
  
  7aa92317
Feb 25, 2019
- Merge branch 'ci-integration' into 'master' · 6ca1dec4
  Philipp Meyer authored Feb 25, 2019
  6ca1dec4
- CI integration · bcf95e98
  Christoph Welzel authored Feb 25, 2019
  
  bcf95e98
Feb 04, 2019
- Add options to verify abstract population protocols · 1488bd45
  Philipp Meyer authored Feb 04, 2019
  
  1488bd45
Dec 18, 2018
- Add option to check that all potentially reachable terminal · 940c7426
  Philipp Meyer authored Dec 18, 2018
  940c7426
Oct 02, 2018
- Update protocol generation and table creation · 9792f989
  Philipp Meyer authored Oct 02, 2018
  
  9792f989
Aug 08, 2018
- Update protocol generator script · 06dd1361
  Philipp Meyer authored Aug 08, 2018
  
  06dd1361
- Make protocol generator produce correct remainder predicate · 3ef9ccea
  Philipp Meyer authored Aug 08, 2018
  
  3ef9ccea
- Small rewrite · c3f3c6f4
  Philipp Meyer authored Aug 08, 2018
  
  c3f3c6f4
- Rename LinearInequation to Equation · 2f387156
  Philipp Meyer authored Aug 08, 2018
  
  2f387156
- 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
- Update example remainder protocol with modulo usage · 280b25b4
  Philipp Meyer authored Aug 08, 2018
  
  280b25b4
- Correctly use modulo predicates for checking correctness · d3fec96f
  Philipp Meyer authored Aug 08, 2018
  
  d3fec96f
- 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
Aug 06, 2018
- Fix generation of protocols without precondition · 81847005
  Philipp Meyer authored Aug 06, 2018
  
  81847005
- Use modulos operation in remainder protocol · 76fa0232
  Philipp Meyer authored Aug 06, 2018
  
  76fa0232
- Allow usage of division and modulus in predicate terms · e6106f86
  Philipp Meyer authored Aug 06, 2018
  
  e6106f86
- Update python generator for protocols · 6e341e2a
  Philipp Meyer authored Aug 06, 2018
  
  6e341e2a
- Add example with precondition · 3e3398b2
  Philipp Meyer authored Aug 06, 2018
  
  3e3398b2
- Rename initialPredicate to precondition · 4df80c03
  Philipp Meyer authored Aug 06, 2018
  
  4df80c03
- Add initial predicate to solver · c896169b
  Philipp Meyer authored Aug 06, 2018
  
  c896169b
- Add option to specifiy initial predicate · 7b8da344
  Philipp Meyer authored Aug 06, 2018
  
  7b8da344
- Rename example · f4a978c1
  Philipp Meyer authored Aug 06, 2018
  
  f4a978c1
Aug 02, 2018
- Add option to switch between Z3 and CVC4 · df541473
  Philipp Meyer authored Aug 02, 2018
  
  df541473
- Fix name of protocol · e0a8a025
  Philipp Meyer authored Aug 02, 2018
  
  e0a8a025
- Add more protocols for benchmarking · a628d37c
  Philipp Meyer authored Aug 02, 2018
  
  a628d37c
- Update pp-print program · 251d80c3
  Philipp Meyer authored Aug 02, 2018
  
  251d80c3
- Add fast majority voting protocol as example · ee40c179
  Philipp Meyer authored Aug 02, 2018
  
  ee40c179
Aug 01, 2018
- Fix identifiers in broadcast protocol for correctness verification · 961bd0c0
  Philipp Meyer authored Aug 01, 2018
  
  961bd0c0
- Add dynamic option for compilation · ba7ca5d5
  Philipp Meyer authored Aug 01, 2018
  
  ba7ca5d5
- Remove auto option · 4bbf02aa
  Philipp Meyer authored Aug 01, 2018
  
  4bbf02aa
- Also remove parallel-io dependency from main module · 20b227e1
  Philipp Meyer authored Aug 01, 2018
  
  20b227e1
- Remove parallel-io dependency · 89cd1de4
  Philipp Meyer authored Aug 01, 2018
  
  89cd1de4
Nov 29, 2017
- Merge branch 'json' into 'master' · c61e5ef7
  Stefan Jaax authored Nov 29, 2017
  c61e5ef7
- Change readme · c1c7e6b2
  Stefan Jaax authored Nov 29, 2017
  
  c1c7e6b2

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum