Commits · 21cb5310ca217f94153efd799d9c08d2874bc65d · impresshs / javawlp

Dec 10, 2016
- Fixed a bug with the verification of conditional expressions. Fixed a bug with... · 2fcfa57e
  koen authored 8 years ago
  
  Fixed a bug with the verification of conditional expressions. Fixed a bug with method calls on objects.
  2fcfa57e
Nov 29, 2016
- filepath · 6a635b58
  koen authored 8 years ago
  
  6a635b58
Nov 20, 2016
- small fixes · 9f88a91d
  koen authored 8 years ago
  
  9f88a91d
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
- index out of bounds handling is now properly passed to the verifier · b96e2a21
  koen authored 8 years ago
  
  b96e2a21
Nov 13, 2016
- verification for objects and arrays added and a bunch of bugs fixed · 2834589f
  koen authored 8 years ago
  
  2834589f
Nov 09, 2016
- objects · 4f03bd7e
  koen authored 8 years ago
  
  4f03bd7e
Oct 31, 2016
- try-catch, various bugfixes, added test files · e4aa1c0b
  koen authored 8 years ago
  
  e4aa1c0b
Oct 25, 2016
- operators · c09fa328
  koen authored 8 years ago
  
  c09fa328
Oct 22, 2016
- Started with expression statements and integrating Z3. Made a simple example run. · 75a586b0
  koen authored 8 years ago
  
  75a586b0
Sep 13, 2016
- fbreak and fwhile added · 952b56ad
  koen authored 8 years ago
  
  952b56ad