Commits · 843ce3f16121f9e1c2901cc29964e94b2645c736 · LARA / inox

Apr 07, 2016
- Leon targets latest smtlib · 843ce3f1
  Nicolas Voirol authored 8 years ago
  
  843ce3f1
- introduce a global state for true non-determinism · da6f47b3
  Régis Blanc authored 8 years ago
  
  da6f47b3
Apr 06, 2016
- fix excessive renaming in xlang · c85e1da2
  Régis Blanc authored 8 years ago
  
  c85e1da2
- shift a list using map with state · 7a27d85a
  Regis Blanc authored 8 years ago
  
  7a27d85a
- fix recursive function and higher order param · e6e3dab1
  Regis Blanc authored 8 years ago
  
  e6e3dab1
- testing higher order function with mutable parameters · 50edd0cb
  Regis Blanc authored 8 years ago
  
  50edd0cb
- anti-aliasing handling of higher-order functions · 33d8bd6e
  Regis Blanc authored 8 years ago
  
  33d8bd6e
- xlang does not lift code outside of lambdas · c6ec9578
  Regis Blanc authored 8 years ago
  
  c6ec9578
- Write names correctly · cbfa87da
  Manos Koukoutos authored 8 years ago
  
  cbfa87da
- Ignore even more, add timeouts to VerificationSuite · ff702c61
  Manos Koukoutos authored 8 years ago
  
  ff702c61
Apr 05, 2016
- Depend on version of scala-smtlib with force-destroy · ee62f190
  Manos Koukoutos authored 8 years ago
  
  ee62f190
- BooleanToOption. Ignore failing tests · 9d107f9c
  Manos Koukoutos authored 8 years ago
  
  9d107f9c
- Fix bad integration test · 3c6aa2dd
  Manos Koukoutos authored 8 years ago
  
  3c6aa2dd
Apr 04, 2016
- Primitive support for aliasing in pattern matching · c07e0c96
  Regis Blanc authored 9 years ago
  
  c07e0c96
- Merge pull request #193 from larsrh/topic/dump · 44a031bb
  Manos Koukoutos authored 8 years ago
  
  Merged, thanks
  44a031bb
Apr 01, 2016
- Fix codegen to use unique names for lambdas · 3943ee91
  Manos Koukoutos authored 9 years ago
  
  3943ee91
- Unique names are really unique · 50893861
  Manos Koukoutos authored 9 years ago
  
  50893861
- Merge pull request #192 from larsrh/topic/logger · 9e6f8d7a
  Manos Koukoutos authored 9 years ago
  
  Leon/slf4j log bridge
  9e6f8d7a
- Merge pull request #191 from larsrh/topic/isabelle-2016 · 805bd8ed
  Manos Koukoutos authored 9 years ago
  
  update to Isabelle2016
  805bd8ed
Mar 31, 2016
- print types for function definitions in theory dump · 0416bd8d
  Lars Hupel authored 9 years ago
  
  0416bd8d
Mar 30, 2016
- Termination regression more reliable with smtlib solvers · fe8e1a11
  Nicolas Voirol authored 9 years ago
  
  fe8e1a11
- Fix for ADT invariant extraction and new testcase · 80de0174
  Nicolas Voirol authored 9 years ago
  
  80de0174
Mar 28, 2016
- Merge pull request #186 from samarion/invariant-tracking · 6a517bc3
  Nicolas Voirol authored 9 years ago
  
  Quantifier improvements + invariant preservation in program transforms
  6a517bc3
- Termination checker fixes for new DefOps and theory encoders · 6572e277
  Nicolas Voirol authored 9 years ago
  
  6572e277
- Replace defs for special cases · 0bcb1fe8
  Nicolas Voirol authored 9 years ago
  
  0bcb1fe8
- ADT Invariants in program transformations · e6f9e4b4
  Nicolas Voirol authored 9 years ago
  
  e6f9e4b4
- Fix for rebase · 951e0f63
  Nicolas Voirol authored 9 years ago
  
  951e0f63
- Fixed evaluation of ADT function fields in model extraction · e2f4b0a5
  Nicolas Voirol authored 9 years ago
  
  e2f4b0a5
- Better directed unrolling in the presence of quantifiers · aae7c8b1
  Nicolas Voirol authored 9 years ago
  
  aae7c8b1
- Added generic TheoryEncoders to Leon · 056f09f9
  Nicolas Voirol authored 9 years ago
  
  056f09f9
- Quantifier improvements + invariant preservation in program transforms · e0734347
  Nicolas Voirol authored 9 years ago
  
  e0734347
Mar 27, 2016
- Leon/slf4j log bridge · 8ee11c23
  Lars Hupel authored 9 years ago
  
  8ee11c23
- update Scala version to 2.11.8 · 0d94371b
  Lars Hupel authored 9 years ago
  
  0d94371b
Mar 24, 2016
- Merge pull request #189 from larsrh/topic/libisabelle-0.3 · 3e735243
  Manos Koukoutos authored 9 years ago
  
  update to libisabelle 0.3
  3e735243
- update to Isabelle2016 · f4254821
  Lars Hupel authored 9 years ago
  
  f4254821
- remove unused ML file · fef6c3fa
  Lars Hupel authored 9 years ago
  
  fef6c3fa
- Adding a progress call-back to lazy resource verification · f8885bbd
  ravi authored 9 years ago
  
  f8885bbd
- Minor refactorings in lazy evaluation for leon-web integration · d4028d9a
  ravi authored 9 years ago
  
  d4028d9a
Mar 23, 2016
- Merge pull request #190 from larsrh/topic/print · 26ea3d4c
  Manos Koukoutos authored 9 years ago
  
  print verification report after Isabelle phase
  26ea3d4c
- Repaired the abstract evaluator concerning Let expressions. · 30a45685
  Mikaël Mayer authored 9 years ago
  
  Added integration/evaluators/AbstractEvaluatorSuite.scala
  30a45685