Commits · 9aea03d93d6d70942defc724f05bc18b40fd7369 · impresshs / javawlp · GitLab

Snippets Groups Projects

Dec 09, 2017
- Stack build configuration. · 9aea03d9
  Orestis Melkonian authored 7 years ago
  
  9aea03d9
Nov 24, 2017
- update readme · eb33316b
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  eb33316b
- Cleanup project structure · 0be719c7
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  0be719c7
Nov 18, 2017
- close #15 · 7e322a9c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  7e322a9c
- improve prettyModelVal · d78dced8
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  #15
  d78dced8
- set timeout option · 01706067
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  does not actually work though
  01706067
Nov 16, 2017
- add more some examples · 205f0337
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  205f0337
Nov 07, 2017
- remove some whitspace · 2617eef2
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  2617eef2
Nov 05, 2017
- Implement array pretty printing and checking · 80ada9e8
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  80ada9e8
- Implement model printer · 50411c7c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  50411c7c
- improve documentation · 191aa552
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  191aa552
- Separate Model structure from parser · 07abaef2
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  07abaef2
- import Z3 model parser + showRelevantModel function template · 252d3796
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  252d3796
- Move Java EDSL to a separate module · 3f9c6593
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  closes #26
  3f9c6593
Nov 04, 2017
- initial working version of model parser · 6406e812
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  6406e812
Oct 29, 2017
- add more todo · 43be8dc9
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  43be8dc9
- update z3 part of the documentation as discussed in the meeting · 4cb027c4
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  4cb027c4
- Lexer for z3 models · a1d98a90
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  a1d98a90
- implement ranged quantifiers · 152dbe6e
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  closes #21
  152dbe6e
- Implement null arrays with a free variable: a.null · 83bf6565
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  83bf6565
- refactor LogicIR.Expr to be smaller and to properly support null arrays · 390feae1
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  390feae1
Oct 26, 2017
- readme · b530497c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  b530497c
Oct 25, 2017
- experiments with a.length · 0ef13570
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  0ef13570
- correct condition mapping · fdb57b60
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  fdb57b60
Oct 22, 2017
- add null checks · 38c61a9d
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  38c61a9d
- update readme · 10ddd587
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  10ddd587
- Implement more free lambdas · 743bcb44
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  Closes #13
  743bcb44
Oct 16, 2017
- fix compile error · af22f5be
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  af22f5be
- documentation · 07057116
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  07057116
Oct 14, 2017
- small improvements · 08af0783
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  08af0783
Oct 08, 2017
- implemented LogicIR.Backend.Z3 · 48f4b2be
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  closes #10
  48f4b2be
- implemented some of the z3 backend · 90cba87c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  90cba87c
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
- initial implementation of LogicIR.Backend.Pretty · ddecb118
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  ddecb118
- 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