Commits · b3d58c37f6c6f4cfffb41ef625ae36108635173f · LARA / inox

Mar 28, 2011
- 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