Commits · ff702c619112af3cd2a89b3cde96ec5ad1f9d8c2 · LARA / inox · GitLab

Snippets Groups Projects

Apr 06, 2016
- Ignore even more, add timeouts to VerificationSuite · ff702c61
  Manos Koukoutos authored 9 years ago
  
  ff702c61
Apr 05, 2016
- Depend on version of scala-smtlib with force-destroy · ee62f190
  Manos Koukoutos authored 9 years ago
  
  ee62f190
- BooleanToOption. Ignore failing tests · 9d107f9c
  Manos Koukoutos authored 9 years ago
  
  9d107f9c
- Fix bad integration test · 3c6aa2dd
  Manos Koukoutos authored 9 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 9 years ago
  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
  9e6f8d7a
- Merge pull request #191 from larsrh/topic/isabelle-2016 · 805bd8ed
  Manos Koukoutos authored 9 years ago
  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
  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
  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
  26ea3d4c
- Repaired the abstract evaluator concerning Let expressions. · 30a45685
  Mikaël Mayer authored 9 years ago
  30a45685
- print verification report after Isabelle phase · ae03f384
  Lars Hupel authored 9 years ago
  ae03f384
- Adding a regression test suite for lazy evaluation · 3da15e71
  ravi authored 9 years ago
  
  3da15e71
- Reverted bad part of commit ef8fad41 · 62be822d
  Mikaël Mayer authored 9 years ago
  
  62be822d
Mar 22, 2016
- Merge branch 'master' of https://github.com/epfl-lara/leon into orb · 02708a26
  Ravi authored 9 years ago
  
  02708a26
- (a) Adding support for running lazy and memoized programs · 0a3340d2
  ravi authored 9 years ago
  0a3340d2
- ExamplesAdder.scala now simplifies the postcondition before adding examples to it. · e69edd4d
  Mikaël Mayer authored 9 years ago
  
  e69edd4d
- Refactor grammars, introduce Labels, and Label Aspects · 324a83d6
  Etienne Kneuss authored 9 years ago
  324a83d6
Mar 21, 2016
- generic prefold with context · 7d4bcf69
  Regis Blanc authored 9 years ago
  
  7d4bcf69
Mar 20, 2016
- update documentation · 08004aa3
  Lars Hupel authored 9 years ago
  
  08004aa3