Commits · c8d0c557d25a18e62005e57842d9eb70271e340c · LARA / inox

Nov 08, 2011
- Count the number of RBTs generated along with their sizes · c8d0c557
  Ali Sinan Köksal authored 13 years ago
  
  c8d0c557
- Curry testcases · ce586cba
  Ali Sinan Köksal authored 13 years ago
  
  ce586cba
- Will work on this at some point maybe... His VCs look trivial to · 279dcc2b
  Philippe Suter authored 13 years ago
  
  Z3(+BAPA?).
  279dcc2b
- delete swap file · 7bfb552f
  Ali Sinan Köksal authored 13 years ago
  
  7bfb552f
- Random generation of red-black trees using ScalaCheck · ec608257
  Ali Sinan Köksal authored 13 years ago
  
  ec608257
- An attempt to have declarative RBT operations in Curry · 6810bfa0
  Ali Sinan Köksal authored 13 years ago
  
  6810bfa0
Oct 27, 2011
- REPL Kaplan · 2624acf8
  Philippe Suter authored 13 years ago
  
  2624acf8
Sep 17, 2011
- Sat solver as in paper · 43182d14
  Ali Sinan Köksal authored 13 years ago
  
  43182d14
- Sat solver accepting DIMACS format input · fcde1045
  Ali Sinan Köksal authored 13 years ago
  
  fcde1045
Sep 13, 2011
- Our CEGIS loop used for the alternative way of integer squaring · 4c297b57
  Ali Sinan Köksal authored 13 years ago
  
  4c297b57
Aug 03, 2011
- generation of + methods for Terms · e9d58fdf
  Ali Sinan Köksal authored 13 years ago
  
  e9d58fdf
Aug 01, 2011
- product methods do not need arity suffix in their name · 36aa36d6
  Ali Sinan Köksal authored 13 years ago
  
  36aa36d6
- generation of product methods · d087bf60
  Ali Sinan Köksal authored 13 years ago
  
  d087bf60
- basic product example · 2633b157
  Ali Sinan Köksal authored 13 years ago
  
  2633b157
- manual product, to be generated soon · 2216ebb1
  Ali Sinan Köksal authored 13 years ago
  
  2216ebb1
Jul 28, 2011
- better looking Zune example · ea77707a
  Ali Sinan Köksal authored 13 years ago
  
  ea77707a
- calendar example with two versions · 0abe6627
  Ali Sinan Köksal authored 13 years ago
  
  0abe6627
- calendar example with Scala 2.9 · 6199a722
  Ali Sinan Köksal authored 13 years ago
  
  6199a722
Jul 13, 2011
- parsing functions with underscores as constraints · 9740e961
  Ali Sinan Köksal authored 13 years ago
  
  9740e961
- Now with red-black trees · 7ce76f84
  Philippe Suter authored 13 years ago
  
  7ce76f84
- timer in listmethods example · 80315682
  Ali Sinan Köksal authored 13 years ago
  
  80315682
- last element of list · 2a0f9314
  Ali Sinan Köksal authored 13 years ago
  
  2a0f9314
Jul 12, 2011
- Knapsack example is working. Needed to add a few tweaks here and there in... · 7ee59dc9
  Philippe Suter authored 13 years ago
  
  Knapsack example is working. Needed to add a few tweaks here and there in Terms.scala to make it look better.
  7ee59dc9
- the "c" method · 6530098e
  Ali Sinan Köksal authored 13 years ago
  
  6530098e
- imperative send+more=money works · e7d46767
  Philippe Suter authored 13 years ago
  
  e7d46767
- . · c73733fd
  Ali Sinan Köksal authored 13 years ago
  
  c73733fd
- little crash · 44b44bcf
  Philippe Suter authored 13 years ago
  
  44b44bcf
- playing with graphs · 874127e1
  Philippe Suter authored 13 years ago
  
  874127e1
- some changes · 9fa5979d
  Philippe Suter authored 13 years ago
  
  9fa5979d
Jul 11, 2011
- changse · 84c3de9e
  Philippe Suter authored 13 years ago
  
  84c3de9e
Jul 10, 2011
- a couple of additional constraints for send more money · 085927b2
  Ali Sinan Köksal authored 13 years ago
  
  085927b2
- bugfix for lazySolve involving guards · 3768913b
  Ali Sinan Köksal authored 13 years ago
  
  3768913b
- something crashing with SEND MORE MONEY · 7a1545ae
  Philippe Suter authored 13 years ago
  
  7a1545ae
- little Sat solver in one (big, fat) line · 0e97bfb0
  Philippe Suter authored 13 years ago
  
  0e97bfb0
Jul 09, 2011
- file containing examples from the paper, to make sure everything compiles etc. · 1e525071
  Philippe Suter authored 13 years ago
  
  1e525071
Jul 08, 2011
- when-otherwise example · 6aa21482
  Ali Sinan Köksal authored 13 years ago
  
  6aa21482
- bunch of constructs: assuming, cif-celse, when(-otherwise) · e8f52dbe
  Ali Sinan Köksal authored 13 years ago
  
  e8f52dbe
- - Term0 and Constraint0: currently manually written, soon to be generated · 8951a0aa
  Ali Sinan Köksal authored 13 years ago
  
  automatically. - The assuming example that uses Constraint0
  8951a0aa
- example demonstrating the "single value" semantics of L variables · fb058a2d
  Ali Sinan Köksal authored 13 years ago
  
  fb058a2d
- better displaying of L variables · 1b9d6508
  Ali Sinan Köksal authored 13 years ago
  
  1b9d6508