Commits · aa74c17a5b1b9a9c5d7a030608c8d8b431e35253 · impresshs / javawlp

Feb 18, 2018
- API: now accepts strings · 6342bd14
  Orestis Melkonian authored 7 years ago
  
  6342bd14
Feb 05, 2018
- Z3: API + Cleanup · 093c366e
  Orestis Melkonian authored 7 years ago
  
  093c366e
Nov 24, 2017
- Cleanup project structure · 0be719c7
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  0be719c7
Oct 08, 2017
- implemented LogicIR.Backend.Z3 · 48f4b2be
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  closes #10
  48f4b2be
Sep 25, 2017
- Added compareSpec to test the EDSL · 78a418cc
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  78a418cc
- added javawlp_edsl project · c07f7340
  Ogilvie, D.H. (Duncan) authored 7 years ago and Ogilvie, D.H. (Duncan) committed 7 years ago
  
  c07f7340
Sep 16, 2017
- working forall instantiation · 17afc921
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  17afc921
Sep 12, 2017
- whitespace · 032e587c
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  032e587c
Sep 10, 2017
- initial implementation of edsl + unsafeIsEquivalent to compare two ASTs with z3 · c0d0e677
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  c0d0e677
Sep 08, 2017
- correctly compile SimpleFormulaChecker with the latest language-java · 9adbee61
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  9adbee61
Sep 06, 2017
- compile · 65cfa451
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  65cfa451
Sep 02, 2017
- start fixing the tracking of var-env · d5b1788a
  ISWB Prasetya authored 7 years ago
  
  d5b1788a
Aug 31, 2017
- adding comment on complication with lazy-eval and unsafeIO · 06519072
  ISWB Prasetya authored 7 years ago
  
  06519072
- adding methodcalls-counting normalization to hadle the way that method calls... · 1d70f704
  ISWB Prasetya authored 7 years ago
  
  adding methodcalls-counting normalization to hadle the way that method calls generate fresh variables to represent their return values.
  1d70f704
- working on fix on method calls · 17258096
  ISWB Prasetya authored 7 years ago
  
  17258096
Aug 28, 2017
- consilidating haskell-script for experiment wermer2 · 1dea66ab
  ISWB Prasetya authored 7 years ago
  
  1dea66ab
Aug 24, 2017
- fixing wlp calculation for exception handling · 74c7714c
  ISWB Prasetya authored 7 years ago
  
  74c7714c
Aug 23, 2017
- Fixing various bugs in WLP. While,Do,For are fixed. Currently working on exception handling. Nasty. · b15686fe
  ISWB Prasetya authored 7 years ago
  
  b15686fe
Aug 22, 2017
- fixing the small examples · b818715b
  ISWB Prasetya authored 7 years ago
  
  b818715b
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
- adding few more variations of API-wlp · 0a1e68f5
  ISWB Prasetya authored 7 years ago
  
  0a1e68f5
- putting back a function to calculate the wlp of a method and check its satisfiability. · 47b9f3fc
  ISWB Prasetya authored 7 years ago
  
  47b9f3fc
- reorganizing. Also fixing wlp bug with x++ and ++x; also re-making APIs · 418349e7
  ISWB Prasetya authored 7 years ago
  
  418349e7