Commits · 8dd71b253a4cb67a47f0fb8deddd3cb5d6559549 · LARA / inox · GitLab

Snippets Groups Projects

Feb 23, 2015
- Make finding library in Eclipse more robust · 8dd71b25
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8dd71b25
- Make Leon find scala lib in Eclipse · 8291f8f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  8291f8f7
Oct 23, 2014
- Always include lib · 6b811a32
  Etienne Kneuss authored 10 years ago
  
  6b811a32
Oct 08, 2014
- Strings support, fix printing of method calls · 2ab66e88
  Etienne Kneuss authored 10 years ago
  2ab66e88
Sep 26, 2014
- Print units in separate files · daeb0818
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  daeb0818
- Introduce imports and packages. Introduce DefOps · 35ebae82
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  35ebae82
- Introduce compilation units · 99bc23a9
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  99bc23a9
Aug 28, 2014
- Improve timers collection, usage and display · 71a5144d
  Etienne Kneuss authored 11 years ago
  
  71a5144d
Aug 20, 2014
- Various code extraction corrections · 6a7e5e6f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6a7e5e6f
Jul 29, 2014
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
Apr 11, 2014
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc
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
Dec 02, 2013
- Remove confusing plugin package, move to frontends.scalac · 002d9643
  Etienne Kneuss authored 11 years ago
  
  002d9643
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
Dec 13, 2012
- Fix the classpath mess for good. · 9c422817
  Etienne Kneuss authored 12 years ago
  9c422817
- Break the inner-compiler in different ways so that it works with sbt test. · a2e7db77
  Etienne Kneuss authored 12 years ago
  
  a2e7db77
Dec 12, 2012
- Improve classpath situation, leon lib still missing though · 703814a9
  Etienne Kneuss authored 12 years ago
  
  703814a9
- Obtain inner classpath from SCALA_HOME, so make sure it is SET · 9301c8ac
  Etienne Kneuss authored 12 years ago
  
  9301c8ac
- Works on web with hardcoded classPath **TO FIX** · 202352d9
  Etienne Kneuss authored 12 years ago
  
  202352d9
Dec 11, 2012
- Display help by component. · be5a9987
  Philippe Suter authored 12 years ago
  
  be5a9987
Oct 25, 2012
- Fix in nsc config to make testing possible. · 01c332f9
  Philippe Suter authored 12 years ago
  
  01c332f9
Oct 24, 2012
- Type phases so that they act like functions, define pipelines, process · 38a639c9
  Etienne Kneuss authored 12 years ago
  38a639c9
- Refactor plugin into its phase · 987df17e
  Etienne Kneuss authored 12 years ago
  
  987df17e