Commits · 8e3f3946507832e839f46cdabcf20a56a6860bc9 · LARA / inox

Nov 15, 2012
- integer rule should be working now · 8e3f3946
  Régis Blanc authored 12 years ago
  
  8e3f3946
Nov 14, 2012
- Fix shape of postconditions · 9bdbf0e3
  Etienne Kneuss authored 12 years ago
  
  9bdbf0e3
- Solves everything · 2a09eb47
  Etienne Kneuss authored 12 years ago
  
  2a09eb47
- More precise isSolved · 730c2fab
  Etienne Kneuss authored 12 years ago
  
  730c2fab
- woops · 8c341973
  Etienne Kneuss authored 12 years ago
  
  8c341973
- Chased the Set.empty[Int] vs. Set() subtelty. · 76125021
  Philippe Suter authored 12 years ago
  
  76125021
- Add pre-post + testcases · 6f16d38f
  Etienne Kneuss authored 12 years ago
  
  6f16d38f
- Fix EQ Split · 97467ee2
  Etienne Kneuss authored 12 years ago
  
  97467ee2
- With --firstonly we stop as soon as possible, and stop propagating choose() down in the tree · 2be74176
  Etienne Kneuss authored 12 years ago
  
  2be74176
- ADT Induction · 1e5b32d0
  Etienne Kneuss authored 12 years ago
  
  1e5b32d0
- Starting ADTInduction · 46fabd14
  Etienne Kneuss authored 12 years ago
  
  46fabd14
- .. I guess this time should be good · d8fc644e
  Régis Blanc authored 12 years ago
  
  d8fc644e
- really no crash this time · 39185b06
  Régis Blanc authored 12 years ago
  
  39185b06
- Implement EqualitySplit We should check whether we do not always split on same variables · 0b2eb621
  Etienne Kneuss authored 12 years ago
  
  0b2eb621
- do not crash on non linear arithmetic expressions ! · f947b2d3
  Régis Blanc authored 12 years ago
  
  f947b2d3
- plop · fd68ef89
  Régis Blanc authored 12 years ago
  
  fd68ef89
- integrate equation synthesis as a rule · f751527f
  Régis Blanc authored 12 years ago
  
  f751527f
Nov 13, 2012
- Check precondition against phi · e098fa41
  Etienne Kneuss authored 12 years ago
  
  e098fa41
- Verify preconditions for heuristics · 50b03820
  Etienne Kneuss authored 12 years ago
  
  50b03820
- Generate and print pre-post conditions · 9de7b357
  Etienne Kneuss authored 12 years ago
  
  9de7b357
- Remove println · 8e6fa91c
  Etienne Kneuss authored 12 years ago
  
  8e6fa91c
- Lifting defs, making sure the solution complexity takes defs into account · 29764680
  Etienne Kneuss authored 12 years ago
  
  29764680
- Fundefs separated in solutions · 2c92e5a7
  Etienne Kneuss authored 12 years ago
  
  2c92e5a7
- Attach preconditions · ac1cabcc
  Etienne Kneuss authored 12 years ago
  
  ac1cabcc
- Propagate IntInduction's precondition · 7a318dd2
  Etienne Kneuss authored 12 years ago
  
  7a318dd2
- Move cegis and optimistic ground to rules · c9f0f7de
  Etienne Kneuss authored 12 years ago
  
  c9f0f7de
- CEGIS that works · 4fd59012
  Etienne Kneuss authored 12 years ago
  
  4fd59012
- integer synthesis · 1bd1e398
  Régis Blanc authored 12 years ago
  
  1bd1e398
Nov 12, 2012
- Plop · 0388ab39
  Etienne Kneuss authored 12 years ago
  
  0388ab39
- CEGIS · c7105dbd
  Etienne Kneuss authored 12 years ago
  
  c7105dbd
- Work on the new CEGIS · 7d7d96fc
  Etienne Kneuss authored 12 years ago
  
  7d7d96fc
- integer synthesis for formula with top level equalities · c574b06a
  Régis Blanc authored 12 years ago
  
  c574b06a
- fix a few things · fa95f047
  Régis Blanc authored 12 years ago
  
  fa95f047
- divide of negative numbers with correct remainders, and ext. euclid with negative numbers · 77b0f484
  Régis Blanc authored 12 years ago
  
  77b0f484
- Re-implement Assert using C · 71ad4bf8
  Etienne Kneuss authored 12 years ago
  
  71ad4bf8
- fix bug in arithmetic normalization · de7ad5b8
  Régis Blanc authored 12 years ago
  
  de7ad5b8
- extract Equals · 0ba1a597
  Régis Blanc authored 12 years ago
  
  0ba1a597
- Reactivate IntInduction now that search horizon is limited again · 7a5f6857
  Etienne Kneuss authored 12 years ago
  
  7a5f6857
- Filter based on best solution so far (reimplemented with new multi-steps rules) · 578139b4
  Etienne Kneuss authored 12 years ago
  
  578139b4
- Tentative implementation of multi-steps rules · 8c22a926
  Etienne Kneuss authored 12 years ago
  
  8c22a926