Commits · cae6a04a6a50660b5f749b8004328d4288fbc320 · LARA / inox · GitLab

Snippets Groups Projects

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 9 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
- Unify Guarded and Simple case · d7a193d4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  d7a193d4
- Synthesis from examples · 5ea6796f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  5ea6796f
- 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
- Remove deprecated trees · 6471d87e
  Etienne Kneuss authored 10 years ago
  
  6471d87e
- Separate trees from tree constructors,use them more,simplifications · 2872b0e8
  Etienne Kneuss authored 10 years ago
  
  2872b0e8
- Improve situation with types · ad933d96
  Etienne Kneuss authored 10 years ago
  
  ad933d96
- 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