Commits · 543048588bd7df54704657336ce50014eaf14c77 · impresshs / javawlp

Feb 04, 2017
- added real world test files · 54304858
  Koen Wermer authored 8 years ago
  
  54304858
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 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