Commits · aad51002d8e49853ece43c1485f01d13f220e913 · LARA / inox

Nov 23, 2012
- No more extensions. · aad51002
  Philippe Suter authored 12 years ago
  
  aad51002
- Work in progress. · 199e9aa6
  Philippe Suter authored 12 years ago
  
  199e9aa6
Oct 30, 2012
- ws · 224844ce
  Etienne Kneuss authored 12 years ago
  
  224844ce
Oct 26, 2012
- Analysis/Verification now returns a report. · 013b8843
  Philippe Suter authored 12 years ago
  
  013b8843
- Drastic simplification of Phases/Pipelines · 408565db
  Philippe Suter authored 12 years ago
  
  408565db
- Major dead code elimination · 5f13849b
  Philippe Suter authored 12 years ago
  
  5f13849b
Oct 24, 2012
- Type phases so that they act like functions, define pipelines, process · 38a639c9
  Etienne Kneuss authored 12 years ago
  38a639c9
Oct 22, 2012
- Some juicy refactoring · 66a98c21
  Etienne Kneuss authored 12 years ago
  
  66a98c21
Apr 27, 2012
- options to reduce the output to a single line · f8104059
  Régis Blanc authored 13 years ago
  
  f8104059
Apr 23, 2012
- Debug system with level and tags · b75e351f
  Régis Blanc authored 13 years ago
  
  b75e351f
Apr 13, 2012
- more bubble sort · 9ec42d4e
  Régis Blanc authored 13 years ago
  
  9ec42d4e
Apr 11, 2012
- new option 'noverifymodel' to desactivate the verification of a model returned by Z3 · a8e994c3
  Régis Blanc authored 13 years ago
  
  a8e994c3
Mar 07, 2012
- --templates has become the default. · 99d6be85
  Philippe Suter authored 13 years ago
  
  99d6be85
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- even more cleaning up · b11b33ed
  Philippe Suter authored 13 years ago
  
  b11b33ed
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
Jun 12, 2011
- preparing the merge. · 22f1fda9
  Philippe Suter authored 14 years ago
  
  22f1fda9
Jun 08, 2011
- adding new arguments --quickcheck to run quicheck random solver and --parallel... · 969ec83b
  Régis Blanc authored 14 years ago
  969ec83b
Jun 02, 2011
- Support for --BV flag to use bit-vectors instead of mathematical ints. · 1eaf909d
  Philippe Suter authored 14 years ago
  
  1eaf909d
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 14 years ago
  
  118f9730
May 25, 2011
- Changed some options (--CAV doesn't exist anymore and is on by default). New... · 16e93516
  Philippe Suter authored 14 years ago
  16e93516
May 20, 2011
- perform lucky tests by default at it substantially helps finding models · 2712fddb
  Ali Sinan Köksal authored 14 years ago
  
  2712fddb
May 19, 2011
- "lucky" test is optional now, and more checks when using cores as cores · d41b330c
  Ali Sinan Köksal authored 14 years ago
  d41b330c
Mar 29, 2011
- making reporting to console etc. more modular in preparation of web app. · 1b833855
  Philippe Suter authored 14 years ago
  
  1b833855
- we now support (soft)timeout. Use with option --timeout=[numsecs] · d37cae25
  Philippe Suter authored 14 years ago
  
  d37cae25
Jan 25, 2011
- Made things globally faster by essentially solving some pattern-matching completeness in advance. · dbe0e343
  Philippe Suter authored 14 years ago
  
  dbe0e343
Jan 21, 2011
- No commit message · 3dc2bb81
  Philippe Suter authored 14 years ago
  3dc2bb81
Jan 19, 2011
- Test integer lower and upper bounds specified as command-line option. · 1dd91cc0
  Ali Sinan Köksal authored 14 years ago
  
  1dd91cc0
Jan 14, 2011
- Testcase generation extension. · c7ceceda
  Ali Sinan Köksal authored 14 years ago
  
  c7ceceda
Jan 12, 2011
- laid the groundwork for new instantiator · be10ccd3
  Philippe Suter authored 14 years ago
  
  be10ccd3
Nov 10, 2010
- No commit message · f02fc91a
  Philippe Suter authored 14 years ago
  f02fc91a
Oct 26, 2010
- No commit message · 50a8dda1
  Philippe Suter authored 14 years ago
  50a8dda1
Oct 07, 2010
- No commit message · b1717ead
  Philippe Suter authored 14 years ago
  b1717ead
Aug 23, 2010
- Killed some bugs and added some examples. Also added -P:funcheck:nobapa, just... · c4693e97
  Philippe Suter authored 14 years ago
  c4693e97
Aug 08, 2010
- fixed axiom generation for simpler cases, removed axiom generations for... · fd15191f
  Philippe Suter authored 14 years ago
  fd15191f
Jul 13, 2010
- added XP flag · 14a918e4
  Philippe Suter authored 14 years ago
  
  14a918e4
Jul 08, 2010
- some unrolling, more options · 04993e67
  Philippe Suter authored 15 years ago
  
  04993e67
- now with unrolling · 2011bc04
  Philippe Suter authored 15 years ago
  
  2011bc04
Jul 07, 2010
- No commit message · d7b29e2b
  Philippe Suter authored 15 years ago
  d7b29e2b
Jun 30, 2010
- Some new plugin options. Also: now tries all loaded solvers in order. · 60d26eec
  Philippe Suter authored 15 years ago
  
  60d26eec