Commits · 947ab4cb0470e16f295d02a6dc3cc8c49cffdedb · impresshs / javawlp

Aug 17, 2017
- start creating a new experiment, based on Wermer's original. · 5a81357a
  ISWB Prasetya authored 7 years ago
  
  5a81357a
Aug 16, 2017
- restructuring the directories · abae4994
  ISWB Prasetya authored 7 years ago
  
  abae4994
Feb 04, 2017
- added real world test files · 54304858
  Koen Wermer authored 8 years ago
  
  54304858
Dec 20, 2016
- bugfix · bfbbc2fd
  koen authored 8 years ago
  
  bfbbc2fd
Dec 02, 2016
- unrolling loops a finite amount of times (instead of using invariants) · 173f0d02
  koen authored 8 years ago
  
  173f0d02
Nov 17, 2016

break and continu fixed and tested. Added a settings file with an optional... · dc4c3494

koen authored 8 years ago

break and continu fixed and tested. Added a settings file with an optional invariant for testing loops. Fixed a bug with the call to the verifier when dealing with loops.

dc4c3494