Commits · a0474680f6b64d3441199dfad90ff2124ee2b4f8 · LARA / inox · GitLab

Snippets Groups Projects

Oct 06, 2014
- Implement maps for CVC4, now that it supports constant arrays · a0474680
  Etienne Kneuss authored 10 years ago
  a0474680
Sep 26, 2014
- Use searchByFullName during CodeExtraction · 57235a80
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  57235a80
- Handle imports during MethodLifting/RestoreMethods · 7b57317a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  7b57317a
- Tests for Imports and DefOps · 356e8a3f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  356e8a3f
- Support for looking up Definitions · eeb0f673
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  eeb0f673
- Support for standalone objects · 1f5c5acd
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  1f5c5acd
- Print units in separate files · daeb0818
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  daeb0818
- Print full paths · 862b45fe
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  862b45fe
- Introduce imports and packages. Introduce DefOps · 35ebae82
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  35ebae82
- Systematic treatment of Identifier/Definition owners · b5be930e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  b5be930e
- Introduce compilation units · 99bc23a9
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  99bc23a9
- Add missing copyright notices · 99d6cfce
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  99d6cfce
- Update Eclipse instructions · eeef4f41
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  eeef4f41
- Remove no-warnings requirement from eval. test · 1bb96160
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  1bb96160
- Re-introduce secific CVC4 implementations, fix scala-smtlib · 1e7121a6
  Etienne Kneuss authored 10 years ago
  
  1e7121a6
Sep 18, 2014
- FiniteSets should hold Sets, otherwise {1,2} != {2,1} · 42999911
  Etienne Kneuss authored 10 years ago
  
  42999911
- Generate Sets as well · f32a1e50
  Etienne Kneuss authored 10 years ago
  
  f32a1e50
- Mute reporters, preventing spurious output while testing · 2134ee16
  Etienne Kneuss authored 10 years ago
  
  2134ee16
- Allow symbolic/partial evaluation of tests · 15c7f844
  Etienne Kneuss authored 10 years ago
  15c7f844
Sep 17, 2014
- Rework vcs output of SMT-Lib solvers · c1bf0cbe
  Etienne Kneuss authored 10 years ago
  
  c1bf0cbe
- Fix support with new SMT-Lib API (base + Z3) · 62ed1089
  Etienne Kneuss authored 10 years ago
  
  62ed1089
Sep 16, 2014
- Use most recent version of scala smt-lib · cfa1325d
  Regis Blanc authored 10 years ago
  cfa1325d
- Implement and test everything for smt-z3 · 71d27ef2
  Etienne Kneuss authored 10 years ago
  71d27ef2
- Unify and simplify function templates and unrolling banks · 0a67f203
  Etienne Kneuss authored 10 years ago
  0a67f203
- Support get-model for arrays in z3-smt · a451ad7b
  Etienne Kneuss authored 10 years ago
  
  a451ad7b
- Improve/Fix SMTLib solvers · 622d4d8b
  Etienne Kneuss authored 10 years ago
  622d4d8b
- Base implementation of an SMTLib printer/solver · e68a291a
  Régis Blanc authored 11 years ago
  
  e68a291a
- Rewrite tuples should fix types of errors · 0b3e4535
  Etienne Kneuss authored 10 years ago
  
  0b3e4535
- Tracing now includes values for binders/patterns in MatchExpr · 9183f16f
  Etienne Kneuss authored 10 years ago
  
  9183f16f
Sep 12, 2014
- Evaluate Pattern matching, matchToITE no longer necessary · d9a82908
  Etienne Kneuss authored 10 years ago
  d9a82908
Sep 10, 2014
- Make sure Tegis is not even proposed when no test exists · 8c7bccf8
  Etienne Kneuss authored 10 years ago
  
  8c7bccf8
Sep 04, 2014
- Add :: to List API · 49709d85
  Etienne Kneuss authored 10 years ago
  
  49709d85
Sep 03, 2014
- Update bonsai · 8c6cb382
  Etienne Kneuss authored 10 years ago
  
  8c6cb382
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da
Aug 28, 2014
- Improve timers collection, usage and display · 71a5144d
  Etienne Kneuss authored 11 years ago
  
  71a5144d
Aug 27, 2014
- Fix liftClosures to not introduce name-clashing functions at the toplevel · d96e56c2
  Etienne Kneuss authored 10 years ago
  
  d96e56c2
Aug 26, 2014
- Inform the reporter of the compilation progress · 490aa263
  Etienne Kneuss authored 10 years ago
  
  490aa263
- Fix issues with phantom variables showing up in synthesis. · 12154513
  Etienne Kneuss authored 10 years ago
  12154513
Aug 25, 2014
- Fix many issues related to web-interface · 08336814
  Etienne Kneuss authored 10 years ago
  
  08336814
Aug 21, 2014
- Scalac extractors cleanup · d96e9759
  Etienne Kneuss authored 10 years ago
  
  d96e9759