Commits · b0227b0ec5df3d3660c69f0e81a1e3f35b2cbbcb · LARA / inox · GitLab

Snippets Groups Projects

Feb 15, 2016
- Constructing total models for quantifiers · b0227b0e
  Nicolas Voirol authored 9 years ago
  
  b0227b0e
Feb 09, 2016
- handle nested fundef · 6718e3c3
  Regis Blanc authored 9 years ago
  
  6718e3c3
- improve mapping with context · 6dad0efb
  Regis Blanc authored 9 years ago
  
  6dad0efb
- pre map with context helper · 0792563c
  Regis Blanc authored 9 years ago
  
  0792563c
Feb 05, 2016
- StringZ3 revisiter: Now the conversion is made BEFORE the solver is invoked. · e3e584ee
  Mikaël Mayer authored 9 years ago
  e3e584ee
- Move Old to xlang · 5d5430e1
  Manos Koukoutos authored 9 years ago
  
  5d5430e1
- Improve value generation with generic types · 572d4125
  Manos Koukoutos authored 9 years ago
  572d4125
- Fix empty LetDef's, tidy up CEGIS, better CEGIS errors · 726d0107
  Manos Koukoutos authored 9 years ago
  
  726d0107
Feb 03, 2016
- Fix synthesis of type-parametric values · 8ca17359
  Etienne Kneuss authored 9 years ago
  
  8ca17359
Feb 02, 2016
- Added test case about isomorphism of values which should trigger equality. · 0dcebb86
  Mikaël Mayer authored 9 years ago
  
  0dcebb86
Jan 27, 2016
- Homomorphic to work on lambdas + tests. · 7366462b
  Mikaël Mayer authored 9 years ago
  7366462b
Jan 26, 2016
- New tests for function canBeHomomorphic + corrected implementation. · 8b20aa8e
  Mikaël Mayer authored 9 years ago
  
  8b20aa8e
- Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the... · 6cb4213c
  Mikaël Mayer authored 9 years ago
  6cb4213c
- Check preconditions/correctness conditions within specs · cb76cc04
  Manos Koukoutos authored 9 years ago
  cb76cc04
- Fix bug with multiparameter ensuring specs · 4bd8ac56
  Manos Koukoutos authored 9 years ago
  
  4bd8ac56
Jan 20, 2016
- Added example simplification when asking questions. · c1f957b5
  Mikaël Mayer authored 9 years ago
  
  c1f957b5
Jan 19, 2016
- Simplified StringTracingEvaluator.scala, · d1d1114d
  Mikaël Mayer authored 9 years ago
  d1d1114d
Dec 10, 2015
- Fixing stuff up after rebase · 1f592cd4
  Nicolas Voirol authored 9 years ago
  
  1f592cd4
- Finished up call-by-name · d1aea476
  Nicolas Voirol authored 10 years ago
  
  d1aea476
- Partial implementation of call-by-name · 254a0b6d
  Nicolas Voirol authored 10 years ago
  
  254a0b6d
Dec 09, 2015
- Quick bug fixes: · 9841e536
  Mikaël Mayer authored 9 years ago
  9841e536
Dec 08, 2015
- Added support for LetDef with mutually recursive functions. · 7f17d218
  Mikaël Mayer authored 9 years ago
  
  7f17d218
Nov 25, 2015
- Use StreamEvaluator in repair · fd33cc09
  Manos Koukoutos authored 9 years ago
  fd33cc09
- Move ChooseCollector where it belongs · c3c8f9b6
  Manos Koukoutos authored 9 years ago
  
  c3c8f9b6
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
- Simplification of string programs. · ade4471f
  Mikaël Mayer authored 9 years ago
  
  ade4471f
Nov 18, 2015
- Introduce old notation for vars in postcondition · 0861d08c
  Regis Blanc authored 9 years ago
  
  0861d08c
- Try to use StreamEvaluator for repair · a74f22ea
  Manos Koukoutos authored 9 years ago
  
  a74f22ea
Nov 17, 2015
- Move ChooseCollector where it belongs · 890115a7
  Manos Koukoutos authored 9 years ago
  
  890115a7
Nov 12, 2015
- Added more comments for defining methods and classes. · 83a5844f
  Mikaël Mayer authored 9 years ago
  
  83a5844f
Nov 08, 2015
- Fixed a typo in the comment of induction · 798317b0
  Mikaël Mayer authored 9 years ago
  
  798317b0
Oct 22, 2015
- Added minimal string value · b19c478f
  Mikaël Mayer authored 9 years ago
  b19c478f
Oct 16, 2015
- Typos · 1cacc923
  Manos Koukoutos authored 9 years ago
  
  1cacc923
Oct 09, 2015
- FiniteMap is implemented with a Map · f997139f
  Manos Koukoutos authored 9 years ago
  
  f997139f
- Add paramIds to TypedFunDef, use it through the code · 900e027d
  Manos Koukoutos authored 9 years ago
  
  900e027d
- Boost FunDef.duplicate, get rid of FunDef.copyContentFrom · 05dbaeab
  Manos Koukoutos authored 9 years ago
  
  05dbaeab
Oct 08, 2015
- Add integration for simplestValue, and fix closure test · f727a8fa
  Manos Koukoutos authored 9 years ago
  
  f727a8fa
- Fix simplestValue · cf154f69
  Manos Koukoutos authored 9 years ago
  
  cf154f69
- Use precOrTrue in Tactic · f7f7ff1d
  Manos Koukoutos authored 9 years ago
  
  f7f7ff1d