Commits · 68dbe841ceed19a7cf3694632d17d8d76b58802d · LARA / inox · GitLab

Snippets Groups Projects

Apr 09, 2016
- additional tests for Bijection Suite · 68dbe841
  Régis Blanc authored 9 years ago
  
  68dbe841
- test and fix Bijection · 0994ddb6
  Régis Blanc authored 9 years ago
  
  0994ddb6
Apr 08, 2016
- Removed well-typed assertion to allow step-wise transformations · 5d0675a8
  Nicolas Voirol authored 9 years ago
  
  5d0675a8
- Small fix to DefinitionTransformer · c4591198
  Nicolas Voirol authored 9 years ago
  
  c4591198
- Fixed dependency finder · 8569a96a
  Nicolas Voirol authored 9 years ago
  
  8569a96a
- Merge pull request #194 from samarion/bags · b1d9e2e8
  Nicolas Voirol authored 9 years ago
  
  Bags (aka multisets)
  b1d9e2e8
- Ignore mergeSort for termination · c02580e9
  Nicolas Voirol authored 9 years ago
  
  c02580e9
- Terminating test with nested functions · bcdc2381
  Nicolas Voirol authored 9 years ago
  
  bcdc2381
Apr 07, 2016
- handle higher order functions as fields · f1df3925
  Régis Blanc authored 9 years ago
  
  f1df3925
- Fixed evaluators and data-gen for bags · 3414e4f4
  Nicolas Voirol authored 9 years ago
  
  3414e4f4
- Finished up Bags in leon · 0db9dc5b
  Nicolas Voirol authored 9 years ago
  
  0db9dc5b
- Bags in Leon · 29f8400c
  Nicolas Voirol authored 9 years ago
  
  29f8400c
- Leon targets latest smtlib · 843ce3f1
  Nicolas Voirol authored 9 years ago
  
  843ce3f1
- introduce a global state for true non-determinism · da6f47b3
  Régis Blanc authored 9 years ago
  
  da6f47b3
Apr 06, 2016
- fix excessive renaming in xlang · c85e1da2
  Régis Blanc authored 9 years ago
  
  c85e1da2
- shift a list using map with state · 7a27d85a
  Regis Blanc authored 9 years ago
  
  7a27d85a
- fix recursive function and higher order param · e6e3dab1
  Regis Blanc authored 9 years ago
  
  e6e3dab1
- testing higher order function with mutable parameters · 50edd0cb
  Regis Blanc authored 9 years ago
  
  50edd0cb
- anti-aliasing handling of higher-order functions · 33d8bd6e
  Regis Blanc authored 9 years ago
  
  33d8bd6e
- xlang does not lift code outside of lambdas · c6ec9578
  Regis Blanc authored 9 years ago
  
  c6ec9578
- Write names correctly · cbfa87da
  Manos Koukoutos authored 9 years ago
  
  cbfa87da
- 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
  
  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