Commits · ce3c5a2d43bda02ab43daa0819f109a3256c3a98 · impresshs / javawlp · GitLab

Snippets Groups Projects

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