Commits · bf8889f4a45911b56af07d17b8abe97b7bb583cd · LARA / inox

Oct 24, 2014
- Extract string literals in degenerate cases · bf8889f4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  bf8889f4
Oct 08, 2014
- Strings support, fix printing of method calls · 2ab66e88
  Etienne Kneuss authored 10 years ago
  2ab66e88
Sep 26, 2014
- Support for standalone objects · 1f5c5acd
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  1f5c5acd
Aug 21, 2014
- Scalac extractors cleanup · d96e9759
  Etienne Kneuss authored 10 years ago
  
  d96e9759
Aug 20, 2014
- Field Extraction & handling · 0889f2f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0889f2f7
- Correctly extract non-integer +, - etc. · be5569a8
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  be5569a8
- Various code extraction corrections · 6a7e5e6f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6a7e5e6f
Aug 18, 2014
- Add ??? as function-scope holes, convert them to oracles · d5eb3cc7
  Etienne Kneuss authored 10 years ago
  
  d5eb3cc7
Jul 29, 2014
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
May 21, 2014
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
May 05, 2014
- New Ensuring/Require/Assert trees · 8403fa94
  Etienne Kneuss authored 11 years ago
  8403fa94
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
Mar 13, 2014
- Make sure we target Array.update only with ExUpdate · 8ac05b91
  Etienne Kneuss authored 11 years ago
  
  8ac05b91
Feb 28, 2014
- Implement the Leon library. Support classes and methods. · 027c0d4c
  Etienne Kneuss authored 11 years ago
  027c0d4c
Feb 18, 2014
- Fix handling of fields of case-classes v.s. method calls · 70b011d7
  Etienne Kneuss authored 11 years ago
  
  70b011d7
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 08, 2013
- Support for literal arrays · 710769d2
  Etienne Kneuss authored 11 years ago
  
  710769d2
Jul 11, 2013
- Upgrade Leon to Scala 2.10.x · c521d3bd
  Etienne Kneuss authored 12 years ago
  c521d3bd
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Mar 08, 2013
- Implement support for "case object" · 496c4fa7
  Etienne Kneuss authored 12 years ago
  
  496c4fa7
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 09, 2013
- Allow "&" along with "**" (Which is deprecated by Scala) · ab612ddc
  Etienne Kneuss authored 12 years ago
  
  ab612ddc
Dec 14, 2012
- Implement Literal Maps along with Tuple2 shorthands · 41576426
  Etienne Kneuss authored 12 years ago
  41576426
Oct 30, 2012
- Extract leon.Utils.error[T] calls correctly · e95b7dc4
  Etienne Kneuss authored 12 years ago
  
  e95b7dc4
- Extract sys.error into purescala trees · 105e2905
  Etienne Kneuss authored 12 years ago
  
  105e2905
Oct 26, 2012
- Substitute Choose code with solutions · 73377ace
  Etienne Kneuss authored 12 years ago
  
  73377ace
Oct 19, 2012
- Implement Choose here and there, not complete yet but should be mostly functional · 300576df
  Etienne Kneuss authored 12 years ago
  
  300576df
May 16, 2012
- parse and handle waypoints · 1634a6aa
  Régis Blanc authored 13 years ago
  
  1634a6aa
May 11, 2012
- remove debug println · 2fd22ba0
  Régis Blanc authored 13 years ago
  
  2fd22ba0
- reject all sort of program using array in non-supported way, and add a clone array method · bb7ef2b3
  Régis Blanc authored 13 years ago
  
  bb7ef2b3
May 10, 2012
- add functional update on arrays · 2d955609
  Régis Blanc authored 13 years ago
  
  2d955609
- well... the functional Abs proves validity · 1e6772ca
  Régis Blanc authored 13 years ago
  
  1e6772ca
May 04, 2012
- array length operation · f1ef5047
  Régis Blanc authored 13 years ago
  
  f1ef5047
May 03, 2012
- extracting array from scala parser · e46bb9b6
  Régis Blanc authored 13 years ago
  
  e46bb9b6
Apr 10, 2012
- integrating epsilon construct in the syntax · 1018f32e
  Régis Blanc authored 13 years ago
  
  1018f32e
Mar 27, 2012
- Extracting loop invariant · b47356fe
  Régis Blanc authored 13 years ago
  
  b47356fe