Commits · d66b813acd1ef5776db8b2e3f446c26c04a351b4 · LARA / inox · GitLab

Snippets Groups Projects

May 01, 2016
- Latest scalaz3 again · d66b813a
  Nicolas Voirol authored 8 years ago
  
  d66b813a
- More structural size termination · bb580e51
  Nicolas Voirol authored 8 years ago
  
  bb580e51
- Small fix to termination checker for int32 termination · b293a63b
  Nicolas Voirol authored 8 years ago
  
  b293a63b
- Update to latest ScalaZ3 (with null model.eval checking) · 602569b4
  Nicolas Voirol authored 8 years ago
  
  602569b4
- Absolute value function for int32 types (termination) · bbbc470b
  Nicolas Voirol authored 8 years ago
  
  bbbc470b
- Small fix to termination checker for NoGuarantee cases · 064fa2a0
  Nicolas Voirol authored 8 years ago
  
  064fa2a0
- Fixed abstract evaluator & updated ScalaZ3 jar · 3dfd69be
  Nicolas Voirol authored 8 years ago
  
  3dfd69be
- Reduced the AbstractEvaluator's overhead by simplifying some expressions in the pattern matching. · d6837f0b
  Mikaël Mayer authored 8 years ago
  
  d6837f0b
- Fixed bug missing AsInstanceOf during AbstractEvaluator. · 6876a0df
  Mikaël Mayer authored 8 years ago
  
  6876a0df
- fix issue with nested functions updating mutable param · 2db018ed
  Regis Blanc authored 8 years ago
  
  2db018ed
- oups, should have been invalid · 9b3b6b39
  Regis Blanc authored 8 years ago
  
  9b3b6b39
- regression test for new extern behaviour · ac55292e
  Regis Blanc authored 8 years ago
  
  ac55292e
- println already defined somehow · 2454d614
  Regis Blanc authored 8 years ago
  
  2454d614
- working guess number example · 4c7edb7e
  Regis Blanc authored 8 years ago
  
  4c7edb7e
- extern never extracts the body · a5b1437b
  Regis Blanc authored 8 years ago
  
  a5b1437b
- while loops with distinguishable names · e301e6fa
  Regis Blanc authored 8 years ago
  
  e301e6fa
- Corrected 3 bugs in AbstractEvaluator.scala · 508c8049
  Mikaël Mayer authored 8 years ago
  
  * FunctionInvocation now considers abstract parameters * Applications on lambdas are now handled * Pattern matching now considers abstract parameters
  508c8049
- interactive leon program · 4039f20e
  Regis Blanc authored 8 years ago
  
  4039f20e
- Corrected type cardinality · 51a4db48
  Mikaël Mayer authored 8 years ago
  
  51a4db48
- Added support for abstract evaluation of MatchExpr expressions. · 2a9d3d7a
  Mikaël Mayer authored 8 years ago
  
  Updated the test suite
  2a9d3d7a
- Added ExprOps.explainTyping to explain the typing of an expression. · e00949f0
  Mikaël Mayer authored 8 years ago
  
  e00949f0
- Added postFlatmap for all tree operations. · a2280006
  Mikaël Mayer authored 8 years ago
  
  a2280006
- olveMinChange for StringSolver (incremental) · 08a4c48c
  Mikaël Mayer authored 8 years ago
  
  08a4c48c
- Factorized env function. · 605a8155
  Mikaël Mayer authored 8 years ago
  
  605a8155
- Removed the recursive evaluation of a value in the model. · 99eae9fa
  Mikaël Mayer authored 8 years ago
  
  Added the evaluation of the environment prior to evaluation of expression in test cases.
  99eae9fa
- Fix use of slf4j so that leon-web works. · 6f2e2d5a
  Mikaël Mayer authored 8 years ago
  
  6f2e2d5a
- Fixing extraction of lambda applications with zero arguments · 154b75fc
  ravi authored 8 years ago
  
  154b75fc
- Delete benchmark file · 820fa577
  Manos Koukoutos authored 8 years ago
  
  820fa577
- Corrected the display with respect to maps outputed in leon ( -> Some) · 2113abb6
  Mikaël Mayer authored 8 years ago
  
  2113abb6
- Added basic map to string support · 958a90a8
  Mikaël Mayer authored 8 years ago
  
  Corrected bug with unicode chars in the build.sbt
  958a90a8
- function closure does not capture let bindings · 9d7510a8
  Régis Blanc authored 8 years ago
  
  9d7510a8
- Function closure makes sure that all ids updated · 62c98020
  Régis Blanc authored 8 years ago
  
  62c98020
- function closure only capture required variables · adfae020
  Régis Blanc authored 8 years ago
  
  adfae020
- start some unit testing of function closure · b5a73c6a
  Régis Blanc authored 8 years ago
  
  b5a73c6a
- Some id freshening in paths · 9a247d1d
  Nicolas Voirol authored 8 years ago
  
  9a247d1d
- Fix for first-class functions returning more functions · 6baae31c
  Nicolas Voirol authored 8 years ago
  
  6baae31c
- Small fix for required lambda in ensuring · a0660319
  Nicolas Voirol authored 8 years ago
  
  a0660319
- Added let bindings in leon paths · 86649c4b
  Nicolas Voirol authored 8 years ago
  
  86649c4b
- unit test to make sure contract of Extractors is clear · 79ed80e9
  Régis Blanc authored 8 years ago
  
  79ed80e9
- update some outdated xlang testcases · b584855c
  Régis Blanc authored 8 years ago
  
  b584855c