Commits · ff401032147f1dce3084410f80cbbd8dfaf9df16 · LARA / inox · GitLab

Snippets Groups Projects

Nov 20, 2012
- Fix the fixes · ff401032
  Etienne Kneuss authored 12 years ago
  
  ff401032
Nov 19, 2012
- Noy sovled yet, but close · 015d1721
  Etienne Kneuss authored 12 years ago
  
  015d1721
- Some fixes and simplifications · 7696dbdb
  Etienne Kneuss authored 12 years ago
  
  7696dbdb
- Fix output · 8a0a7095
  Etienne Kneuss authored 12 years ago
  
  8a0a7095
- Some re-work based on and-or graphs · e69cbc14
  Etienne Kneuss authored 12 years ago
  
  e69cbc14
- Rules can (and should) have multiple application alternatives · 9c8b6e54
  Etienne Kneuss authored 12 years ago
  
  9c8b6e54
Nov 18, 2012
- Handle SIGINT, produce solution on abort. · c0214950
  Etienne Kneuss authored 12 years ago
  
  c0214950
Nov 17, 2012
- Reconstruct partial solution, only possible case for now is in case of timeout · 572cc5a4
  Etienne Kneuss authored 12 years ago
  
  572cc5a4
Nov 14, 2012
- More precise isSolved · 730c2fab
  Etienne Kneuss authored 12 years ago
  
  730c2fab
- With --firstonly we stop as soon as possible, and stop propagating choose() down in the tree · 2be74176
  Etienne Kneuss authored 12 years ago
  
  2be74176
Nov 13, 2012
- Move cegis and optimistic ground to rules · c9f0f7de
  Etienne Kneuss authored 12 years ago
  
  c9f0f7de
Nov 12, 2012
- 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
Nov 10, 2012
- Add path condition into problems, unused for now · 48f9fd72
  Etienne Kneuss authored 12 years ago
  
  48f9fd72
Nov 09, 2012
- 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
- Cosmetics · b246598d
  Etienne Kneuss authored 12 years ago
  
  b246598d
- Rework minComplexity of task based on real onSuccess · 7d2512e7
  Etienne Kneuss authored 12 years ago
  
  7d2512e7
- 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 the derivaion trees with new kinds of Tasks. Add notion of Task... · 9a44a404
  Etienne Kneuss authored 12 years ago
  9a44a404
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
- Woops · f6a984ce
  Etienne Kneuss authored 12 years ago
  
  f6a984ce
- 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
- Implement --functions option for synthesis · 1c34c7c2
  Etienne Kneuss authored 12 years ago
  
  1c34c7c2
Oct 26, 2012
- Refactoring · 196b39f5
  Philippe Suter authored 12 years ago
  
  196b39f5
- In case !--inplace, report results nicely as well · a415866d
  Etienne Kneuss authored 12 years ago
  
  a415866d
- Move that code to a proper class · ed392f86
  Etienne Kneuss authored 12 years ago
  
  ed392f86
- Substitute Choose code with solutions · 73377ace
  Etienne Kneuss authored 12 years ago
  
  73377ace
Oct 25, 2012
- Process management, try #2 · 2e7b523f
  Etienne Kneuss authored 12 years ago
  
  2e7b523f
Oct 24, 2012
- Some lumberjack work · f221d11a
  Etienne Kneuss authored 12 years ago
  
  f221d11a
- Fix derivation generations, genreate dot files · 2d495c3f
  Etienne Kneuss authored 12 years ago
  
  2d495c3f
Oct 23, 2012
- Simplify Lets, fix types · ba235ac1
  Etienne Kneuss authored 12 years ago
  
  ba235ac1
- Simplify outer If in case it's not necessary · 99e0058c
  Etienne Kneuss authored 12 years ago
  
  99e0058c