Commits · bb8ec1957961dc844fd3e7c80d60c7543c9e01f9 · impresshs / javawlp

Nov 05, 2018
- 2D Arrays: Desugaring multidimentional notation · bb8ec195
  Orestis Melkonian authored 6 years ago
  
  bb8ec195
Jun 16, 2018
- Global: Downgrade Z3 version · cf1d4011
  Orestis Melkonian authored 6 years ago
  
  cf1d4011
- Debug: Log API requests + responses · 212c2d44
  Orestis Melkonian authored 6 years ago
  
  212c2d44
Jun 10, 2018

Z3: Fix real arithmetic precision · 09dc056d

 * FIX problem with user-given real literals

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

09dc056d

Jun 04, 2018
- API: Default options (can now emit "options" key) · 753716ea
  Orestis Melkonian authored 6 years ago
  
  753716ea
- Test: Boolean comparison fix · f9577c37
  Orestis Melkonian authored 6 years ago
  
  f9577c37
May 29, 2018
- Tests: missing comma · 3467a1b5
  Orestis Melkonian authored 6 years ago
  
  3467a1b5
- Model: Re-enabled model minification · c921c8de
  Orestis Melkonian authored 6 years ago
  
  c921c8de
May 26, 2018
- Docs: minor fixes (4) · 5b8544a8
  Orestis Melkonian authored 6 years ago
  
  5b8544a8
- Docs: minor fixes (3) · 950e45c7
  Orestis Melkonian authored 6 years ago
  
  950e45c7
- Docs: minor fixes (2) · 942381fc
  Orestis Melkonian authored 6 years ago
  
  942381fc
- Docs: minor fixes · 4c4a267b
  Orestis Melkonian authored 6 years ago
  
  4c4a267b
- Docs: Updated API.md · ce3c5a2d
  Orestis Melkonian authored 6 years ago
  
  ce3c5a2d
- Docs: EDSL specification · a76f65bd
  Orestis Melkonian authored 6 years ago
  
  a76f65bd
- API: Fix JSON conversion · fbf4feaf
  Orestis Melkonian authored 6 years ago
  
  fbf4feaf
May 25, 2018
- Global: Support for 2D-arrays (Test backend broken) · 6d3c9019
  Orestis Melkonian authored 6 years ago
  
  6d3c9019
May 19, 2018
- API: Allow more user-friendly JSON keys · cd87b4ab
  Orestis Melkonian authored 6 years ago
  
  cd87b4ab
- Global: API option for checking only pre/post · fee44092
  Orestis Melkonian authored 6 years ago
  
  fee44092
- Tests: End-to-end tests for server · f30798fb
  Orestis Melkonian authored 6 years ago
  
  f30798fb
May 18, 2018
- Made logs slightly more structured. · 46e2bca0
  Joris ten Tusscher authored 6 years ago
  
  46e2bca0
- Both Z3 and QuickCheck don’t return Model keys with variable types now. Tests are fixed. · 6ec41d9f
  Joris ten Tusscher authored 6 years ago
  
  6ec41d9f
May 16, 2018
- Fixed bug that caused model returned by the web server to be empty. · 26c0ea8c
  Joris ten Tusscher authored 6 years ago
  
  26c0ea8c
- Fixed incorrect SoftDebug behaviour. · 14ecbbaa
  Joris ten Tusscher authored 6 years ago
  
  14ecbbaa
- Fixed bugs that caused incorrect precondition / postcondition feedback. · ba30e8f5
  Joris ten Tusscher authored 6 years ago
  
  ba30e8f5
May 11, 2018
- EDSL: Fix 'with' var intros (with fresh vars) · cae22443
  Orestis Melkonian authored 6 years ago
  
  cae22443
May 08, 2018
- Added test iterations heuristic, added threading in LogicIR.Backend.Test · 73eaa303
  Joris ten Tusscher authored 6 years ago
  
  73eaa303
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
- Global: Removed/cleaned obsolete WLP stuff · f81c8814
  Orestis Melkonian authored 6 years ago
  
  f81c8814
- Global: language-java from Hackage, removed sources · f8b2294a
  Orestis Melkonian authored 6 years ago
  
  f8b2294a
Apr 25, 2018

Added feedback to test module and debug mode option to command line. Fixed bug... · c2540ba0

Joris ten Tusscher authored 6 years ago

Added feedback to test module and debug mode option to command line. Fixed bug in the way Z3/Test concurrency was handled. Small changes/fixes in readme. Added more comments.

c2540ba0

Mar 26, 2018
- Deployment: robust process · e72913e5
  root@science-vs159 authored 6 years ago
  
  e72913e5
- Type-checking: Error propagation · 69efc8f1
  Orestis Melkonian authored 6 years ago
  
  69efc8f1
Mar 25, 2018
- LogicIR: Type-checking · a1cb6cb5
  Orestis Melkonian authored 6 years ago
  
  a1cb6cb5
- LogicIR: Division-by-zero bugfix · 460b9518
  Orestis Melkonian authored 6 years ago
  
  460b9518
Mar 18, 2018
- (cleaning up) · 41530f97
  Orestis Melkonian authored 7 years ago
  
  41530f97
- Z3: feedback (4 combinations) · e9a758d6
  Orestis Melkonian authored 7 years ago
  
  e9a758d6
Mar 14, 2018
- (remove debug prints) · 330ab75f
  Orestis Melkonian authored 7 years ago
  
  330ab75f
- API: Gracefully handle pre/post-conditions · aa74c17a
  Orestis Melkonian authored 7 years ago
  
  aa74c17a
- LogicIR: Normalization · a0f0636c
  Orestis Melkonian authored 7 years ago
  
  a0f0636c