Commits · 20328572602ab012c16b8cbf059ea8ced2bce23a · LARA / inox

May 18, 2012
- demo stuff · 61553644
  Régis Blanc authored 12 years ago
  
  61553644
Mar 05, 2012
- Scala 2.9.1-1 and refactored testcases · 2b186ade
  Philippe Suter authored 13 years ago
  
  2b186ade
May 09, 2011
- support for Z3 universal axioms is back (for catamorphisms only) · 1a801976
  Philippe Suter authored 14 years ago
  
  1a801976
Mar 31, 2011
- moving the testcases to a common dir. · 29d0c69f
  Philippe Suter authored 14 years ago
  
  29d0c69f
Mar 24, 2011
- snapshot of testcases as used in evaluation for sas2011 submission. · 212cd81e
  Ali Sinan Köksal authored 14 years ago
  
  212cd81e
- Buggy balancing method in RBT, a precondition in insertion sort. · 9b77b63e
  Ali Sinan Köksal authored 14 years ago
  
  9b77b63e
Mar 10, 2011
- work around z3 2.19 bug · 55e2e943
  Philippe Suter authored 14 years ago
  
  55e2e943
Mar 07, 2011
- with height balancing · cdc697d1
  Philippe Suter authored 14 years ago
  
  cdc697d1
Feb 01, 2011
- the demos · 3bc05f77
  Philippe Suter authored 14 years ago
  
  3bc05f77
Jan 21, 2011
- code for "I'm feeling lucky" · 99fb25b5
  Philippe Suter authored 14 years ago
  
  99fb25b5
Jan 20, 2011
- still some infinite loop on some unrollings (eg. pldi/InsertionSort:min), but... · ac7f1e45
  Philippe Suter authored 14 years ago
  ac7f1e45
Nov 25, 2010
- examples · e814ee48
  Ali Sinan Köksal authored 14 years ago
  
  e814ee48
Nov 18, 2010
- The "no red node has red children" property is proved with an enormous precondition. · 889f9ba0
  Ali Sinan Köksal authored 14 years ago
  
  889f9ba0
Nov 17, 2010
- cosmetic changes · c4526f22
  Viktor Kuncak authored 14 years ago
  
  c4526f22
Nov 14, 2010
- Copying sorting and RB tree examples from testcases · 2bb9282d
  Ali Sinan Köksal authored 14 years ago
  
  2bb9282d
Nov 13, 2010
- some random commit · d2d70bba
  Philippe Suter authored 14 years ago
  
  d2d70bba
Oct 25, 2010
- redblack with size · b95e12e9
  Viktor Kuncak authored 14 years ago
  
  b95e12e9
- red black tree example · 89629bdf
  Viktor Kuncak authored 14 years ago
  
  89629bdf