Commits · f96d8f43d62b3b86b43a214e6b9f6918f98702a7 · LARA / inox

Nov 02, 2014
- Make sure inner functions get lifted before verification · f96d8f43
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  f96d8f43
Oct 23, 2014
- Always include lib · 6b811a32
  Etienne Kneuss authored 10 years ago
  
  6b811a32
Sep 16, 2014
- Improve/Fix SMTLib solvers · 622d4d8b
  Etienne Kneuss authored 11 years ago
  622d4d8b
- Base implementation of an SMTLib printer/solver · e68a291a
  Régis Blanc authored 11 years ago
  
  e68a291a
Aug 28, 2014
- Improve timers collection, usage and display · 71a5144d
  Etienne Kneuss authored 11 years ago
  
  71a5144d
Aug 20, 2014
- RestoreMethods after they have been turned to funs · 4e9c02f2
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  4e9c02f2
- Scope information in Definition · 0f51db75
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  0f51db75
- File output, and noop option to do only that · dc91b649
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  dc91b649
- Catch error when processing options · 6e50429e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6e50429e
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
Mar 20, 2014
- Improve types, support ???[T] as all-seeing choose · da408410
  Etienne Kneuss authored 11 years ago
  da408410
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Dec 02, 2013
- Remove confusing plugin package, move to frontends.scalac · 002d9643
  Etienne Kneuss authored 11 years ago
  
  002d9643
Oct 10, 2013
- Do not register signal handlers when building options · 57bb42fc
  Etienne Kneuss authored 11 years ago
  
  57bb42fc
Sep 12, 2013
- Rename ReportingSection to DebugSection · 59e6fe6f
  Etienne Kneuss authored 11 years ago
  
  59e6fe6f
- Minor renamings. · 9f21f5f9
  Philippe Suter authored 11 years ago
  
  9f21f5f9
- Debug sections become implicit · ba4e4d30
  Etienne Kneuss authored 11 years ago
  
  ba4e4d30
- Drastic memory management for solvers during synthesis · be292ce0
  Etienne Kneuss authored 11 years ago
  be292ce0
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971
Aug 26, 2013
- Promote LetDef to purescala · 1c831e12
  Etienne Kneuss authored 11 years ago
  
  1c831e12
- Reshape options, add debug sections, simplify reporters · 51f3e6a4
  Etienne Kneuss authored 11 years ago
  51f3e6a4
Jul 11, 2013
- Upgrade Leon to Scala 2.10.x · c521d3bd
  Etienne Kneuss authored 11 years ago
  c521d3bd
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 11 years ago
  
  3cb6d843
- Introduces a phase to protect exact type of vars · f697e53d
  Régis Blanc authored 12 years ago
  f697e53d
Jan 12, 2013
- Termination checker. · 47f8001c
  Philippe Suter authored 12 years ago
  47f8001c
Jan 03, 2013
- Implement --parallel[=N] to specify the number of workers to use. On success,... · a9f40660
  Etienne Kneuss authored 12 years ago
  a9f40660
Dec 21, 2012
- Implement a new XlangAnalysisPhase · 32d53a55
  Régis Blanc authored 12 years ago
  32d53a55
Dec 19, 2012
- Improve performance of FairZ3 by lowering unrolling to the z3 level. Improve... · b9d98db8
  Etienne Kneuss authored 12 years ago
  b9d98db8
Dec 12, 2012
- use LeonFatalError to exit · 7bcd4243
  Régis Blanc authored 12 years ago
  
  7bcd4243
Dec 11, 2012
- No global option for "feeling lucky". · 273bca78
  Philippe Suter authored 12 years ago
  
  273bca78
- moving everything to xlang package · bd81ca07
  Régis Blanc authored 12 years ago
  
  bd81ca07
- Cleaning up old options. · 79be887d
  Philippe Suter authored 12 years ago
  
  79be887d
- Passing flags to Z3... · b542b300
  Philippe Suter authored 12 years ago
  
  b542b300
- Display help by component. · be5a9987
  Philippe Suter authored 12 years ago
  
  be5a9987
Nov 21, 2012
- Simplificator is no longer needed · d7bb6e81
  Régis Blanc authored 12 years ago
  
  d7bb6e81
Nov 02, 2012
- moved extension phase to xlang · 9625d4ef
  Régis Blanc authored 12 years ago
  
  9625d4ef
Oct 29, 2012
- tant pis · 9ff61214
  Etienne Kneuss authored 12 years ago
  
  9ff61214