Commits · 1f5c5acdfa35cb3e2887c9df4221c9287b8d1eea · LARA / inox · GitLab

Snippets Groups Projects

Sep 26, 2014
- Support for standalone objects · 1f5c5acd
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  1f5c5acd
- Introduce compilation units · 99bc23a9
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  99bc23a9
Aug 28, 2014
- Improve timers collection, usage and display · 71a5144d
  Etienne Kneuss authored 11 years ago
  
  71a5144d
Aug 20, 2014
- Field Extraction & handling · 0889f2f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0889f2f7
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 28, 2014
- EnumeratingSolver / PortfolioSolver · aab7b7f3
  Etienne Kneuss authored 11 years ago
  aab7b7f3
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Jan 31, 2014
- remove the need for innerXXX methods · a3cab185
  Régis Blanc authored 11 years ago
  a3cab185
Oct 01, 2013
- Re-introduce type hierarchy for solvers, simplify factories · b86116f0
  Etienne Kneuss authored 11 years ago
  b86116f0
Sep 12, 2013
- Minor renamings. · 9f21f5f9
  Philippe Suter authored 11 years ago
  
  9f21f5f9
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971
Aug 31, 2013
- Add synthesis regression test suite · e40e99cd
  Etienne Kneuss authored 11 years ago
  e40e99cd
- Fix the obvious insect · 6e662b09
  Etienne Kneuss authored 11 years ago
  
  6e662b09
Aug 27, 2013
- Remove ResultVariable, postcondition are explicitly bound · f24aafcc
  Etienne Kneuss authored 11 years ago
  
  f24aafcc
Aug 26, 2013
- Reshape options, add debug sections, simplify reporters · 51f3e6a4
  Etienne Kneuss authored 11 years ago
  51f3e6a4
Aug 15, 2013
- Use VanuatooDataGen: instrumenting/filtering data gen · 8edcbd66
  Etienne Kneuss authored 11 years ago
  8edcbd66
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Apr 23, 2013
- Decouple the validation, group VCs per functions · 56678650
  Etienne Kneuss authored 12 years ago
  56678650
Apr 12, 2013
- Implement untrusted solutions, that are then validated · 1900e8dd
  Etienne Kneuss authored 12 years ago
  
  1900e8dd
- Implement --manual search mode · 8b8addf3
  Etienne Kneuss authored 12 years ago
  
  8b8addf3
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 20, 2013
- Implement the concept of Normalizing rules · f5fb158f
  Etienne Kneuss authored 12 years ago
  f5fb158f
Jan 08, 2013
- Accelerate CEGIS by disabling features we thought would help · 087889d5
  Etienne Kneuss authored 12 years ago
  087889d5
Jan 03, 2013
- Implement --parallel[=N] to specify the number of workers to use. On success,... · a9f40660
  Etienne Kneuss authored 12 years ago
  a9f40660
Dec 06, 2012
- Provide reliable way to shutdown long-lasting rules · c5e13beb
  Etienne Kneuss authored 12 years ago
  
  c5e13beb
Dec 04, 2012
- Implement tests for synthesis · 04ed391b
  Etienne Kneuss authored 12 years ago
  
  04ed391b
- 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 29, 2012
- Implement partial solution reconstruction · ae93c204
  Etienne Kneuss authored 12 years ago
  
  ae93c204
Nov 26, 2012
- Proper passing of `LeonContext`s in synthesis. · 29c3acd4
  Philippe Suter authored 12 years ago
  
  29c3acd4
- Implement --firstonly for new dotconverter · 7f9a3874
  Etienne Kneuss authored 12 years ago
  
  7f9a3874
Nov 23, 2012
- Add --parallel option, default=false since it crashes like crazy · a81068b3
  Etienne Kneuss authored 12 years ago
  
  a81068b3
- How many cores do you have? · a1d180ea
  Etienne Kneuss authored 12 years ago
  
  a1d180ea
- Decouple Synthesizer from Search · 99a20e07
  Etienne Kneuss authored 12 years ago
  
  99a20e07
- Prepare ground for parallel search · 5ccb8ebe
  Etienne Kneuss authored 12 years ago
  
  5ccb8ebe
Nov 21, 2012
- Fix Search, fix problem cost, re-introduce ADT Split · 261ea138
  Etienne Kneuss authored 12 years ago
  
  261ea138