Commits · ceb3c5b80c017cadcc8160de00d1a934d545ffc4 · impresshs / javawlp

Dec 09, 2017
- README: Updated set-up instructions. · 64d5f6c4
  Orestis Melkonian authored 7 years ago
  
  64d5f6c4
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 05, 2017
- improve documentation · 191aa552
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  191aa552
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
Oct 26, 2017
- readme · b530497c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  b530497c
Oct 25, 2017
- correct condition mapping · fdb57b60
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  fdb57b60
Oct 22, 2017
- update readme · 10ddd587
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  10ddd587
Oct 16, 2017
- documentation · 07057116
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  07057116
Sep 29, 2017
- initial skeleton for LogicIR.Frontend and LogicIR.Backend · c2df50bd
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  c2df50bd
Aug 17, 2017
- working on wermer2 experiment · c5bb256a
  ISWB Prasetya authored 7 years ago
  
  c5bb256a
- start creating a new experiment, based on Wermer's original. · 5a81357a
  ISWB Prasetya authored 7 years ago
  
  5a81357a
Aug 16, 2017
- reorganizing. Also fixing wlp bug with x++ and ++x; also re-making APIs · 418349e7
  ISWB Prasetya authored 7 years ago
  
  418349e7