Commits · 77a9ae53ecbbdd558734d59956545669e4960e23 · LARA / inox

Apr 02, 2015
- It's a SolverFactory, not a Solver · 77a9ae53
  Manos Koukoutos authored 10 years ago
  
  77a9ae53
Mar 26, 2015
- Fix numerous style issues · c48a0caa
  Manos Koukoutos authored 10 years ago
  
  c48a0caa
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- Even more fixes · 5a3a65c9
  Manos Koukoutos authored 10 years ago
  
  5a3a65c9
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Feb 16, 2015
- Fix subtitle · 5d1ab175
  Etienne Kneuss authored 10 years ago
  
  5d1ab175
Feb 12, 2015
- Custom interruption of checkVerificationConditions · 8af07f42
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8af07f42
- Support for parallel verification · 23e5e51a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  23e5e51a
Sep 16, 2014
- Improve/Fix SMTLib solvers · 622d4d8b
  Etienne Kneuss authored 11 years ago
  622d4d8b
- Base implementation of an SMTLib printer/solver · e68a291a
  Régis Blanc authored 11 years ago
  
  e68a291a
May 05, 2014
- New Ensuring/Require/Assert trees · 8403fa94
  Etienne Kneuss authored 11 years ago
  8403fa94
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Mar 03, 2014
- Stabilize datagen, fix interrupts & parallel, fix array boxing · a541166c
  Etienne Kneuss authored 11 years ago
  
  a541166c
Feb 28, 2014
- EnumeratingSolver / PortfolioSolver · aab7b7f3
  Etienne Kneuss authored 11 years ago
  aab7b7f3
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 10, 2014
- Improve debugging for trees. asString now preferred over toString. · 1be039de
  Etienne Kneuss authored 11 years ago
  
  1be039de
Jan 31, 2014
- remove the need for innerXXX methods · a3cab185
  Régis Blanc authored 11 years ago
  a3cab185
Dec 02, 2013
- Extract more (range) positions · 1506a713
  Etienne Kneuss authored 11 years ago
  
  1506a713
- Rework positions, introduce RangePositions · 480e8a3d
  Etienne Kneuss authored 11 years ago
  
  480e8a3d
Oct 01, 2013
- Re-introduce type hierarchy for solvers, simplify factories · b86116f0
  Etienne Kneuss authored 11 years ago
  b86116f0
- Introduce new solver combinators · faf0d42f
  Philippe Suter authored 11 years ago
  faf0d42f
Sep 12, 2013
- Rename ReportingSection to DebugSection · 59e6fe6f
  Etienne Kneuss authored 11 years ago
  
  59e6fe6f
- Debug sections become implicit · ba4e4d30
  Etienne Kneuss authored 11 years ago
  
  ba4e4d30
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Apr 23, 2013
- Improve the structure of the pretty-printer, allowing it to be extended · 102b65e9
  Etienne Kneuss authored 12 years ago
  
  102b65e9
- Decouple the validation, group VCs per functions · 56678650
  Etienne Kneuss authored 12 years ago
  56678650
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 14, 2013
- TimeoutSolver Improvements · c2680c66
  Etienne Kneuss authored 12 years ago
  c2680c66
Dec 21, 2012
- Implement a new XlangAnalysisPhase · 32d53a55
  Régis Blanc authored 12 years ago
  32d53a55
Dec 20, 2012
- Displaying counter-examples. · a2479356
  Philippe Suter authored 12 years ago
  a2479356
Dec 19, 2012
- Improve performance of FairZ3 by lowering unrolling to the z3 level. Improve... · b9d98db8
  Etienne Kneuss authored 12 years ago
  b9d98db8
Dec 13, 2012
- One way of handling integer command line options. · 1288fc0b
  Philippe Suter authored 12 years ago
  
  1288fc0b
Dec 12, 2012
- timeout option back for analysis phase · 8d704341
  Régis Blanc authored 12 years ago
  
  8d704341
- most tests are working · faf7174b
  Régis Blanc authored 12 years ago
  
  faf7174b
Dec 11, 2012
- adding new regressions tests · 67dc991d
  Régis Blanc authored 12 years ago
  
  67dc991d