Commits · c22e88a3b1ef4a8ecf98b89a7a64c3aaa16a6550 · LARA / inox · GitLab

Snippets Groups Projects

Apr 25, 2016
- Update to latest ScalaZ3 (with null model.eval checking) · c22e88a3
  Nicolas Voirol authored 9 years ago
  
  c22e88a3
- Absolute value function for int32 types (termination) · a1f66b16
  Nicolas Voirol authored 9 years ago
  
  a1f66b16
- Small fix to termination checker for NoGuarantee cases · ac73de87
  Nicolas Voirol authored 9 years ago
  
  ac73de87
- 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
- fix issue with nested functions updating mutable param · 2e61dedb
  Regis Blanc authored 9 years ago
  
  2e61dedb
- oups, should have been invalid · e7ee75d8
  Regis Blanc authored 9 years ago
  
  e7ee75d8
- regression test for new extern behaviour · 9dab815a
  Regis Blanc authored 9 years ago
  
  9dab815a
- println already defined somehow · e4771e82
  Regis Blanc authored 9 years ago
  
  e4771e82
- working guess number example · 1ef80783
  Regis Blanc authored 9 years ago
  
  1ef80783
- extern never extracts the body · 357dcbd5
  Regis Blanc authored 9 years ago
  
  357dcbd5
- while loops with distinguishable names · b2c422f5
  Regis Blanc authored 9 years ago
  
  b2c422f5
- Corrected 3 bugs in AbstractEvaluator.scala · c9e103e4
  Mikaël Mayer authored 9 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 9 years ago
  
  4c881d57
- Corrected type cardinality · f34fbd4f
  Mikaël Mayer authored 9 years ago
  
  f34fbd4f
- Added support for abstract evaluation of MatchExpr expressions. · ddf8d882
  Mikaël Mayer authored 9 years ago
  
  Updated the test suite
  ddf8d882
- Added ExprOps.explainTyping to explain the typing of an expression. · 8ea34c35
  Mikaël Mayer authored 9 years ago
  
  8ea34c35
- Added postFlatmap for all tree operations. · d79d849f
  Mikaël Mayer authored 9 years ago
  
  d79d849f
Apr 21, 2016
- olveMinChange for StringSolver (incremental) · 1c2cc1b1
  Mikaël Mayer authored 9 years ago
  
  1c2cc1b1
Apr 20, 2016
- Fix use of slf4j so that leon-web works. · 9c824b6c
  Mikaël Mayer authored 9 years ago
  
  9c824b6c
Apr 19, 2016
- Fixing extraction of lambda applications with zero arguments · 25a5d2c7
  ravi authored 9 years ago
  
  25a5d2c7
- Delete benchmark file · 4b5adb2d
  Manos Koukoutos authored 9 years ago
  
  4b5adb2d
Apr 18, 2016
- Corrected the display with respect to maps outputed in leon ( -> Some) · 95f6252c
  Mikaël Mayer authored 9 years ago
  
  95f6252c
- Added basic map to string support · 85a13c17
  Mikaël Mayer authored 9 years ago
  
  Corrected bug with unicode chars in the build.sbt
  85a13c17
Apr 16, 2016
- function closure does not capture let bindings · a462d05b
  Régis Blanc authored 9 years ago
  
  a462d05b
- Function closure makes sure that all ids updated · ecaa1978
  Régis Blanc authored 9 years ago
  
  ecaa1978
- function closure only capture required variables · dc159e1d
  Régis Blanc authored 9 years ago
  
  dc159e1d
- start some unit testing of function closure · a18fc92f
  Régis Blanc authored 9 years ago
  
  a18fc92f
- Some id freshening in paths · ae9ad591
  Nicolas Voirol authored 9 years ago
  
  ae9ad591
- Fix for first-class functions returning more functions · 916be314
  Nicolas Voirol authored 9 years ago
  
  916be314
- Small fix for required lambda in ensuring · ccdbaa76
  Nicolas Voirol authored 9 years ago
  
  ccdbaa76
- Added let bindings in leon paths · fd2e80df
  Nicolas Voirol authored 9 years ago
  
  fd2e80df
- unit test to make sure contract of Extractors is clear · 33a68e8b
  Régis Blanc authored 9 years ago
  
  33a68e8b
- update some outdated xlang testcases · fd2c6cec
  Régis Blanc authored 9 years ago
  
  fd2c6cec
Apr 15, 2016
- io library using implicit state · 643d6fb5
  Régis Blanc authored 9 years ago
  
  643d6fb5
- Random library isabelle.noBody · 99e43b6b
  Régis Blanc authored 9 years ago
  
  99e43b6b
- removing unit in tuples is not safe · fa1540e0
  Régis Blanc authored 9 years ago
  
  fa1540e0
- improve printing blocks · 49886da2
  Régis Blanc authored 9 years ago
  
  49886da2
- xlang cleanup phase · f46efe3f
  Régis Blanc authored 9 years ago
  
  f46efe3f