Commits · 32b51c5b9568045af8d799e0d254af24385377f4 · LARA / inox · GitLab

Snippets Groups Projects

Nov 27, 2015
- Merge remote-tracking branch 'upstream/master' · 32b51c5b
  Manos Koukoutos authored 9 years ago
  
  32b51c5b
- Merge ND-evaluator into master · c727548f
  Manos Koukoutos authored 9 years ago
  
  c727548f
Nov 25, 2015
- CodegenEvaluatorSuite was doing nothing. Now it does something. · cd7a4652
  Manos Koukoutos authored 9 years ago
  
  cd7a4652
- Use StreamEvaluator in repair · fd33cc09
  Manos Koukoutos authored 9 years ago
  fd33cc09
- Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
  Manos Koukoutos authored 9 years ago
  ac306f8f
- Improvements · 4eab947c
  Manos Koukoutos authored 9 years ago
  
  4eab947c
- Fix extraction of empty arrays etc. · 7df6ae86
  Manos Koukoutos authored 9 years ago
  
  7df6ae86
- Move ChooseCollector where it belongs · c3c8f9b6
  Manos Koukoutos authored 9 years ago
  
  c3c8f9b6
- Some doc improvements · badc55a9
  Manos Koukoutos authored 9 years ago
  
  badc55a9
- ChooseInfo -> SourceInfo · 5c083d1b
  Manos Koukoutos authored 9 years ago
  
  5c083d1b
- Extended softFromZ3Formula to catch NumberFormatException · a3041a97
  Nicolas Voirol authored 9 years ago
  
  a3041a97
- Removed caught LeonFatalErrors from AbstractZ3Solver · a2cc686c
  Nicolas Voirol authored 9 years ago
  
  a2cc686c
Nov 24, 2015
- We cheat in a slightly different way for split · 9a418d03
  Etienne Kneuss authored 9 years ago
  
  9a418d03
- We should really use BigInts there · edb35b1c
  Etienne Kneuss authored 9 years ago
  
  edb35b1c
Nov 23, 2015
- Change reporter.fatalError to throw LeonFatalError in AbstractZ3Solver · 20394f6f
  Nicolas Voirol authored 9 years ago
  20394f6f
- Fixed VanuatooDataGen for reals and chars · 19ca40dc
  Nicolas Voirol authored 9 years ago
  
  19ca40dc
- Bring quantification up-to-date with master · 267ec390
  Nicolas Voirol authored 9 years ago
  
  267ec390
- Efficient procedure for transitive dependencies in quantifiers · 6285db89
  Nicolas Voirol authored 9 years ago
  
  6285db89
- Transitive quantifiers and lambda axioms · 3a11a76d
  Nicolas Voirol authored 9 years ago
  
  3a11a76d
- InequalitySplit is late-instantiated b/c filtering tests is expensive · fa746cd5
  Etienne Kneuss authored 9 years ago
  
  fa746cd5
- Multiple fixes to CEGIS and improvements of synthesis · fc297ea9
  Etienne Kneuss authored 9 years ago
  
  fc297ea9
- Add good synthesis testcases · 75ecc2e5
  Etienne Kneuss authored 9 years ago
  
  75ecc2e5
- Support for global variables that are defined but may not in z3vars · 953ec315
  Etienne Kneuss authored 9 years ago
  
  953ec315
- Add tests to make sure solvers can handle global variables. · f3320e46
  Etienne Kneuss authored 9 years ago
  
  f3320e46
- Separate solFd and cTreeFd to allow solFd to have a post that enables · 95d75773
  Etienne Kneuss authored 9 years ago
  95d75773
- Top-level chooses have their spec extracted · e9e458f0
  Etienne Kneuss authored 9 years ago
  
  e9e458f0
- Fix exclude programs, use solver from settings, as fairz3 is broken · d6a65563
  Etienne Kneuss authored 9 years ago
  
  d6a65563
- Cache evaluators when filtering testbanks · f81754cc
  Etienne Kneuss authored 9 years ago
  
  f81754cc
- Remove dependencies on solvers · bfd09b85
  Etienne Kneuss authored 9 years ago
  
  bfd09b85
Nov 19, 2015
- Merge branch 'topic/closures-variables' · afd2ebad
  Regis Blanc authored 9 years ago
  afd2ebad
Nov 18, 2015
- Introduce old notation for vars in postcondition · 0861d08c
  Regis Blanc authored 9 years ago
  
  0861d08c
- test nested functions with nested if else · 152f26cf
  Regis Blanc authored 9 years ago
  
  152f26cf
- basic support in nested functions for arrays · 20ae5a95
  Regis Blanc authored 9 years ago
  
  20ae5a95
- fix · d47515b8
  Regis Blanc authored 9 years ago
  
  d47515b8
- clean up · b6ead035
  Regis Blanc authored 9 years ago
  
  b6ead035
- test evaluation order of function arguments · 0fc04443
  Regis Blanc authored 9 years ago
  
  0fc04443
- add some counter-examples as well · 04efeedd
  Regis Blanc authored 9 years ago
  
  04efeedd
- keep positions in post conditions · 6562b9f3
  Regis Blanc authored 9 years ago
  
  6562b9f3
- extra test · f78d0120
  Regis Blanc authored 9 years ago
  
  f78d0120
- keep some positions info · 4c479f35
  Regis Blanc authored 9 years ago
  
  4c479f35