Commits · da199476370c89616fead81439ba0df0cb8523b2 · impresshs / javawlp

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

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