Commits · 73adf22d9103672406f5bbb30a09f210dd5cee2d · LARA / inox

Apr 28, 2016
- Updated scalaz3-unix to latest · 73adf22d
  Nicolas Voirol authored 8 years ago
  
  73adf22d
- Documentation for path and evaluator · 05592e92
  Nicolas Voirol authored 8 years ago
  
  05592e92
- synchronized evaluator invariant cache & small fix in codegen · f4d79c32
  Nicolas Voirol authored 8 years ago
  
  f4d79c32
- Re-enabled AbstractEvaluator test and reset TerminationSuite to smt-z3 · 8108dd27
  Nicolas Voirol authored 8 years ago
  
  8108dd27
- 1. Broader equivalence classes for lambdas · 5463d3f1
  Nicolas Voirol authored 8 years ago
  
  2. Evaluation of invariants caches result for valid forall-invariant interactions
  5463d3f1
- Moved termination regression back to fairz3 · 92b3c508
  Nicolas Voirol authored 8 years ago
  
  92b3c508
- Increased the timeout for InputCoverage to pass all the tests. · 38802a2d
  Mikaël Mayer authored 8 years ago
  
  38802a2d
- Leon now works again on Windows. · 20113bdf
  Mikaël Mayer authored 8 years ago
  
  20113bdf
- Evaluates lambda applications by default. · 7adb1280
  Mikaël Mayer authored 8 years ago
  
  7adb1280
- Merge pull request #201 from MikaelMayer/varargs · 7b639dbb
  Mikaël Mayer authored 8 years ago
  
  Added varargs to methods in Leon + doc.
  7b639dbb
- Added varargs to methods in Leon + doc. · d2156dc4
  Mikaël Mayer authored 8 years ago
  
  d2156dc4
- Merge pull request #200 from MikaelMayer/clean-evaluator · 24e8423a
  Mikaël Mayer authored 8 years ago
  
  Clean evaluator - failing tests are only timeouts.
  24e8423a
Apr 27, 2016
- Now deterministic eval by default check if the model is ground, else evaluate it. · b3224928
  Mikaël Mayer authored 8 years ago
  
  b3224928
Apr 26, 2016
- Fixed the UnrollingSolver.scala evaluation. · a016c08f
  Mikaël Mayer authored 8 years ago
  
  a016c08f
- removed printlns · 7b47a7f4
  Mikaël Mayer authored 8 years ago
  
  7b47a7f4
- Corrected typo in Focus.scala · 2469461b
  Mikaël Mayer authored 8 years ago
  
  Corrected bug in isValue Corrected evaluation in Evaluator (partition already evaluated)
  2469461b
- Fixed the abstract evaluator suite. · ff1f3c96
  Mikaël Mayer authored 8 years ago
  
  ff1f3c96
Apr 25, 2016
- Temporarily disabled abstractevaluator test · 4be61ff7
  Nicolas Voirol authored 8 years ago
  
  4be61ff7
- Latest scalaz3 again · af645f67
  Nicolas Voirol authored 8 years ago
  
  af645f67
- More structural size termination · c28c677d
  Nicolas Voirol authored 8 years ago
  
  c28c677d
- Small fix to termination checker for int32 termination · 32a63fee
  Nicolas Voirol authored 8 years ago
  
  32a63fee
- Update to latest ScalaZ3 (with null model.eval checking) · c22e88a3
  Nicolas Voirol authored 8 years ago
  
  c22e88a3
- Absolute value function for int32 types (termination) · a1f66b16
  Nicolas Voirol authored 8 years ago
  
  a1f66b16
- Small fix to termination checker for NoGuarantee cases · ac73de87
  Nicolas Voirol authored 8 years ago
  
  ac73de87
- Fixed abstract evaluator & updated ScalaZ3 jar · 8f06185c
  Nicolas Voirol authored 8 years ago
  
  8f06185c
- Reduced the AbstractEvaluator's overhead by simplifying some expressions in the pattern matching. · c26f5420
  Mikaël Mayer authored 8 years ago
  
  c26f5420
- Fixed bug missing AsInstanceOf during AbstractEvaluator. · a8a1e695
  Mikaël Mayer authored 8 years ago
  
  a8a1e695
Apr 22, 2016
- fix issue with nested functions updating mutable param · 2e61dedb
  Regis Blanc authored 8 years ago
  
  2e61dedb
- oups, should have been invalid · e7ee75d8
  Regis Blanc authored 8 years ago
  
  e7ee75d8
- regression test for new extern behaviour · 9dab815a
  Regis Blanc authored 8 years ago
  
  9dab815a
- println already defined somehow · e4771e82
  Regis Blanc authored 8 years ago
  
  e4771e82
- working guess number example · 1ef80783
  Regis Blanc authored 8 years ago
  
  1ef80783
- extern never extracts the body · 357dcbd5
  Regis Blanc authored 8 years ago
  
  357dcbd5
- while loops with distinguishable names · b2c422f5
  Regis Blanc authored 8 years ago
  
  b2c422f5
- Corrected 3 bugs in AbstractEvaluator.scala · c9e103e4
  Mikaël Mayer authored 8 years ago
  
  * FunctionInvocation now considers abstract parameters * Applications on lambdas are now handled * Pattern matching now considers abstract parameters
  c9e103e4
- interactive leon program · 4c881d57
  Regis Blanc authored 8 years ago
  
  4c881d57
- Corrected type cardinality · f34fbd4f
  Mikaël Mayer authored 8 years ago
  
  f34fbd4f
- Added support for abstract evaluation of MatchExpr expressions. · ddf8d882
  Mikaël Mayer authored 8 years ago
  
  Updated the test suite
  ddf8d882
- Added ExprOps.explainTyping to explain the typing of an expression. · 8ea34c35
  Mikaël Mayer authored 8 years ago
  
  8ea34c35
- Added postFlatmap for all tree operations. · d79d849f
  Mikaël Mayer authored 8 years ago
  
  d79d849f