Commits · a2e7db77f96fd7356c07619751d2c3e46aea9db9 · LARA / inox · GitLab

Snippets Groups Projects

Dec 13, 2012
- Break the inner-compiler in different ways so that it works with sbt test. · a2e7db77
  Etienne Kneuss authored 12 years ago
  
  a2e7db77
Dec 12, 2012
- Improve classpath situation, leon lib still missing though · 703814a9
  Etienne Kneuss authored 12 years ago
  
  703814a9
- Works on web with hardcoded classPath **TO FIX** · 202352d9
  Etienne Kneuss authored 12 years ago
  
  202352d9
- showIDs off by default · 01d8e589
  Régis Blanc authored 12 years ago
  
  01d8e589
Dec 11, 2012
- adding new regressions tests · 67dc991d
  Régis Blanc authored 12 years ago
  
  67dc991d
- Cleaning up old options. · 79be887d
  Philippe Suter authored 12 years ago
  
  79be887d
- No more unused BV option. · 3e03bd85
  Philippe Suter authored 12 years ago
  
  3e03bd85
- Passing flags to Z3... · b542b300
  Philippe Suter authored 12 years ago
  
  b542b300
Nov 26, 2012
- Cleaned up many old/useless options. · 70971eeb
  Philippe Suter authored 12 years ago
  
  70971eeb
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 13 years ago
  
  22f1fda9
Jun 08, 2011
- adding new arguments --quickcheck to run quicheck random solver and --parallel... · 969ec83b
  Régis Blanc authored 13 years ago
  969ec83b
Jun 02, 2011
- Support for --BV flag to use bit-vectors instead of mathematical ints. · 1eaf909d
  Philippe Suter authored 13 years ago
  
  1eaf909d
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
May 25, 2011
- Changed some options (--CAV doesn't exist anymore and is on by default). New... · 16e93516
  Philippe Suter authored 13 years ago
  16e93516
May 20, 2011
- perform lucky tests by default at it substantially helps finding models · 2712fddb
  Ali Sinan Köksal authored 13 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 13 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