Commits · 9b5556ac07e91dd8f9bec822ddaedba9858e9f9f · LARA / inox · GitLab

Snippets Groups Projects

Dec 06, 2012
- Case class generation works (use doesn't yet). · 9b5556ac
  Philippe Suter authored 12 years ago
  
  9b5556ac
- Progress from car ride. · 7394fad6
  Philippe Suter authored 12 years ago
  
  7394fad6
- Improved unary minus compilation (...). · 782c3dea
  Philippe Suter authored 12 years ago
  
  782c3dea
- Progress in CodeGen. · 6fdae618
  Philippe Suter authored 12 years ago
  
  - Recursive functions that manipulate only integers. - "Smart conditionals" compilation scheme.
  6fdae618
- First function compiles :) · 4001e83e
  Philippe Suter authored 12 years ago
  
  4001e83e
- Setting up the stage for CodeGen · 6e6292ff
  Philippe Suter authored 12 years ago
  
  6e6292ff
- Fix number of '-'s · 4cdebe4d
  Etienne Kneuss authored 12 years ago
  
  4cdebe4d
- Fix tests with new rules API · 6005d61f
  Etienne Kneuss authored 12 years ago
  
  6005d61f
- Reintroduce luckytests fix two problems arising from parallelism of task dispatching · 6a5b1b67
  Etienne Kneuss authored 12 years ago
  
  6a5b1b67
- More reliable shutdown · 45985e1b
  Etienne Kneuss authored 12 years ago
  
  45985e1b
- Provide reliable way to shutdown long-lasting rules · c5e13beb
  Etienne Kneuss authored 12 years ago
  
  c5e13beb
- Rework the semantics of rules, their applications/instantiation, results · 7378ba6f
  Etienne Kneuss authored 12 years ago
  
  7378ba6f
- Fix parallel search with FairZ3Solver · ebd264dc
  Etienne Kneuss authored 12 years ago
  
  ebd264dc
Dec 05, 2012
- Improve search for leaves to target unsolved branches, fix one issue regarding parallelism · c76506d3
  Etienne Kneuss authored 12 years ago
  
  c76506d3
Dec 04, 2012
- Further improve speed of Cegis · bed47535
  Etienne Kneuss authored 12 years ago
  
  bed47535
- Benchmarks for CEGIS now take files per argument · afe907d3
  Etienne Kneuss authored 12 years ago
  
  afe907d3
- This CEGIS appears to work fine, with two solvers and inter-unrollings state preservation · 4e71a8af
  Etienne Kneuss authored 12 years ago
  
  4e71a8af
- Add benchmarking script for CEGIS · 5508ff4f
  Etienne Kneuss authored 12 years ago
  
  5508ff4f
- ws · 1b42b2c1
  Etienne Kneuss authored 12 years ago
  
  1b42b2c1
- Nicer that way, one test per choose · 1330900a
  Etienne Kneuss authored 12 years ago
  
  1330900a
- Nicer test interface · 78d442b7
  Etienne Kneuss authored 12 years ago
  
  78d442b7
- Implement tests for synthesis · 04ed391b
  Etienne Kneuss authored 12 years ago
  
  04ed391b
- Hint towards sbt 0.12.1 · 3e96a11b
  Etienne Kneuss authored 12 years ago
  
  3e96a11b
- Selectable cost-model using the --costmodel option, yet to define multiple cost models · a48811ca
  Etienne Kneuss authored 12 years ago
  
  a48811ca
- Prepare ground for multiple cost models · ed115bf5
  Etienne Kneuss authored 12 years ago
  
  ed115bf5
- Add cost models, make things a tad bit nicer, synthesizer options · 242ae4cd
  Etienne Kneuss authored 12 years ago
  
  242ae4cd
Dec 03, 2012
- Generate multiple derivation graphs, output more info · edfc397d
  Etienne Kneuss authored 12 years ago
  
  edfc397d
Nov 30, 2012
- Do not report error in case of invalid model · 864bdc4a
  Etienne Kneuss authored 12 years ago
  
  864bdc4a
- Simplify FairZ3Solver, remove old API · e889aae3
  Etienne Kneuss authored 12 years ago
  
  e889aae3
- Confidence is now over 9000 · aaed71ab
  Etienne Kneuss authored 12 years ago
  
  aaed71ab
Nov 29, 2012
- Bleh · c372e659
  Etienne Kneuss authored 12 years ago
  
  c372e659
- Simplify code further · 12f0b46a
  Etienne Kneuss authored 12 years ago
  
  12f0b46a
- New tests to test the new API with new unrolling · 79b8d504
  Etienne Kneuss authored 12 years ago
  
  79b8d504
- Some cleanup in Fairz3solver · da39b7e5
  Etienne Kneuss authored 12 years ago
  
  da39b7e5
- Seems to work. Chances of success still under 9000 though · ed46c135
  Etienne Kneuss authored 12 years ago
  
  ed46c135
- explicit FastExp · 3b9caaf2
  Régis Blanc authored 12 years ago
  
  3b9caaf2
- example from comfusy, still with pattern matching · 606b80fd
  Régis Blanc authored 12 years ago
  
  606b80fd
- fast exponentiation from comfusy, would be interesting to support · 896f7690
  Régis Blanc authored 12 years ago
  
  896f7690
- Implement partial solution reconstruction · ae93c204
  Etienne Kneuss authored 12 years ago
  
  ae93c204
- Partial push/pop implementation in CEGIS, it is currently not preserved between unrollings · 9dd29fb9
  Etienne Kneuss authored 12 years ago
  
  9dd29fb9