Commits · 6ca1dec4904ef742d453620d50d615a8ebdf91e2 · i7 / peregrine

Browse files

Feb 25, 2019
- CI integration · bcf95e98
  Christoph Welzel authored Feb 25, 2019
  
  bcf95e98
Aug 01, 2018
- Add dynamic option for compilation · ba7ca5d5
  Philipp Meyer authored Aug 01, 2018
  
  ba7ca5d5
- Remove parallel-io dependency · 89cd1de4
  Philipp Meyer authored Aug 01, 2018
  
  89cd1de4
Nov 28, 2017
- Change default format to JSON · 2e4a81db
  Stefan Jaax authored Nov 28, 2017
  
  2e4a81db
May 02, 2017
- Update makefile and project file · 1809caa1
  Philipp Meyer authored May 02, 2017
  
  1809caa1
- Rename project to peregrine · 3c881736
  Philipp Meyer authored May 02, 2017
  
  3c881736
- Rename project; remove old benchmarks · 3cc46d66
  Philipp Meyer authored May 02, 2017
  
  3cc46d66
Dec 19, 2016
- Updated version number · 0f385267
  Philipp J. Meyer authored Dec 19, 2016
  
  0f385267
Sep 03, 2016
- Updated maintainer information · 29918a87
  Philipp Meyer authored Sep 03, 2016
  
  29918a87
Oct 13, 2015
- Upped version number · 0eabce8b
  Philipp Meyer authored Oct 13, 2015
  
  0eabce8b
Feb 16, 2015
- Version bump · 7198eef1
  Philipp Meyer authored Feb 16, 2015
  
  7198eef1
Feb 13, 2015
- Testing different simplifications in parallel · a2c3d0b7
  Philipp Meyer authored Feb 13, 2015
  
  a2c3d0b7
Dec 17, 2014
- Added new refinement for liveness properties · ac5befda
  Philipp Meyer authored Dec 17, 2014
  
  ac5befda
Jul 24, 2014
- Made output much faster by using byte string builders · c51c68df
  Philipp Meyer authored Jul 24, 2014
  
  c51c68df
Jul 09, 2014
- Updated gitignore and cabal file · 6ff24ee6
  Philipp Meyer authored Jul 09, 2014
  
  6ff24ee6
May 13, 2014
- Relaxed base dependency in cabal config · 3e167517
  Philipp Meyer authored May 13, 2014
  
  3e167517
May 09, 2014
- Removed other modules from cabal config · dd79a707
  Philipp Meyer authored May 09, 2014
  
  dd79a707
May 06, 2014
- Added Solver module to cabal config · fa4712f6
  Philipp Meyer authored May 06, 2014
  
  fa4712f6
- Using adjacency lists for representing Petri nets · b113299f
  Philipp Meyer authored May 06, 2014
  
  b113299f
Apr 22, 2014
- Added parser for petri nets · 177c0295
  Philipp Meyer authored Apr 22, 2014
  
  177c0295
Apr 17, 2014
- Updated cabal config · 8f4f526f
  Philipp Meyer authored Apr 17, 2014
  
  8f4f526f
- Setup cabal package and main source file · c8843173
  Philipp Meyer authored Apr 17, 2014
  
  c8843173