Commits · 916be314328b2c20ce83164cd4044b54157e279f · LARA / inox · GitLab

Snippets Groups Projects

Apr 16, 2016
- Fix for first-class functions returning more functions · 916be314
  Nicolas Voirol authored 9 years ago
  
  916be314
Apr 11, 2016
- Fixed app encoding in unrolling solver · 1ae77d51
  Nicolas Voirol authored 9 years ago
  
  1ae77d51
Mar 28, 2016
- 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
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Feb 28, 2016
- Cleaned up quantifiers and removed weird testcase · 7c7dcdc3
  Nicolas Voirol authored 9 years ago
  
  7c7dcdc3
- 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
- Finishing up ADT invariants · 395244dc
  Nicolas Voirol authored 9 years ago
  
  395244dc
- Datatype unrolling adds support for: · 741fbbe1
  Nicolas Voirol authored 9 years ago
  741fbbe1
Dec 28, 2015
- Improved matcher discovery · 63bb6772
  Nicolas Voirol authored 9 years ago
  
  63bb6772
- Optimized fold unfolding and lambda id freshening · 6eb02680
  Nicolas Voirol authored 9 years ago
  
  6eb02680
Dec 12, 2015
- Fix for functions with no pathVars · e3c2a7d6
  Nicolas Voirol authored 9 years ago
  
  e3c2a7d6
- Fix for functions with no pathVars · 7159d3a2
  Nicolas Voirol authored 9 years ago
  
  7159d3a2
Dec 04, 2015
- Small fix for termination and optimized lambda instantiation · 5a7f93af
  Nicolas Voirol authored 9 years ago
  
  5a7f93af
Nov 23, 2015
- Transitive quantifiers and lambda axioms · 3a11a76d
  Nicolas Voirol authored 9 years ago
  
  3a11a76d
Sep 18, 2015
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
- Progress on quantification · 2afbeb4e
  Nicolas Voirol authored 10 years ago
  
  2afbeb4e
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- Fixed an issue with lambda equality · 480631b8
  Nicolas Voirol authored 10 years ago
  
  480631b8
Apr 15, 2015
- Fixed issue in termination checker and added test-cases · 3e8c9098
  Nicolas Voirol authored 10 years ago
  
  3e8c9098
Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
Feb 12, 2015
- More fixes for lambda equality, got flatMap working!! · e4ba4537
  Nicolas Voirol authored 10 years ago
  e4ba4537
- Improved lambda equality and disequality · dfd50924
  Nicolas Voirol authored 10 years ago
  
  dfd50924
- Added some tests and guarded reference equality for lambdas · b5edabad
  Nicolas Voirol authored 10 years ago
  
  b5edabad
- Ref equality required between lambdas, otherwise we get wrong · 2f9a1140
  Nicolas Voirol authored 10 years ago
  2f9a1140
- Solution inline with under-approximation validity proof · bbe8b672
  Nicolas Voirol authored 10 years ago
  
  bbe8b672
- Added higher-order function support to Leon · 2667b969
  Nicolas Voirol authored 10 years ago
  
  2667b969