Commits · 7483bbf576c44d83801cedf460e43bdd37441f31 · impresshs / javawlp

Jan 17, 2017
- the main function now performs a mutation test (mutants have to be generated beforehand) · 7483bbf5
  koen authored 8 years ago
  
  7483bbf5
Jan 07, 2017

WLP is now calculated for every method seperately, instead of just for the... · 306bc9ee

koen authored 8 years ago

WLP is now calculated for every method seperately, instead of just for the main method. The code for filling the type environment is now seperated from the rest of the program.

306bc9ee

Jan 04, 2017
- simplified imp · f405d3c8
  koen authored 8 years ago
  
  f405d3c8
- bug fixing WLP · 7646a01d
  ISWB Prasetya authored 8 years ago
  
  7646a01d
Jan 03, 2017
- more array examples · 96fb0437
  koen authored 8 years ago
  
  96fb0437
Jan 02, 2017
- side effects of left hand side in assignment handled. Side effects like this... · a875c69a
  koen authored 8 years ago
  
  side effects of left hand side in assignment handled. Side effects like this occur when assigning to arrays
  a875c69a
Jan 01, 2017
- brainfart fixed concerning method calls · 18f10a0d
  koen authored 8 years ago
  
  18f10a0d
Dec 31, 2016
- fixed a bug where accessing an array A wouldn't throw errors if A wasn't part of the post-condition · 7d56db6e
  koen authored 8 years ago
  
  7d56db6e
Dec 29, 2016
- seperated side effects from expressions by introducing variables for guards... · 6ab5d575
  koen authored 8 years ago
  
  seperated side effects from expressions by introducing variables for guards and expressions with operators
  6ab5d575
Dec 28, 2016
- fixed some shit · e50e091f
  koen authored 8 years ago
  
  e50e091f
- removed env from synthesized attributes · 9cd62f0a
  koen authored 8 years ago
  
  9cd62f0a
Dec 20, 2016
- bugfix · bfbbc2fd
  koen authored 8 years ago
  
  bfbbc2fd
- library functions now set the wlp to true instead of throwing an error · 7bf40aeb
  koen authored 8 years ago
  
  7bf40aeb
Dec 17, 2016
- binary operators being applied on expressions with side-effects are now being handled correctly · c54ffb12
  koen authored 8 years ago
  
  c54ffb12
Dec 15, 2016
- side-effects of expressions used as guards for loops etc. are now handled correctly · 0d1abf6e
  koen authored 8 years ago
  
  0d1abf6e
Dec 11, 2016
- constructor calls and method arguments · 21cb5310
  koen authored 8 years ago
  
  21cb5310
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
Dec 09, 2016
- Method calls implemented. Constructor methods and method arguments not yet implemented. · 8fcbd2aa
  koen authored 8 years ago
  
  8fcbd2aa
Dec 06, 2016
- started with method calls. Method calls on objects are still very buggy · f0a5a6f8
  koen authored 8 years ago
  
  f0a5a6f8
Dec 02, 2016
- unrolling loops a finite amount of times (instead of using invariants) · 173f0d02
  koen authored 8 years ago
  
  173f0d02
Nov 29, 2016
- filepath · 6a635b58
  koen authored 8 years ago
  
  6a635b58
Nov 24, 2016
- some tiny changes · a3bfd109
  koen authored 8 years ago
  
  a3bfd109
Nov 21, 2016
- switch example · dcd92c6a
  koen authored 8 years ago
  
  dcd92c6a
Nov 20, 2016
- small fixes · 9f88a91d
  koen authored 8 years ago
  
  9f88a91d
Nov 19, 2016
- code opschonen · 3a296e2a
  koen authored 8 years ago
  
  3a296e2a
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 15, 2016
- array index out of bounds exceptions can now be caught · da199476
  koen authored 8 years ago
  
  da199476
Nov 14, 2016
- bug fixed concerning objects with objects as fields · 391801d0
  koen authored 8 years ago
  
  391801d0
- objects and arrays · 7f4b1b32
  koen authored 8 years ago
  
  7f4b1b32
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
Nov 04, 2016
- modelled the heap. Refactored code to use record syntax · 6bcd1e68
  koen authored 8 years ago
  
  6bcd1e68
Nov 01, 2016
- extended wlpExpAlgebra · ac7d98ef
  koen authored 8 years ago
  
  ac7d98ef
Oct 31, 2016
- try-catch, various bugfixes, added test files · e4aa1c0b
  koen authored 8 years ago
  
  e4aa1c0b
Oct 29, 2016
- type environment added to differentiate between error types for try-catch · a9aae61e
  koen authored 8 years ago
  
  a9aae61e
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. · 939ce372
  koen authored 8 years ago
  
  939ce372
- Started with expression statements and integrating Z3. Made a simple example run. · 75a586b0
  koen authored 8 years ago
  
  75a586b0
Sep 27, 2016

blocks (sequences of statements) are now handled correctly w.r.t. dealing with... · cdee1177

koen authored 8 years ago

blocks (sequences of statements) are now handled correctly w.r.t. dealing with statements that pass control in different ways

cdee1177