Commits · 6d108adb356845c74e20eecfa3a80a18f89eb80f · LARA / inox · GitLab

Snippets Groups Projects

Apr 15, 2015
- Fix test for Church.Squared · 6d108adb
  Etienne Kneuss authored 10 years ago
  
  6d108adb
- Add tests for extraction of implicit defs · dcd628dd
  Etienne Kneuss authored 10 years ago
  
  dcd628dd
- Every Synthesis benchmark in leon-web is now a regression test · 13959168
  Etienne Kneuss authored 10 years ago
  
  13959168
Apr 02, 2015
- Extract ensuring(expr: Boolean) as ensuring(res => expr) · e0482187
  Etienne Kneuss authored 10 years ago
  
  e0482187
Mar 26, 2015
- Move Option to leon.collection · 8f4352d4
  Manos Koukoutos authored 10 years ago
  
  8f4352d4
Mar 18, 2015
- Tests main object with the same name as the file to prevent clashes · b828ed70
  Etienne Kneuss authored 10 years ago
  
  b828ed70
- Fix for lambda evaluation · ba72318d
  Nicolas Voirol authored 10 years ago
  
  ba72318d
- A few tests for higher-order regression · 00d71bb8
  Nicolas Voirol authored 10 years ago
  
  00d71bb8
- Move tests to correct directory · f8893d61
  Manos Koukoutos authored 10 years ago
  
  f8893d61
- Default parameters for functions · 8af3310b
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  8af3310b
- Move tests failing the frontend to FrontEndTests · 463b47e1
  Manos Koukoutos authored 10 years ago
  
  463b47e1
- The the main object in each test should match the file name · 4fbe3438
  Manos Koukoutos authored 10 years ago
  
  4fbe3438
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
Mar 03, 2015
- xlang does not eliminate side effect in blocks · 563fcbfc
  Regis Blanc authored 10 years ago
  563fcbfc
- no-xlang checking phase · 15f66010
  Regis Blanc authored 10 years ago
  
  15f66010
Feb 28, 2015
- that benchmark was checking for not equals bug · 31db59f9
  Régis Blanc authored 10 years ago
  
  31db59f9
Feb 27, 2015
- Gives more memory to travis to run tests · a4df62f9
  Regis Blanc authored 10 years ago
  
  a4df62f9
Feb 25, 2015
- fix rational test · 491d59c1
  Regis Blanc authored 10 years ago
  
  491d59c1
Feb 24, 2015
- Eliminate MutableTyped from Expr's. Improve how respective Expr's are handled. · 83e59c6f
  Manos Koukoutos authored 10 years ago
  83e59c6f
- front-end only accepts != with comparable types · e7ad02a5
  Regis Blanc authored 10 years ago
  
  e7ad02a5
Feb 21, 2015
- list operations testcase is back · 47b97071
  Régis Blanc authored 10 years ago
  
  47b97071
Feb 20, 2015
- cleaner BigInt extractor front-end · c2179e13
  Regis Blanc authored 10 years ago
  
  c2179e13
- fix bug while reading int literal from z3 models · 2fe24a49
  Regis Blanc authored 10 years ago
  
  2fe24a49
Feb 17, 2015
- add support for bits operations · 4481325f
  Regis Blanc authored 10 years ago
  4481325f
- parsing bit vector constants from cvc4 · aa5eb2bb
  Regis Blanc authored 10 years ago
  
  aa5eb2bb
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Feb 16, 2015
- Repair regression tests · 817dd103
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  817dd103
Feb 13, 2015
- Refactor FiniteArray to an implicit representation · 373c4aba
  Regis Blanc authored 10 years ago
  373c4aba
Feb 12, 2015
- A forgotten test for example parsing · 22eeddd7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  22eeddd7
- Rename Passes to Gives, and further integration · 36f966cc
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  36f966cc
- Remove deprecated trees · 6471d87e
  Etienne Kneuss authored 10 years ago
  
  6471d87e
- Don't eliminate pattern matching if scrutinee:AbstractClassType · 23469e1e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  23469e1e
- Deprecate patternMatchReconstruction, minimize use of matchToIfThenElse · 0727d73a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0727d73a
- SimplifierWithPaths handles MatchExpr. Utility functions. · 74e0bde2
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  74e0bde2
- More fixes for lambda equality, got flatMap working!! · e4ba4537
  Nicolas Voirol authored 10 years ago
  e4ba4537
- 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
- Extended termination to HO functions · f76dd21d
  Nicolas Voirol authored 10 years ago
  
  f76dd21d
- 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