Commits · 71b6a0021f59f8f4732d4eb23b61ea66191d6e7d · LARA / inox

Oct 09, 2015
- Remove warning · 1167bcef
  Etienne Kneuss authored 9 years ago
  
  1167bcef
Oct 08, 2015
- Get rid of State.forever in lib · b4a26724
  Manos Koukoutos authored 9 years ago
  
  b4a26724
Sep 29, 2015
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 10 years ago
  9d37d6ad
Sep 28, 2015
- add library annotation to par package · 54ce14a3
  Lars Hupel authored 9 years ago
  
  54ce14a3
Sep 25, 2015
- Move State examples out of library · 4da32aa4
  Manos Koukoutos authored 9 years ago
  
  4da32aa4
Sep 23, 2015
- Made merge sort verify using better specified splitAtIndex. · 6dea823a
  Viktor Kuncak authored 9 years ago
  
  6dea823a
Sep 18, 2015
- A simple parallel merge sort testcase using 'parallel' · 91260733
  Viktor Kuncak authored 10 years ago
  
  91260733
- Minimal par package for parallelism · f27073af
  Viktor Kuncak authored 10 years ago
  
  f27073af
- Progress on quantification · 2afbeb4e
  Nicolas Voirol authored 9 years ago
  
  2afbeb4e
Sep 14, 2015
- Isabelle as a solver in Leon · 6ec1284f
  Lars Hupel authored 9 years ago
  
  6ec1284f
Sep 11, 2015
- Remove useless type param. · 39f35526
  Manos Koukoutos authored 9 years ago
  
  39f35526
- Add @library annotation · a6223ef4
  Manos Koukoutos authored 9 years ago
  
  a6223ef4
- State monad · 75fc27a3
  Manos Koukoutos authored 9 years ago
  
  75fc27a3
- List.tailOption in lib · 2e198dcf
  Manos Koukoutos authored 9 years ago
  
  2e198dcf
Aug 27, 2015
- Some extra library methods · 1b3766a2
  Manos Koukoutos authored 9 years ago
  
  1b3766a2
- List.length as an alias to size · 58dcce49
  Manos Koukoutos authored 9 years ago
  
  58dcce49
Aug 26, 2015
- fix proof of 'reverseIndex' · dc7b1b80
  Lars Hupel authored 9 years ago
  
  dc7b1b80
Aug 25, 2015
- change List.contains to use pattern matching without guards · c580f3b0
  Lars Hupel authored 9 years ago
  
  c580f3b0
Aug 24, 2015
- Annotate correctly · fcac0116
  Etienne Kneuss authored 9 years ago
  
  fcac0116
Aug 21, 2015
- Annotate proof DSL as @library · 5a6ac7f4
  Etienne Kneuss authored 9 years ago
  
  5a6ac7f4
Aug 19, 2015
- Annotate fill with @library · 3fa0513e
  Etienne Kneuss authored 9 years ago
  
  3fa0513e
- Added List.fill to the library. Script to run regressions · 0bed9344
  Viktor Kuncak authored 9 years ago
  
  0bed9344
- Updates/adds lemmas about lists. · 8fe7d841
  Sandro Stucki authored 9 years ago
  
  8fe7d841
- Adds DSL for proofs. · 24688442
  Sandro Stucki authored 9 years ago
  
  24688442
- Changes argument of '==>' to be by-name. · 8120a2a3
  Sandro Stucki authored 9 years ago
  
  8120a2a3
Jul 24, 2015
- Tree path example. · bd6bde59
  Viktor Kuncak authored 9 years ago
  bd6bde59
Jul 20, 2015
- Make List API scala compatible, add @library · c3d24e42
  Manos Koukoutos authored 9 years ago
  
  c3d24e42
- tailOption in List · 2687b677
  Manos Koukoutos authored 9 years ago
  
  2687b677
- Unapply in docs, List. List.headOption · 618c9599
  Manos Koukoutos authored 9 years ago
  
  618c9599
Jul 17, 2015
- real complete enough to prove theorems · 42ffffa3
  Regis Blanc authored 9 years ago
  
  42ffffa3
- real numbers trees and frontend · c4c715fe
  Regis Blanc authored 9 years ago
  
  c4c715fe
Jul 14, 2015
- rational invariant positive denominator · c0785649
  Regis Blanc authored 9 years ago
  
  c0785649
- implicit import for rationals · 49711e10
  Regis Blanc authored 9 years ago
  
  49711e10
Jul 10, 2015
- more operations for rationals · 69180032
  Regis Blanc authored 9 years ago
  
  69180032
- rational available in lang · 22406c41
  Regis Blanc authored 9 years ago
  
  22406c41
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