Commits · splitPTA · Benoit Barbot / PrismFork · GitLab

Snippets Groups Projects

Oct 11, 2019
- try to fix bug sink state removed · 299aeb5f
  Benoit Barbot authored Oct 11, 2019
  
  299aeb5f
Apr 30, 2019
- add data in output · dca45a0b
  Benoit Barbot authored Apr 30, 2019
  
  dca45a0b
Apr 25, 2019
- add fork in version · 509adbb8
  Benoit Barbot authored Apr 25, 2019
  
  509adbb8
Apr 10, 2019
- json-ify export · 98bb9996
  Benoit Barbot authored Apr 10, 2019
  
  98bb9996
- json-ify export · baaf76b4
  Benoit Barbot authored Apr 10, 2019
  
  baaf76b4
- fix nasty bug é · 15c2d186
  Benoit Barbot authored Apr 10, 2019
  
  15c2d186
Apr 09, 2019
- Merge change for Qest 2016 computing splitPTA from forward reachability graph · 0053835e
  Benoit Barbot authored Apr 9, 2019
  
  0053835e
Mar 20, 2019
- Update CHANGELOG wrt latest commits. · 8394df8e
  Dave Parker authored Mar 20, 2019
  
  8394df8e
Mar 19, 2019
- Install script mods: add git dependency and run make/test in subshell. · c0533b0b
  Dave Parker authored Mar 19, 2019
  
  c0533b0b
Mar 06, 2019
- Fix explicit non-prob LTL checking with experiments · 1e04c20c
  Joachim Klein authored Mar 6, 2019
  1e04c20c
Feb 27, 2019
- Switch to MTBDD only if MTBDD engine is not already selected · 0972e1c1
  Joachim Klein authored Feb 27, 2019
  
  0972e1c1
Feb 25, 2019
- GUISimulator, 'Export path': Optionally export reward information as well · cd8fc128
  Joachim Klein authored Dec 14, 2018
  cd8fc128
- Simulator: Optionally export rewards with path · 6a7458fb
  Joachim Klein authored Dec 14, 2018
  6a7458fb
- Simulation results (GUI): Note if nondeterminism was resolved uniformly · 5ebbe698
  Joachim Klein authored Dec 11, 2018
  5ebbe698
- Simulation results: Note if nondeterminism was resolved uniformly · 4fc79a68
  Joachim Klein authored Dec 11, 2018
  4fc79a68
- ModelType: fix visibility of removeNondeterminism() · df6aee3d
  Joachim Klein authored Dec 10, 2018
  
  df6aee3d
- Travis CI: Temporarily disable jdk 11 · 15ebaecb
  Joachim Klein authored Feb 25, 2019
  15ebaecb
- PRISM startup scripts: use exec call to start Java by default · 615d3c21
  Joachim Klein authored Dec 14, 2018
  615d3c21
- PRISM startup scripts: remove support for notification via NOTIFY='yes' · 9e386b90
  Joachim Klein authored Dec 14, 2018
  9e386b90
Feb 06, 2019
- Fix evaluateExact for unary minus · 7b8a4628
  Joachim Klein authored Feb 6, 2019
  7b8a4628
- Fix rare crash during GUI startup. · e8788b77
  Joachim Klein authored Jan 18, 2019
  e8788b77
Dec 19, 2018
- ExportIterations: Switch to HTTPS in PRISM URL · 06bba360
  Joachim Klein authored Dec 19, 2018
  06bba360
Dec 07, 2018
- Proper DD cleanup after MTBDD engine's Gauss-Seidel exception · dc5a8b6f
  Joachim Klein authored Dec 7, 2018
  dc5a8b6f
- Update scripts README. · f2ba95d8
  Dave Parker authored Dec 7, 2018
  
  f2ba95d8
Dec 06, 2018
- Fix install scripts: echo commands and bail on errors. · 4838bcaf
  Dave Parker authored Dec 6, 2018
  
  4838bcaf
- Utility scripts for installing on PRISM on fresh OSs (Ubuntu, RHEL for now). · f2b8945b
  Dave Parker authored Dec 6, 2018
  
  f2b8945b
- Automatically switch to MTBDD engine before model checking if hybrid/sparse... · 98c019b1
  Joachim Klein authored Dec 6, 2018
  98c019b1
Dec 05, 2018
- Warning message typo. · 262440f0
  Dave Parker authored Dec 5, 2018
  
  262440f0
- Rmin/max[C]: Switch from -hybrid (default) engine to -sparse · 837bdc60
  Joachim Klein authored Dec 5, 2018
  837bdc60
Dec 01, 2018
- Export of individual solution vectors during multi-objective model checking (currently disabled). · 61965012
  Dave Parker authored Dec 1, 2018
  
  61965012
Nov 30, 2018
- explicit: make state sorting optional · 8c020ca3
  Chris Novakovic authored Oct 8, 2018
  8c020ca3
- Check for unbounded variables in ModelGenerator2MTBDD. · f5b7af9c
  ep2016 authored Sep 18, 2018
  
  f5b7af9c
- PrismHybrid.java: Protect interval iteration JNI calls against large state spaces · d7359117
  Joachim Klein authored Nov 30, 2018
  d7359117
- PrismSparse.java: Protect interval iteration JNI calls against large state spaces · 81bf49b0
  Joachim Klein authored Nov 30, 2018
  81bf49b0
Nov 21, 2018
- param/Makefile: Fix typo · 04982ea7
  Joachim Klein authored Nov 21, 2018
  04982ea7
Oct 25, 2018
- prism.NondetModelChecker: Fix potential memory leak when using -exportstrat and interval iteration · 7328789e
  Joachim Klein authored Oct 25, 2018
  7328789e
- Sparse engine with -exportstrat: Fix crash during strategy initialization · 15482e84
  Joachim Klein authored Oct 25, 2018
  15482e84
Oct 18, 2018
- RangeConstraint: Fix comment · 36b5c49e
  Joachim Klein authored Oct 18, 2018
  
  36b5c49e
- FileSetting: remove dead code · 8597e400
  Joachim Klein authored Oct 18, 2018
  8597e400
- Delete settings.DoubleRangeConstraint · d4ba9ffd
  Joachim Klein authored Oct 18, 2018
  d4ba9ffd