Commits · 0bcb1fe895b014c1c544c9ee2016c811f7efa93f · LARA / inox · GitLab

Snippets Groups Projects

Mar 28, 2016
- Replace defs for special cases · 0bcb1fe8
  Nicolas Voirol authored 9 years ago
  
  0bcb1fe8
- ADT Invariants in program transformations · e6f9e4b4
  Nicolas Voirol authored 9 years ago
  
  e6f9e4b4
- Better directed unrolling in the presence of quantifiers · aae7c8b1
  Nicolas Voirol authored 9 years ago
  
  aae7c8b1
- Added generic TheoryEncoders to Leon · 056f09f9
  Nicolas Voirol authored 9 years ago
  
  056f09f9
- Quantifier improvements + invariant preservation in program transforms · e0734347
  Nicolas Voirol authored 9 years ago
  
  e0734347
Mar 17, 2016
- Fix comparison bugs · 15a2c731
  Manos Koukoutos authored 9 years ago
  
  15a2c731
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- SharedOptions -> GlobalOptions · c8eb81d6
  Manos Koukoutos authored 9 years ago
  
  c8eb81d6
Feb 28, 2016
- Added warning for potentially unsound models with quantifiers · 40c66063
  Nicolas Voirol authored 9 years ago
  
  40c66063
- Fixed some data-type unrolling issues · 3ea0f667
  Nicolas Voirol authored 9 years ago
  
  3ea0f667
Feb 15, 2016
- Renamed Henkin to Partial (makes more sense) · 4ddead34
  Nicolas Voirol authored 9 years ago
  
  4ddead34
- Finished up satisfiability with quantifiers · d359ba78
  Nicolas Voirol authored 9 years ago
  
  d359ba78
- Small fix to DualEvaluator · 3f1a23c0
  Nicolas Voirol authored 9 years ago
  
  3f1a23c0
- Added generics to codegen evaluator · 827d8f01
  Nicolas Voirol authored 9 years ago
  
  827d8f01
- Finishing up optimized quantification · 1ae235ce
  Nicolas Voirol authored 9 years ago
  
  1ae235ce
- Constructing total models for quantifiers · b0227b0e
  Nicolas Voirol authored 9 years ago
  
  b0227b0e
- Unified all unrolling solvers · 6228d24a
  Nicolas Voirol authored 9 years ago
  
  6228d24a
Dec 28, 2015
- Improved matcher discovery · 63bb6772
  Nicolas Voirol authored 9 years ago
  
  63bb6772
Dec 11, 2015
- (a) Improving the model so that acyclicity properties of ADTs are provable · 593d5f1b
  ravi authored 9 years ago
  593d5f1b
Dec 04, 2015
- (a) Renaming & documenting some benchmarks · 3cc99768
  ravi authored 9 years ago
  3cc99768
- (a) Adding a test case to test the laziness of And · cfe3a050
  ravi authored 9 years ago
  cfe3a050
Nov 23, 2015
- 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
Oct 13, 2015
- Implement a bad version of printing vc position in SMT file · 6ac88da4
  Manos Koukoutos authored 9 years ago
  
  6ac88da4
Sep 18, 2015
- Fixes and rebase for quantifiers · 352a48f8
  Nicolas Voirol authored 9 years ago
  
  352a48f8
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
- Extended e-matching to generic matchers · d49d33db
  Nicolas Voirol authored 9 years ago
  
  d49d33db
Aug 20, 2015
- Solver-based enumerator, varies size of models to get interesting tests · a1ac10e0
  Etienne Kneuss authored 9 years ago
  
  a1ac10e0
Aug 18, 2015
- Flatten & Simplify Solver API · a6724892
  Etienne Kneuss authored 9 years ago
  a6724892
Aug 12, 2015
- Implement asInstanceOf · 9e63efe6
  Etienne Kneuss authored 9 years ago
  
  9e63efe6
Aug 06, 2015
- Normalize solver state in Incremental* · 9afef91b
  Etienne Kneuss authored 9 years ago
  
  9afef91b
- Implement solver pools · fbf2bea6
  Etienne Kneuss authored 9 years ago
  fbf2bea6
Jun 03, 2015
- Add --assumpre option to assume the precondition when unfolding · 85505865
  Etienne Kneuss authored 10 years ago
  85505865
Apr 23, 2015
- Name all LeonOptionDefs opt* · b110b833
  Manos Koukoutos authored 10 years ago
  
  b110b833
- 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
Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
- Remove unused imports · b2360e54
  Manos Koukoutos authored 10 years ago
  
  b2360e54
Feb 12, 2015
- Fix · de8f5295
  Etienne Kneuss authored 10 years ago
  
  de8f5295