Commits · 42ffffa3949d298039bf1e5b5362ed935617c1b2 · LARA / inox

Jul 17, 2015
- real complete enough to prove theorems · 42ffffa3
  Regis Blanc authored 9 years ago
  
  42ffffa3
Jul 14, 2015
- Improve printing · 8387baca
  Manos Koukoutos authored 9 years ago
  
  8387baca
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 9 years ago
  74aba11f
Jul 09, 2015
- Fixes · 9810d673
  Manos Koukoutos authored 9 years ago
  
  9810d673
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 9 years ago
  d02ded7e
- Indent correctly when empty body · 11e23475
  Manos Koukoutos authored 9 years ago
  
  11e23475
- Unify XOperators. Eliminate dead trees · baa5b60b
  Manos Koukoutos authored 9 years ago
  
  baa5b60b
Jun 30, 2015
- Simplify imports, no need to process them whenever we update functions · bec5e37c
  Etienne Kneuss authored 9 years ago
  
  bec5e37c
- Remove Choose having mutable, optional implementation · e89165c6
  Etienne Kneuss authored 9 years ago
  
  e89165c6
Jun 29, 2015
- Revert "Class fields don't need to be mutable" · cae6a04a
  Manos Koukoutos authored 9 years ago
  
  cae6a04a
Jun 26, 2015
- detect mod and rem by 0 · de24011e
  Regis Blanc authored 10 years ago
  
  de24011e
Jun 25, 2015
- Introduce FunctionFlags. Remove all other mutability from FunDef (except body). · 6b897a99
  Manos Koukoutos authored 9 years ago
  
  6b897a99
- Class fields don't need to me mutable · 1a1837dd
  Manos Koukoutos authored 9 years ago
  
  1a1837dd
Jun 24, 2015
- Fix printing of names, remove dead code · 66f473ad
  Etienne Kneuss authored 9 years ago
  
  66f473ad
- Printer can have access to the program, if passed · 14109445
  Etienne Kneuss authored 9 years ago
  
  14109445
- Remove owner, pass program · 1b76c91a
  Etienne Kneuss authored 9 years ago
  1b76c91a
Jun 17, 2015
- Fix an error in printing · 18384fd3
  Manos Koukoutos authored 9 years ago
  
  18384fd3
Jun 01, 2015
- Introduce Modulo as mod operator on BigInt · 08113e8d
  Regis Blanc authored 10 years ago
  08113e8d
May 27, 2015
- Maps/Sets have explicit types, remove Empty/NonemptySet/Map · 73ca139b
  Etienne Kneuss authored 10 years ago
  
  73ca139b
May 06, 2015
- Print types in pretty printer when asked to · c8997c5b
  Etienne Kneuss authored 10 years ago
  
  c8997c5b
Apr 27, 2015
- Remove Gives Expression · 40b591a0
  Manos Koukoutos authored 10 years ago
  
  40b591a0
Apr 22, 2015
- Fix printing of empty lists, simplify printing of bigints · c691fe52
  Etienne Kneuss authored 10 years ago
  
  c691fe52
Apr 20, 2015
- Leon defines its own Maps · 4ee5234a
  Etienne Kneuss authored 10 years ago
  4ee5234a
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Mar 18, 2015
- More changes · 940d8b91
  Manos Koukoutos authored 10 years ago
  
  940d8b91
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
- Remove unused imports · b2360e54
  Manos Koukoutos authored 10 years ago
  
  b2360e54
- Default parameters for functions · 8af3310b
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  8af3310b
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
- Fix inconsistent handling of valDef.id.getType and valDef.tpe · da159f9e
  Manos Koukoutos authored 10 years ago
  
  da159f9e
Feb 24, 2015
- Eliminate MutableTyped from Expr's. Improve how respective Expr's are handled. · 83e59c6f
  Manos Koukoutos authored 10 years ago
  83e59c6f
Feb 17, 2015
- add support for bits operations · 4481325f
  Regis Blanc authored 10 years ago
  4481325f
- Int becomes bitvector · 2bb7a742
  Regis Blanc authored 10 years ago
  2bb7a742
Feb 16, 2015
- Introduce LetPattern, LetTuple specializes it for TuplePatterns · a6111136
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a6111136
Feb 13, 2015
- Refactor FiniteArray to an implicit representation · 373c4aba
  Regis Blanc authored 10 years ago
  373c4aba
Feb 12, 2015
- Remove unused RepairHole · d04c3bc0
  Etienne Kneuss authored 10 years ago
  
  d04c3bc0
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Introduce Witness, and Guide and Terminating as implementing classes · 76c761d2
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  76c761d2
- Passes is no longer subtype of MatchLike · abedfff4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  abedfff4