Commits · b0df8f40134a945e9b73e9a12b5537a8bf763cfb · LARA / inox

Jul 29, 2014
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
Apr 09, 2014
- Make sure the current directory is not within the class path · 6206cbbf
  Etienne Kneuss authored 11 years ago
  
  6206cbbf
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Sep 12, 2013
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
Aug 16, 2013
- Upgrade to akka-actors 2.2.0, include configuration in the classpath · 501e9663
  Etienne Kneuss authored 11 years ago
  
  501e9663
Jul 11, 2013
- Upgrade Leon to Scala 2.10.x · c521d3bd
  Etienne Kneuss authored 11 years ago
  c521d3bd
Dec 19, 2012
- Improve performance of FairZ3 by lowering unrolling to the z3 level. Improve... · b9d98db8
  Etienne Kneuss authored 12 years ago
  b9d98db8
Dec 13, 2012
- Fix the classpath mess for good. · 9c422817
  Etienne Kneuss authored 12 years ago
  9c422817
Oct 26, 2012
- solving the 32/64 *within sbt* problem · a6fce097
  Philippe Suter authored 12 years ago
  
  a6fce097
Oct 24, 2012
- More cleaning up. · 11022704
  Philippe Suter authored 12 years ago
  
  11022704
- `sbt clean` now deletes script. Fewer scripts in general. · 4f3b3e30
  Philippe Suter authored 12 years ago
  
  4f3b3e30
Oct 15, 2012
- If 32b check at runtime the arch · 27c20971
  Etienne Kneuss authored 12 years ago
  
  27c20971
- Detect arch type and generate leon script accordingly · 658bf42e
  Etienne Kneuss authored 12 years ago
  
  658bf42e
Sep 21, 2012
- leon library is now a subproject · 74fdcc5e
  Régis Blanc authored 12 years ago
  
  74fdcc5e
Mar 07, 2012
- Moved Main.scala outside of plugin package and show help when invalid · 205a5caa
  Philippe Suter authored 13 years ago
  205a5caa
Mar 05, 2012
- some random junk · ee9249b8
  Philippe Suter authored 13 years ago
  
  ee9249b8
- fixed script · 9bc20fbb
  Philippe Suter authored 13 years ago
  
  9bc20fbb
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381