Commits · 48f4b2be1dae02dc7a2d98258e9d9da578054a8b · impresshs / javawlp · GitLab

Snippets Groups Projects

"README.md" did not exist on "df578a0930bb802c101da3814dc8caca6e19afd7"

Oct 08, 2017
- implemented LogicIR.Backend.Z3 · 48f4b2be
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  closes #10
  48f4b2be
Oct 02, 2017
- better TODO + error · ed94ff22
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  ed94ff22
- refactor of LogicIR.Expr + implement quantifiers in LogicIR.Backend.Java · fea8c65d
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  fea8c65d
- LogicIR.Expr cleanup + swap_spec1 lifted correctly · 19474087
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  19474087
- implement array length operator · d95ed55e
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  d95ed55e
- fixed a type error in fArrayAccess · 56f44b11
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  56f44b11
- allow ternary conditional + implement fPreNot, fPreBitCompl + better document LogicIR.Expr · 31b77bd3
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  31b77bd3
Oct 01, 2017
- initial implementation of javaExpToLExprAlgebra · 6f1967ff
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  6f1967ff
Sep 29, 2017
- initial skeleton for LogicIR.Frontend and LogicIR.Backend · c2df50bd
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  c2df50bd