Commits · 648f738105fb6a6bb969c3e90e583b5a5ab35f59 · LARA / inox

Mar 05, 2012
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
- starting Leon 2.0 · 50b9cb99
  Philippe Suter authored 13 years ago
  
  50b9cb99
Feb 29, 2012
- .gitignore · 5e8bea01
  Régis Blanc authored 13 years ago
  
  5e8bea01
Feb 27, 2012
- fixed use of deprecated Scala^Z3 methods · 1b2b5521
  Régis Blanc authored 13 years ago
  
  1b2b5521
- we have our own timeout, thank you very much · c9cdd2c2
  Philippe Suter authored 13 years ago
  
  c9cdd2c2
- Régis can write · 9cccaf70
  Philippe Suter authored 13 years ago
  
  9cccaf70
Feb 17, 2012
- new permissions · d9b3fb5e
  Philippe Suter authored 13 years ago
  
  d9b3fb5e
Dec 16, 2011
- now an executable script! · 7a9c72a5
  Philippe Suter authored 13 years ago
  
  7a9c72a5
- moved to git! preserved history! hooray! · 0ea466cc
  Philippe Suter authored 13 years ago
  
  0ea466cc
Nov 11, 2011
- missing space... · 45122ed5
  Philippe Suter authored 13 years ago
  
  45122ed5
- created ACMDLExamples · 656da019
  Philippe Suter authored 13 years ago
  
  656da019
- Rerun the examples on my machine. Somewhat similar numbers, and one more · 4c1ef097
  Philippe Suter authored 13 years ago
  
  experiment.
  4c1ef097
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