Commits · 7adb1280d5a32d7ec5751fdb4ec6a41f008ee07d · LARA / inox · GitLab

Snippets Groups Projects

Apr 28, 2016
- Evaluates lambda applications by default. · 7adb1280
  Mikaël Mayer authored 9 years ago
  
  7adb1280
Apr 25, 2016
- Fixed abstract evaluator & updated ScalaZ3 jar · 8f06185c
  Nicolas Voirol authored 9 years ago
  
  8f06185c
- Reduced the AbstractEvaluator's overhead by simplifying some expressions in the pattern matching. · c26f5420
  Mikaël Mayer authored 9 years ago
  
  c26f5420
- Fixed bug missing AsInstanceOf during AbstractEvaluator. · a8a1e695
  Mikaël Mayer authored 9 years ago
  
  a8a1e695
Apr 22, 2016
- Corrected 3 bugs in AbstractEvaluator.scala · c9e103e4
  Mikaël Mayer authored 9 years ago
  c9e103e4
- Added support for abstract evaluation of MatchExpr expressions. · ddf8d882
  Mikaël Mayer authored 9 years ago
  ddf8d882
Apr 21, 2016
- Removed the recursive evaluation of a value in the model. · edb9edb2
  Mikaël Mayer authored 9 years ago
  edb9edb2
Mar 23, 2016
- Repaired the abstract evaluator concerning Let expressions. · 30a45685
  Mikaël Mayer authored 9 years ago
  30a45685
Mar 08, 2016
- Examples can now call external methods, · 8bbb1fc1
  Mikaël Mayer authored 9 years ago
  8bbb1fc1
Mar 02, 2016
- Self pretty printer handles correctly functions containing choose (good for... · 7a71be98
  Mikaël Mayer authored 9 years ago
  7a71be98
Feb 02, 2016
- The concrete evaluator of the abstract evaluator should fail on choose functions. · 9a4cd91a
  Mikaël Mayer authored 9 years ago
  
  9a4cd91a
Jan 26, 2016
- Added passing Abstract test to render a double list of dummies to string. · 634d9478
  Mikaël Mayer authored 9 years ago
  634d9478
Jan 25, 2016
- Abstract interpretation not failing if the function is not defined. · bfc1abff
  Mikaël Mayer authored 9 years ago
  bfc1abff
Jan 20, 2016
- Corrected abstract evaluator to partially evaluate the scrutinee. · ce61a86d
  Mikaël Mayer authored 9 years ago
  ce61a86d
Jan 19, 2016
- Renaming StringTracingEvaluator.scala to AbstractEvaluator.scala · 7c78e6a5
  Mikaël Mayer authored 9 years ago
  7c78e6a5
- Simplified StringTracingEvaluator.scala, · d1d1114d
  Mikaël Mayer authored 9 years ago
  d1d1114d
Jan 15, 2016
- Leon can handle abstract examples if the flag `keepAbstractExamples` is set to... · 7c9386d5
  Mikaël Mayer authored 9 years ago
  7c9386d5
Jan 08, 2016
- Moved ProgramSets to sub-package · 10ae6952
  Mikaël Mayer authored 9 years ago
  10ae6952
Jan 06, 2016
- Added string escape · dcc22b09
  Mikaël Mayer authored 9 years ago
  
  dcc22b09
Nov 25, 2015
- Removed useless debug statement. · a3dad6e4
  Mikaël Mayer authored 9 years ago
  
  a3dad6e4
Nov 23, 2015
- Fixed many bugs in the evaluator. · d9b937d6
  Mikaël Mayer authored 9 years ago
  d9b937d6
- First working version of string synthesis, works on simple data types. · fc58e80a
  Mikaël Mayer authored 9 years ago
  
  fc58e80a
Nov 20, 2015
- Added a function which creates a set of mutually recursive function templates which return strings. · 82107bab
  Mikaël Mayer authored 9 years ago
  
  82107bab
- String Tracing evaluator (invomplete!) · 79eb9ef7
  Manos Koukoutos authored 9 years ago
  
  79eb9ef7