Commits · 8d2cc85f6d1717186111faf83a54509c52cff233 · LARA / inox

Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- New And/Or Search Strategies · 2ec7235e
  Etienne Kneuss authored 9 years ago
  
  2ec7235e
Feb 09, 2016
- Fix Test · a7139720
  Manos Koukoutos authored 9 years ago
  
  a7139720
Nov 25, 2015
- ChooseInfo -> SourceInfo · 5c083d1b
  Manos Koukoutos authored 9 years ago
  
  5c083d1b
Nov 24, 2015
- We should really use BigInts there · edb35b1c
  Etienne Kneuss authored 9 years ago
  
  edb35b1c
Nov 17, 2015
- ChooseInfo -> SourceInfo · b32c5513
  Manos Koukoutos authored 9 years ago
  
  b32c5513
Oct 09, 2015
- Simplify tests · 74a62d6e
  Manos Koukoutos authored 9 years ago
  
  74a62d6e
Oct 05, 2015
- Refactor Phases/Pipelines · 554d6e66
  Etienne Kneuss authored 9 years ago
  554d6e66
Sep 14, 2015
- FunctionClosure everywhere! · bae210f7
  Manos Koukoutos authored 9 years ago
  
  bae210f7
Aug 21, 2015
- Refactor tests, again. · 20e8c86a
  Etienne Kneuss authored 9 years ago
  20e8c86a
Aug 20, 2015
- ChooseInfo.extractFromProgram respects --functions and @library · 7542e642
  Etienne Kneuss authored 9 years ago
  
  7542e642
Aug 18, 2015
- Tests in different packages · b4448a66
  Manos Koukoutos authored 9 years ago
  
  b4448a66
Aug 11, 2015
- Remove toString, rely on asString instead when printing stuff · 33777002
  Etienne Kneuss authored 9 years ago
  
  33777002
Aug 06, 2015
- Correctly shutdown solver factories used in tests · 4af147a8
  Etienne Kneuss authored 9 years ago
  
  4af147a8
Aug 03, 2015
- Refactor tests · a7025236
  Etienne Kneuss authored 9 years ago
  a7025236
Jul 09, 2015
- Correct typo · 101707b6
  Manos Koukoutos authored 9 years ago
  
  101707b6
May 05, 2015
- Unify and centralize use of solvers · 51e2f35c
  Etienne Kneuss authored 10 years ago
  
  51e2f35c
- Style fixes · 1f1b4460
  Manos Koukoutos authored 10 years ago
  
  1f1b4460
Apr 23, 2015
- Refactor how command line options are handled by Leon · 59b0b60a
  Manos Koukoutos authored 10 years ago
  59b0b60a
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Allow test-only to find tests, limit functions to visible ones · 8fe43dd4
  Etienne Kneuss authored 10 years ago
  
  8fe43dd4
- Fix synthesis test suite to not rely on ADTInduction · 82c86cdb
  Etienne Kneuss authored 10 years ago
  
  82c86cdb
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Feb 17, 2015
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Feb 12, 2015
- Always validate up to N programs, even if we got more passing tests · b31f80fb
  Etienne Kneuss authored 10 years ago
  
  b31f80fb
- Fix regression tests for new synthesis framework · d93bdd37
  Etienne Kneuss authored 10 years ago
  
  d93bdd37
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Refactor rules, remove Heuristics/Rules · 01062258
  Etienne Kneuss authored 10 years ago
  
  01062258
- Update synthesis suites · f3b49a6f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  f3b49a6f
- Rename SynthesisOptions to SynthesisSettings · 01e9a96a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  01e9a96a
Oct 27, 2014
- Fix tests with new synthesis refactoring · 11d63cc2
  Etienne Kneuss authored 10 years ago
  
  11d63cc2
Oct 24, 2014
- Use imports · fb15b2ed
  Etienne Kneuss authored 10 years ago
  
  fb15b2ed
Aug 20, 2014
- Make testing compatible with Eclipse + ScalaTest · 45b38fcb
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  45b38fcb
Apr 11, 2014
- Refactor tests to make them more stable · 860b9fc1
  Etienne Kneuss authored 11 years ago
  
  860b9fc1
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 17, 2014
- Allow testing specifying options, add test for enum solver · 0684038e
  Etienne Kneuss authored 11 years ago
  
  0684038e
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Dec 02, 2013
- Extract more (range) positions · 1506a713
  Etienne Kneuss authored 11 years ago
  
  1506a713