Commits · 3dfd69beb9e60b8add7d728f5ac3466eaff5f4dd · LARA / inox · GitLab

Snippets Groups Projects

May 01, 2016
- Fixed abstract evaluator & updated ScalaZ3 jar · 3dfd69be
  Nicolas Voirol authored 9 years ago
  
  3dfd69be
- Reduced the AbstractEvaluator's overhead by simplifying some expressions in the pattern matching. · d6837f0b
  Mikaël Mayer authored 9 years ago
  
  d6837f0b
- Fixed bug missing AsInstanceOf during AbstractEvaluator. · 6876a0df
  Mikaël Mayer authored 9 years ago
  
  6876a0df
- fix issue with nested functions updating mutable param · 2db018ed
  Regis Blanc authored 9 years ago
  
  2db018ed
- oups, should have been invalid · 9b3b6b39
  Regis Blanc authored 9 years ago
  
  9b3b6b39
- regression test for new extern behaviour · ac55292e
  Regis Blanc authored 9 years ago
  
  ac55292e
- println already defined somehow · 2454d614
  Regis Blanc authored 9 years ago
  
  2454d614
- working guess number example · 4c7edb7e
  Regis Blanc authored 9 years ago
  
  4c7edb7e
- extern never extracts the body · a5b1437b
  Regis Blanc authored 9 years ago
  
  a5b1437b
- while loops with distinguishable names · e301e6fa
  Regis Blanc authored 9 years ago
  
  e301e6fa
- Corrected 3 bugs in AbstractEvaluator.scala · 508c8049
  Mikaël Mayer authored 9 years ago
  508c8049
- interactive leon program · 4039f20e
  Regis Blanc authored 9 years ago
  
  4039f20e
- Corrected type cardinality · 51a4db48
  Mikaël Mayer authored 9 years ago
  
  51a4db48
- Added support for abstract evaluation of MatchExpr expressions. · 2a9d3d7a
  Mikaël Mayer authored 9 years ago
  2a9d3d7a
- Added ExprOps.explainTyping to explain the typing of an expression. · e00949f0
  Mikaël Mayer authored 9 years ago
  
  e00949f0
- Added postFlatmap for all tree operations. · a2280006
  Mikaël Mayer authored 9 years ago
  
  a2280006
- olveMinChange for StringSolver (incremental) · 08a4c48c
  Mikaël Mayer authored 9 years ago
  
  08a4c48c
- Factorized env function. · 605a8155
  Mikaël Mayer authored 9 years ago
  
  605a8155
- Removed the recursive evaluation of a value in the model. · 99eae9fa
  Mikaël Mayer authored 9 years ago
  99eae9fa
- Fix use of slf4j so that leon-web works. · 6f2e2d5a
  Mikaël Mayer authored 9 years ago
  
  6f2e2d5a
- Fixing extraction of lambda applications with zero arguments · 154b75fc
  ravi authored 9 years ago
  
  154b75fc
- Delete benchmark file · 820fa577
  Manos Koukoutos authored 9 years ago
  
  820fa577
- Corrected the display with respect to maps outputed in leon ( -> Some) · 2113abb6
  Mikaël Mayer authored 9 years ago
  
  2113abb6
- Added basic map to string support · 958a90a8
  Mikaël Mayer authored 9 years ago
  958a90a8
- function closure does not capture let bindings · 9d7510a8
  Régis Blanc authored 9 years ago
  
  9d7510a8
- Function closure makes sure that all ids updated · 62c98020
  Régis Blanc authored 9 years ago
  
  62c98020
- function closure only capture required variables · adfae020
  Régis Blanc authored 9 years ago
  
  adfae020
- start some unit testing of function closure · b5a73c6a
  Régis Blanc authored 9 years ago
  
  b5a73c6a
- Some id freshening in paths · 9a247d1d
  Nicolas Voirol authored 9 years ago
  
  9a247d1d
- Fix for first-class functions returning more functions · 6baae31c
  Nicolas Voirol authored 9 years ago
  
  6baae31c
- Small fix for required lambda in ensuring · a0660319
  Nicolas Voirol authored 9 years ago
  
  a0660319
- Added let bindings in leon paths · 86649c4b
  Nicolas Voirol authored 9 years ago
  
  86649c4b
- unit test to make sure contract of Extractors is clear · 79ed80e9
  Régis Blanc authored 9 years ago
  
  79ed80e9
- update some outdated xlang testcases · b584855c
  Régis Blanc authored 9 years ago
  
  b584855c
- io library using implicit state · b3868c82
  Régis Blanc authored 9 years ago
  
  b3868c82
- Random library isabelle.noBody · ff6111c1
  Régis Blanc authored 9 years ago
  
  ff6111c1
- removing unit in tuples is not safe · 67a61916
  Régis Blanc authored 9 years ago
  
  67a61916
- improve printing blocks · dd5e6f79
  Régis Blanc authored 9 years ago
  
  dd5e6f79
- xlang cleanup phase · 5f633bdb
  Régis Blanc authored 9 years ago
  
  5f633bdb
- epsilon functions generated with proper flags · 61f3a48b
  Régis Blanc authored 9 years ago
  
  61f3a48b