Commits · f6a984ced1a736196ac8a838fdca1c67fa48c70f · LARA / inox

Nov 01, 2012
- 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
- Plop · 27e1cbea
  Etienne Kneuss authored 12 years ago
  
  27e1cbea
- 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
- Meh · 58e83421
  Etienne Kneuss authored 12 years ago
  
  58e83421
- Refactor Tasks, allows for a correct flow · cf9be176
  Etienne Kneuss authored 12 years ago
  
  cf9be176
- Nicer "interface" · 2c5a41b9
  Etienne Kneuss authored 12 years ago
  
  2c5a41b9
- 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
- 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
- Revert changes I no longer need · 64179f79
  Etienne Kneuss authored 12 years ago
  
  64179f79
- Ands get decomposed into sub-ands · 6522fc50
  Etienne Kneuss authored 12 years ago
  
  6522fc50
- 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 may work · e21eea0f
  Etienne Kneuss authored 12 years ago
  
  e21eea0f
- This is madness · ea95a62f
  Etienne Kneuss authored 12 years ago
  
  ea95a62f