Commits · 36241ec290994e4338687647a17711aefc87dbbf · LARA / inox

May 11, 2015
- foldr/ scanr signature consistent with Scala · 36241ec2
  Manos Koukoutos authored 9 years ago
  
  36241ec2
May 03, 2015
- Let's not rely on Leon's type injections for the library · 3d73c644
  Etienne Kneuss authored 9 years ago
  
  3d73c644
Apr 27, 2015
- Redundant parens · 724037b9
  Manos Koukoutos authored 10 years ago
  
  724037b9
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
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
- 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
Oct 30, 2014
- List.isEmpty in Leon lib · a4f73533
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a4f73533
Oct 27, 2014
- List literals · fa6e5ee1
  Etienne Kneuss authored 10 years ago
  
  fa6e5ee1
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
Aug 07, 2014
- New list operations · ad33512e
  Etienne Kneuss authored 10 years ago
  ad33512e
May 30, 2014
- Add List.take and List.drop, unproven, for convenience in benchmarks · 8e235082
  Etienne Kneuss authored 10 years ago
  
  8e235082
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