Commits · b110b8331ccdfbb01b836a7c8b1f85bf734dd4f3 · LARA / inox · GitLab

Snippets Groups Projects

Apr 23, 2015
- Name all LeonOptionDefs opt* · b110b833
  Manos Koukoutos authored 10 years ago
  
  b110b833
- Multiline help, improvements · a04534f2
  Manos Koukoutos authored 10 years ago
  
  a04534f2
- Refactor how command line options are handled by Leon · 59b0b60a
  Manos Koukoutos authored 10 years ago
  59b0b60a
Apr 20, 2015
- Distinguish cvc4 solvers and options for proof and cex · 8c9d5ba5
  Etienne Kneuss authored 10 years ago
  8c9d5ba5
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Mention smt-cvc4 in help as a viable solver · 85e73bfa
  Etienne Kneuss authored 10 years ago
  
  85e73bfa
- Some cosmetic changes in Main · 2456f05f
  Manos Koukoutos authored 10 years ago
  
  2456f05f
Apr 02, 2015
- Fresh reporter to avoid terminateIfErrors issues · 618ccda9
  Etienne Kneuss authored 10 years ago
  
  618ccda9
- Implement --watch to rerun Leon on file changes · 282469fb
  Etienne Kneuss authored 10 years ago
  
  282469fb
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Mar 03, 2015
- xlang does not eliminate side effect in blocks · 563fcbfc
  Regis Blanc authored 10 years ago
  563fcbfc
- no-xlang checking phase · 15f66010
  Regis Blanc authored 10 years ago
  
  15f66010
Feb 12, 2015
- Bring back reporter with colors, and some corrections · 753f812b
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  753f812b
- Refactor refactor into repair, since it does repair · 179845b0
  Etienne Kneuss authored 10 years ago
  
  179845b0
- Refactoring phase · 71c44b4a
  Etienne Kneuss authored 10 years ago
  71c44b4a
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