Commits · 6ec6813a329a4e1dcbb77bd4eb2481b0cbc873b6 · LARA / inox

Apr 27, 2015
- Redundant parens · 724037b9
  Manos Koukoutos authored 10 years ago
  
  724037b9
- Remove legacy annotations · 9f90c3cf
  Manos Koukoutos authored 10 years ago
  
  9f90c3cf
Apr 20, 2015
- These functions should not appear in reports · 3a1724f7
  Etienne Kneuss authored 10 years ago
  
  3a1724f7
- Add map definition · cdab1dac
  Etienne Kneuss authored 10 years ago
  
  cdab1dac
Apr 17, 2015
- Leon defines its own Sets · a86f13a1
  Etienne Kneuss authored 10 years ago
  
  a86f13a1
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Ignore/disable Oracle class that is now mostly unused · 316a3a80
  Etienne Kneuss authored 10 years ago
  
  316a3a80
Mar 26, 2015
- Move Option to leon.collection · 8f4352d4
  Manos Koukoutos authored 10 years ago
  
  8f4352d4
Mar 18, 2015
- make sure List.slice allows taking empty slice or the whole list · 0cb7c109
  Samuel Gruetter authored 10 years ago
  
  0cb7c109
Feb 23, 2015
- Scans in library · b66665a0
  Manos Koukoutos authored 10 years ago
  
  b66665a0
- leon.collection set operations · cef64cec
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  cef64cec
- Richer collection API, including HOFs · f513ef07
  manoskouk authored 10 years ago
  
  f513ef07
Feb 17, 2015
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Feb 12, 2015
- Introduce Witness, and Guide and Terminating as implementing classes · 76c761d2
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  76c761d2
- Cost models decide which rules can be applied depending on graph · c292984c
  Etienne Kneuss authored 10 years ago
  
  c292984c
- Focus synthesis on failed branches immediately · a5f74382
  Etienne Kneuss authored 10 years ago
  
  a5f74382
- Implement what is necessary to do repair from the web interface · c43e316f
  Etienne Kneuss authored 10 years ago
  
  c43e316f
- Passes: examples in specs · 86345e48
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  86345e48
- Rename Passes to Gives, and further integration · 36f966cc
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  36f966cc
- Add match-like "passes" notation to denote IO-tests · 040064db
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  040064db
- Introduce RepairHole · 471e7135
  Etienne Kneuss authored 10 years ago
  471e7135
- Guiding witness function · d672ba0a
  Etienne Kneuss authored 10 years ago
  d672ba0a
- Allow safe recursive calls in CEGIS · 2e2ccc85
  Etienne Kneuss authored 10 years ago
  2e2ccc85
Oct 30, 2014
- List.isEmpty in Leon lib · a4f73533
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a4f73533
Oct 29, 2014
- Option.get in Leon library · 051688f8
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  051688f8
Oct 27, 2014
- Synthesis framework refactoring · 06c268ab
  Etienne Kneuss authored 10 years ago
  
  06c268ab
- List literals · fa6e5ee1
  Etienne Kneuss authored 10 years ago
  
  fa6e5ee1
Oct 08, 2014
- Strings support, fix printing of method calls · 2ab66e88
  Etienne Kneuss authored 10 years ago
  2ab66e88
Sep 04, 2014
- Add :: to List API · 49709d85
  Etienne Kneuss authored 10 years ago
  
  49709d85
Aug 18, 2014
- Add List.init · ac667904
  Etienne Kneuss authored 10 years ago
  
  ac667904
- Add isSorted/sorted to ListOps for Lists of ints · d8e4551a
  Etienne Kneuss authored 10 years ago
  
  d8e4551a
- Add ??? as function-scope holes, convert them to oracles · d5eb3cc7
  Etienne Kneuss authored 10 years ago
  
  d5eb3cc7
Aug 14, 2014
- Hide passes from results, but include it in leon as it is purescala · 364410c9
  Etienne Kneuss authored 10 years ago
  
  364410c9
Aug 07, 2014
- New list operations · ad33512e
  Etienne Kneuss authored 10 years ago
  ad33512e
- Extract tests from specification: passes(in,out)(Map(1 -> 2)) · 895a1962
  Etienne Kneuss authored 10 years ago
  
  895a1962
Jun 05, 2014
- Fix annotation for Oracle · 0303b636
  Etienne Kneuss authored 10 years ago
  
  0303b636
May 30, 2014
- Add List.take and List.drop, unproven, for convenience in benchmarks · 8e235082
  Etienne Kneuss authored 10 years ago
  
  8e235082
May 21, 2014
- Fix withOracle and holes semantics, do not treat them as special trees · f4a67a10
  Etienne Kneuss authored 11 years ago
  
  f4a67a10
Apr 11, 2014
- Actually add the files · 3cee85d7
  Etienne Kneuss authored 11 years ago
  
  3cee85d7
- All-seeing synthesis with Oracles, library reorganisation · 8f2438cc
  Etienne Kneuss authored 11 years ago
  8f2438cc