Commits · a99ba210d43feb84782321e9375e431058036576 · LARA / inox · GitLab

Snippets Groups Projects

Oct 24, 2012
- `sbt clean` now deletes script. Fewer scripts in general. · 4f3b3e30
  Philippe Suter authored 12 years ago
  
  4f3b3e30
Sep 23, 2012
- moved Annotation to subproject as well · 9123dbd1
  Régis Blanc authored 12 years ago
  
  9123dbd1
Jun 20, 2012
- add annotation for main function · e2a9013a
  Régis Blanc authored 13 years ago
  
  e2a9013a
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
May 10, 2011
- New annotation to issue warning if function could not be axiomatized. · fc866608
  Philippe Suter authored 14 years ago
  
  fc866608
Oct 07, 2010
- more new better · 1508a8e5
  Philippe Suter authored 14 years ago
  
  1508a8e5