Commits · 4f3b3e300a094ad9ceab6fab7b544b5f686fd6e9 · LARA / inox

Oct 24, 2012
- `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
  
  option is provided.
  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
- starting Leon 2.0 · 50b9cb99
  Philippe Suter authored 13 years ago
  
  50b9cb99
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 13 years ago
  
  118f9730
Apr 18, 2011
- Script a la 'vs' for constraint programming · d9055bee
  Ali Sinan Köksal authored 13 years ago
  
  d9055bee
Apr 06, 2011
- do not keep 'out' folder on svn, ignore cp script · 2bec1257
  Ali Sinan Köksal authored 14 years ago
  
  2bec1257
Mar 28, 2011
- No commit message · dc246375
  Philippe Suter authored 14 years ago
  
  No commit message
  dc246375
- folder for compiled CP examples and script modification · d93126b1
  Ali Sinan Köksal authored 14 years ago
  
  d93126b1
- Add cp script generation and cleaning to all tasks · e6d9c963
  Ali Sinan Köksal authored 14 years ago
  
  e6d9c963
- Move cp files into their own package · b3d58c37
  Ali Sinan Köksal authored 14 years ago
  
  b3d58c37
Mar 24, 2011
- rename ancestor plugin class · cf6f42f2
  Ali Sinan Köksal authored 14 years ago
  
  cf6f42f2
- There's a new prefered way of running funcheck: · 6c51c2b9
  Philippe Suter authored 14 years ago
  
  after sbt package all, run: ./funcheck --CAV yourfile.scala That's it.
  6c51c2b9
Mar 22, 2011
- Code substitution test and change script to include purescala class files. · babe7470
  Ali Sinan Köksal authored 14 years ago
  
  babe7470
Jan 20, 2011
- still some infinite loop on some unrollings (eg. pldi/InsertionSort:min), but... · ac7f1e45
  Philippe Suter authored 14 years ago
  
  still some infinite loop on some unrollings (eg. pldi/InsertionSort:min), but some examples are solved. yay.
  ac7f1e45
Oct 07, 2010
- more new better · 1508a8e5
  Philippe Suter authored 14 years ago
  
  1508a8e5
Aug 03, 2010
- now supports scalatest · 86e84e88
  Philippe Suter authored 14 years ago
  
  86e84e88
Jul 17, 2010
- re-configured sbt to use 2.8.0.final · 3ff6d8bb
  Philippe Suter authored 14 years ago
  
  3ff6d8bb
Jul 12, 2010
- support for multisets extraction · 7e9ef789
  Philippe Suter authored 14 years ago
  
  7e9ef789
Jun 22, 2010
- stub for set constraints · 9ada4398
  Philippe Suter authored 14 years ago
  
  9ada4398
- stub for ordered sets · ecd35b26
  Philippe Suter authored 14 years ago
  
  ecd35b26
Jun 21, 2010
- dynamically loaded extensions work :) · aa4e0102
  Philippe Suter authored 14 years ago
  
  aa4e0102
- finally, clean works :) · 135ab347
  Philippe Suter authored 14 years ago
  
  135ab347
- now creates the script properly. · efbca75c
  Philippe Suter authored 14 years ago
  
  efbca75c
- improved SBT script · 9bd0b744
  Philippe Suter authored 14 years ago
  
  9bd0b744
Jun 20, 2010
- No commit message · dc81fd82
  Philippe Suter authored 14 years ago
  
  No commit message
  dc81fd82
Jun 18, 2010
- No commit message · 72b2b841
  Philippe Suter authored 14 years ago
  
  No commit message
  72b2b841
- added SBT project stub. · a4d95236
  Philippe Suter authored 14 years ago
  
  a4d95236