Commits · efc0e0a80e09fbf15e233cb7424f2887aa03bab1 · LARA / inox · GitLab

Snippets Groups Projects

Jun 30, 2015
- Implement @inline annotation, which helps us implement 'computes' easily · 32795f8c
  Etienne Kneuss authored 9 years ago
  
  32795f8c
Jun 24, 2015
- Remove owner, pass program · 1b76c91a
  Etienne Kneuss authored 9 years ago
  1b76c91a
Jun 18, 2015
- Tiny scripts for compiling and running with ordinary scalac and scala · 78d9da12
  Viktor Kuncak authored 9 years ago
  78d9da12
- List library: make chunk0, insertAt, replaceAt, rotate more termination-friendly · 3eb83706
  Samuel Gruetter authored 9 years ago
  
  3eb83706
Jun 11, 2015
- Make Leon strings a bit more scala-friendly · fe1158fe
  Etienne Kneuss authored 9 years ago
  
  fe1158fe
- Fix Leon strings being always empty · 8347b480
  Etienne Kneuss authored 9 years ago
  
  8347b480
- Fix scalac compilation, accept non-specified @extern fundef · fb017ac3
  Etienne Kneuss authored 9 years ago
  
  fb017ac3
Jun 10, 2015
- Re-implement simple @extern · 32223a62
  Etienne Kneuss authored 9 years ago
  32223a62
Jun 01, 2015
- Define updated+insertAt(i: BigInt, e: T), + lemmas from Ravi · 3eb3c783
  Etienne Kneuss authored 9 years ago
  
  3eb3c783
- Move Option to lang.Option, add Map.get/getOrElse/+ · 1b3e61b0
  Etienne Kneuss authored 9 years ago
  
  1b3e61b0
May 29, 2015
- Let's not discriminate against these two good integers · f7c8ffaa
  Etienne Kneuss authored 9 years ago
  
  f7c8ffaa
- Fixed some stuff up in termination · 76626ed9
  Nicolas Voirol authored 10 years ago
  
  76626ed9
May 27, 2015
- Matching on BigInts · ed7e2c05
  Etienne Kneuss authored 9 years ago
  
  ed7e2c05
- Strenghten List.find · 67bc0996
  Etienne Kneuss authored 9 years ago
  
  67bc0996
May 22, 2015
- Better spec for find · c23d1da1
  Etienne Kneuss authored 9 years ago
  
  c23d1da1
May 21, 2015
- Refactor boolean decorations, add ==> · 12116bae
  Manos Koukoutos authored 10 years ago
  
  12116bae
May 19, 2015
- Remove unused annotations · 72b2374f
  Manos Koukoutos authored 9 years ago
  
  72b2374f
- List.apply should be Scala-executable. Fix leon.math not being @library · 549ec0e3
  Etienne Kneuss authored 9 years ago
  
  549ec0e3
May 18, 2015
- Fix compatibility with Scalac · bec7014b
  Etienne Kneuss authored 9 years ago
  
  bec7014b
May 11, 2015
- Some min/max functions in lib · 071f8c74
  Manos Koukoutos authored 10 years ago
  
  071f8c74
- Enrich/correct/make leon lib. compatible with Scala · f500a66b
  Manos Koukoutos authored 10 years ago
  
  f500a66b
- foldr/ scanr signature consistent with Scala · 36241ec2
  Manos Koukoutos authored 10 years ago
  
  36241ec2
May 06, 2015
- Set/Map should be cases classes so that equality is consistent · 2316cb90
  Etienne Kneuss authored 10 years ago
  
  2316cb90
- Remove traces of Gives · 7a12c40b
  Manos Koukoutos authored 10 years ago
  
  7a12c40b
May 04, 2015
- Set and Map are now implemented in the library and should be executable · 48c1d6d3
  Etienne Kneuss authored 10 years ago
  
  48c1d6d3
May 03, 2015
- Let's not rely on Leon's type injections for the library · 3d73c644
  Etienne Kneuss authored 10 years ago
  
  3d73c644
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