Commits · d4d74c542129641d87e715e58ae7d11d1db548a2 · impresshs / javawlp

Dec 02, 2018
- Cleanup · ac2ad14b
  Orestis Melkonian authored 6 years ago
  
  ac2ad14b
Nov 05, 2018
- 2D Arrays: Desugaring multidimentional notation · bb8ec195
  Orestis Melkonian authored 6 years ago
  
  bb8ec195
Jun 10, 2018

 * FIX problem with user-given real literals

 * EXTRA self-contained Z3 installation via the `install_z3.sh` script

09dc056d

Jun 04, 2018
- Test: Boolean comparison fix · f9577c37
  Orestis Melkonian authored 6 years ago
  
  f9577c37
May 25, 2018
- Global: Support for 2D-arrays (Test backend broken) · 6d3c9019
  Orestis Melkonian authored 6 years ago
  
  6d3c9019
May 19, 2018
- Tests: End-to-end tests for server · f30798fb
  Orestis Melkonian authored 6 years ago
  
  f30798fb
May 11, 2018
- EDSL: Fix 'with' var intros (with fresh vars) · cae22443
  Orestis Melkonian authored 6 years ago
  
  cae22443
Apr 29, 2018
- EDSL: Implication + Variable introduction · c54f9b32
  Orestis Melkonian authored 6 years ago
  
  c54f9b32
Apr 28, 2018
- Global: Java-side folder restructuringn · 1e3b75a8
  Orestis Melkonian authored 6 years ago
  
  1e3b75a8
Feb 19, 2018
- Fixed incorrect implication implementation. · 2b135784
  Joris ten Tusscher authored 7 years ago
  
  2b135784
Jan 10, 2018
- moving java examples to a new package tree; copying java EDSL to a new package tree. · 6a9a0ab8
  ISWB Prasetya authored 7 years ago
  
  6a9a0ab8
Jan 09, 2018
- adding a generic function to invoke a specification. · 83971d75
  ISWB Prasetya authored 7 years ago
  
  83971d75
- some printing utility at the java-side · f3929b5d
  ISWB Prasetya authored 7 years ago
  
  f3929b5d
- Extending the EDSL a bit, adding example files · 46d3807f
  ISWB Prasetya authored 7 years ago
  
  46d3807f
Nov 24, 2017
- Cleanup project structure · 0be719c7
  Ogilvie, D.H. (Duncan) authored 7 years ago
  
  Verified
  
  0be719c7