Commits · 64c3a07c666a81128ec47b816c37d1471e3297d0 · LARA / inox

Apr 21, 2015
- Make sure that all non-graveyard testcases at least compile, test it · 21422e5d
  Etienne Kneuss authored 10 years ago
  
  21422e5d
Aug 18, 2014
- Organize testcases · f5cb4224
  Etienne Kneuss authored 10 years ago
  
  f5cb4224
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Nov 20, 2013
- Consolidate and re-organize testcases · 82f37c6b
  Etienne Kneuss authored 11 years ago
  
  82f37c6b
Mar 05, 2012
- Scala 2.9.1-1 and refactored testcases · 2b186ade
  Philippe Suter authored 13 years ago
  
  2b186ade
Nov 14, 2010
- more, better · b299102e
  Philippe Suter authored 14 years ago
  
  b299102e
- The isBalanced property can now be proved in TreeMap example. · 4013684f
  Ali Sinan Köksal authored 14 years ago
  
  4013684f
Jul 12, 2010
- updated testcases · 287dc3d4
  Swen Jacobs authored 14 years ago
  
  287dc3d4
Jul 08, 2010
- modified testcases · e8fa850a
  Swen Jacobs authored 14 years ago
  
  e8fa850a
Jul 07, 2010
- one level pattern matching decoding is there. · 91a780d5
  Philippe Suter authored 14 years ago
  
  91a780d5
- Changed sortedness condition from < to <= · b7939122
  Swen Jacobs authored 14 years ago
  
  b7939122
- New insertion sort example, parsable by funcheck · 13283a54
  Swen Jacobs authored 14 years ago
  
  13283a54