Commits · c76506d311a2fbbb438da756ff1c9a77f44728ce · LARA / inox · GitLab

Snippets Groups Projects

Dec 05, 2012
- Improve search for leaves to target unsolved branches, fix one issue regarding parallelism · c76506d3
  Etienne Kneuss authored 12 years ago
  
  c76506d3
Nov 23, 2012
- Prepare ground for parallel search · 5ccb8ebe
  Etienne Kneuss authored 12 years ago
  
  5ccb8ebe
Nov 21, 2012
- One rule for ADT ≠ decomposition. · 3a950dc2
  Philippe Suter authored 12 years ago
  3a950dc2
- Fix Search, fix problem cost, re-introduce ADT Split · 261ea138
  Etienne Kneuss authored 12 years ago
  
  261ea138
Nov 20, 2012
- Fix the fixes · ff401032
  Etienne Kneuss authored 12 years ago
  
  ff401032
Nov 19, 2012
- Some fixes and simplifications · 7696dbdb
  Etienne Kneuss authored 12 years ago
  
  7696dbdb
- Some re-work based on and-or graphs · e69cbc14
  Etienne Kneuss authored 12 years ago
  
  e69cbc14
- Make RuleInapplicable a RuleAlternatives with no alternative · 9a05ae05
  Etienne Kneuss authored 12 years ago
  
  9a05ae05
- Rules can (and should) have multiple application alternatives · 9c8b6e54
  Etienne Kneuss authored 12 years ago
  
  9c8b6e54
Nov 15, 2012
- Fix ADTSplit's sub pre-cond. Deactivate it for now as it kills everything · 3212cdf7
  Etienne Kneuss authored 12 years ago
  
  3212cdf7
- Implement ADTSplit · 63da798a
  Etienne Kneuss authored 12 years ago
  
  63da798a
- integer rule should be working now · 8e3f3946
  Régis Blanc authored 12 years ago
  
  8e3f3946
- Moar files · 70a81d20
  Etienne Kneuss authored 12 years ago
  
  70a81d20
Nov 14, 2012
- 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
- Fix EQ Split · 97467ee2
  Etienne Kneuss authored 12 years ago
  
  97467ee2
- 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
- integrate equation synthesis as a rule · f751527f
  Régis Blanc authored 12 years ago
  
  f751527f
Nov 13, 2012
- Verify preconditions for heuristics · 50b03820
  Etienne Kneuss authored 12 years ago
  
  50b03820
- Fundefs separated in solutions · 2c92e5a7
  Etienne Kneuss authored 12 years ago
  
  2c92e5a7
- Move cegis and optimistic ground to rules · c9f0f7de
  Etienne Kneuss authored 12 years ago
  
  c9f0f7de
Nov 12, 2012
- Re-implement Assert using C · 71ad4bf8
  Etienne Kneuss authored 12 years ago
  
  71ad4bf8
- Tentative implementation of multi-steps rules · 8c22a926
  Etienne Kneuss authored 12 years ago
  
  8c22a926
Nov 10, 2012
- Add path condition into problems, unused for now · 48f9fd72
  Etienne Kneuss authored 12 years ago
  
  48f9fd72
Nov 09, 2012
- By convention, we reserve priorities 1-99 to heuristics · fa25dd45
  Etienne Kneuss authored 12 years ago
  
  fa25dd45
- Add heuristic exploiting an optimistic assumption about injective nature of functions. · 6fde235e
  Etienne Kneuss authored 12 years ago
  6fde235e
Nov 03, 2012
- Kill Assert as we know it for now. Keep the trivial base case. · 76e4a4a5
  Etienne Kneuss authored 12 years ago
  76e4a4a5
- Remove concept of rule cost, this is not needed now · e810f63d
  Etienne Kneuss authored 12 years ago
  
  e810f63d
Nov 02, 2012
- Reporter should be silent, as it fails on under-constrained expressions using... · e5649f3d
  Etienne Kneuss authored 12 years ago
  e5649f3d
- Implement timeouts, trim search horizon based on solution so far · 244f18b6
  Etienne Kneuss authored 12 years ago
  
  244f18b6
- This tends to guarantee termination, better handling of giveups · 862613e1
  Etienne Kneuss authored 12 years ago
  
  862613e1
- Simplify generic transform, silence reporters · 039486a1
  Etienne Kneuss authored 12 years ago
  
  039486a1
- Rework complexities a bit · f34ab79b
  Etienne Kneuss authored 12 years ago
  
  f34ab79b
Nov 01, 2012
- Complexity needs to be carefully extracted/computed · 206fe471
  Etienne Kneuss authored 12 years ago
  
  206fe471
- Some organization · 40ed136d
  Etienne Kneuss authored 12 years ago
  
  40ed136d
- Reduce number of tries · d91e3a1b
  Etienne Kneuss authored 12 years ago
  
  d91e3a1b