Commits · ee62f1909f37f42f186d073d1aa7e227161f7afa · LARA / inox · GitLab

Snippets Groups Projects

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
Mar 30, 2016
- Termination regression more reliable with smtlib solvers · fe8e1a11
  Nicolas Voirol authored 9 years ago
  
  fe8e1a11
Mar 28, 2016
- ADT Invariants in program transformations · e6f9e4b4
  Nicolas Voirol authored 9 years ago
  
  e6f9e4b4
- 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 23, 2016
- Repaired the abstract evaluator concerning Let expressions. · 30a45685
  Mikaël Mayer authored 9 years ago
  30a45685
- Adding a regression test suite for lazy evaluation · 3da15e71
  ravi authored 9 years ago
  
  3da15e71
Mar 22, 2016
- Refactor grammars, introduce Labels, and Label Aspects · 324a83d6
  Etienne Kneuss authored 9 years ago
  324a83d6
Mar 20, 2016
- update to libisabelle 0.3 · f3db3bd3
  Lars Hupel authored 9 years ago
  f3db3bd3
Mar 17, 2016
- Rerwiting of integer/comparison rules. Cleaning up. · f37f0bd4
  Manos Koukoutos authored 9 years ago
  f37f0bd4
- Take precondition of function into account when simplifying Solution · 5a367480
  Manos Koukoutos authored 9 years ago
  
  5a367480
- FrontendsSuite didn't run on xlang · 4d0b595c
  Manos Koukoutos authored 9 years ago
  
  4d0b595c
- Pipeline.when optionally applies a pipeline · 4d88b0c9
  Manos Koukoutos authored 9 years ago
  
  4d88b0c9
- SearchContext should not hold duplicate information · 8f737a51
  Manos Koukoutos authored 9 years ago
  
  8f737a51
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- SharedOptions -> GlobalOptions · c8eb81d6
  Manos Koukoutos authored 9 years ago
  
  c8eb81d6
- Refactor the various contexts · b0433069
  Manos Koukoutos authored 9 years ago
  
  b0433069
- New And/Or Search Strategies · 2ec7235e
  Etienne Kneuss authored 9 years ago
  
  2ec7235e
Mar 08, 2016
- Fixing a broken orb unit test that failed the build. · 46eb6df7
  ravi authored 9 years ago
  
  46eb6df7
Mar 05, 2016
- (a) Unflattenning VCs while checking · dadec609
  ravi authored 9 years ago
  dadec609
Feb 28, 2016
- Cleaned up quantifiers and removed weird testcase · 7c7dcdc3
  Nicolas Voirol authored 9 years ago
  
  7c7dcdc3
- Added warning for potentially unsound models with quantifiers · 40c66063
  Nicolas Voirol authored 9 years ago
  
  40c66063
Feb 24, 2016
- If a program did not have strings and assertions are made with strings, the... · 47ec4515
  Mikaël Mayer authored 9 years ago
  47ec4515
Feb 15, 2016
- Finished up satisfiability with quantifiers · d359ba78
  Nicolas Voirol authored 9 years ago
  
  d359ba78
- Ignored troublesome test (fairz3 ignoring timeout) · 01b3ade6
  Nicolas Voirol authored 9 years ago
  
  01b3ade6
- Partial fix for extern evaluation in CodeGen · 58343a96
  Nicolas Voirol authored 9 years ago
  
  58343a96
- Finishing up optimized quantification · 1ae235ce
  Nicolas Voirol authored 9 years ago
  
  1ae235ce
Feb 12, 2016
- Added forced conversions when constraints use strings but the program does not. · 5e845837
  Mikaël Mayer authored 9 years ago
  5e845837
Feb 10, 2016
- Corrected the usage of solvers to avoid not freed exceptions. · b8ec33b4
  Mikaël Mayer authored 9 years ago
  b8ec33b4
- Refactoing temp vars, and reading vc solvers to use from command line · d7bf13f3
  ravi authored 9 years ago
  
  d7bf13f3
- Fixed the test suite (specific import of TypeOps) · 07c0e92c
  Mikaël Mayer authored 9 years ago
  
  07c0e92c
Feb 09, 2016
- Fix Test · a7139720
  Manos Koukoutos authored 9 years ago
  
  a7139720
- tests display more information on failure · d773400b
  Regis Blanc authored 9 years ago
  
  d773400b
- frontend xlang tests moved to their own package · 6226db69
  Regis Blanc authored 9 years ago
  
  6226db69
- new test suite for detecting aliasing problems · 69b8aa70
  Regis Blanc authored 9 years ago
  
  69b8aa70
- improve mapping with context · 6dad0efb
  Regis Blanc authored 9 years ago
  
  6dad0efb
- pre map with context helper · 0792563c
  Regis Blanc authored 9 years ago
  
  0792563c
Feb 02, 2016
- Added test case about isomorphism of values which should trigger equality. · 0dcebb86
  Mikaël Mayer authored 9 years ago
  
  0dcebb86