Commits · e5649f3dfd6502c33a13a6a62517e7f58651f2b3 · LARA / inox · GitLab

Snippets Groups Projects

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
- Return an expression, not a formula · 5f18731b
  Etienne Kneuss authored 12 years ago
  
  5f18731b
- Optimistic Ground Rule with CE guided refinement · e16ab22c
  Etienne Kneuss authored 12 years ago
  
  e16ab22c
- Store sufficient information to track resolution from rootTask · d5815659
  Etienne Kneuss authored 12 years ago
  
  d5815659
- Score solution programatically, not by hand. Allow arbitrary scrutinees (to check) · 70f68bc7
  Etienne Kneuss authored 12 years ago
  
  70f68bc7
Oct 31, 2012
- Decomposing task is a task itself · ecaff254
  Etienne Kneuss authored 12 years ago
  
  ecaff254
Oct 26, 2012
- Oups · be75f07f
  Etienne Kneuss authored 12 years ago
  
  be75f07f
Oct 24, 2012
- Some lumberjack work · f221d11a
  Etienne Kneuss authored 12 years ago
  
  f221d11a
- Make sure model is complete, simplify rule · 857317fc
  Etienne Kneuss authored 12 years ago
  
  857317fc
Oct 23, 2012
- Simplify Lets, fix types · ba235ac1
  Etienne Kneuss authored 12 years ago
  
  ba235ac1
- Fix assert, Add example, add more debug output for last rule · 6adbc583
  Etienne Kneuss authored 12 years ago
  
  6adbc583
- Keep precondition inside formula, print precondition · 54d6ebe2
  Etienne Kneuss authored 12 years ago
  
  54d6ebe2
- ADTDual · 1a6a2be3
  Etienne Kneuss authored 12 years ago
  
  1a6a2be3
- Add unification rules (Trivial, Symbol Clash, Decomposition, Occurs Check) · e0dd0a63
  Etienne Kneuss authored 12 years ago
  
  e0dd0a63
- Call z3 to get model satisfying no conditions · 147d699d
  Etienne Kneuss authored 12 years ago
  
  147d699d
- Implement Unconstraint Output · 0bebfffe
  Etienne Kneuss authored 12 years ago
  
  0bebfffe
- Simplify task decomposition by going via task methods · 921978f7
  Etienne Kneuss authored 12 years ago
  
  921978f7
- Refactor Tasks, allows for a correct flow · cf9be176
  Etienne Kneuss authored 12 years ago
  
  cf9be176
- Add UnusedInput · ba97cc0e
  Etienne Kneuss authored 12 years ago
  
  ba97cc0e
Oct 22, 2012
- Implement Assert, score solutions to order them · b081084b
  Etienne Kneuss authored 12 years ago
  
  b081084b
- Implement case-split · 79178cb0
  Etienne Kneuss authored 12 years ago
  
  79178cb0
- Generate a proper error in ground rule · 28eaf0ed
  Etienne Kneuss authored 12 years ago
  
  28eaf0ed
- Integrate with Leon some more · 6e5f1718
  Etienne Kneuss authored 12 years ago
  
  6e5f1718
- Some juicy refactoring · 66a98c21
  Etienne Kneuss authored 12 years ago
  
  66a98c21
- Plop · 47c5deba
  Etienne Kneuss authored 12 years ago
  
  47c5deba
- Rework things around to have a better idea how things work · ea13e438
  Etienne Kneuss authored 12 years ago
  
  ea13e438
Oct 19, 2012
- Ands get decomposed into sub-ands · 6522fc50
  Etienne Kneuss authored 12 years ago
  
  6522fc50
- slightly better · e9f6c3ac
  Etienne Kneuss authored 12 years ago
  
  e9f6c3ac
- One-point sort-of works · 651f12e2
  Etienne Kneuss authored 12 years ago
  
  651f12e2
- Stupid example and log output · 06b9bbc7
  Etienne Kneuss authored 12 years ago
  
  06b9bbc7
- This is madness · ea95a62f
  Etienne Kneuss authored 12 years ago
  
  ea95a62f
Oct 18, 2012
- Start with some files · 334b712b
  Etienne Kneuss authored 12 years ago
  
  334b712b