Commits · 00f0d846059c13a8d49b0c78277b070da1158c9d · LARA / inox

Jul 23, 2015
- Added scaladoc for the whole Constructors.scala file. · 00f0d846
  Mikaël Mayer authored 9 years ago
  00f0d846
- document generic transform · 2dce7f24
  Regis Blanc authored 9 years ago
  
  2dce7f24
- test and use fixpoint · fe63cdcb
  Regis Blanc authored 9 years ago
  
  fe63cdcb
- improve doc and testing of core API · 1c575972
  Regis Blanc authored 9 years ago
  
  1c575972
Jul 22, 2015
- Improve documentation and test foldRight · 028e1784
  Régis Blanc authored 9 years ago
  
  028e1784
- Added comments for the whole Expressions.scala + some ExprOps.scala · 63f7d6fb
  Mikaël Mayer authored 9 years ago
  
  63f7d6fb
Jul 21, 2015
- fixpoint should not be in ExprOps · d318d306
  Regis Blanc authored 9 years ago
  
  d318d306
- correct scaladoc format for ExprOps · 9ee9be95
  Regis Blanc authored 9 years ago
  
  9ee9be95
Jul 14, 2015
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 9 years ago
  74aba11f
Jul 10, 2015
- Fix simpleValue for recursive ADTs · 39cc4dc9
  Etienne Kneuss authored 9 years ago
  
  39cc4dc9
Jul 09, 2015
- Correct typo · 101707b6
  Manos Koukoutos authored 9 years ago
  
  101707b6
- Fixes · 9810d673
  Manos Koukoutos authored 9 years ago
  
  9810d673
- Make CaseClassSelector consistent with other Expr's · e7e93f4b
  Manos Koukoutos authored 9 years ago
  
  e7e93f4b
- Fixes · 78bdbf74
  Manos Koukoutos authored 9 years ago
  
  78bdbf74
- Make typed ClassType interface same as FunDef · 4f4d8cea
  Manos Koukoutos authored 9 years ago
  
  4f4d8cea
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 9 years ago
  d02ded7e
- Refactor XLang · e8b84af6
  Manos Koukoutos authored 9 years ago
  
  e8b84af6
- Small changes · ac68a436
  Manos Koukoutos authored 9 years ago
  
  ac68a436
- Unify XOperators. Eliminate dead trees · baa5b60b
  Manos Koukoutos authored 9 years ago
  
  baa5b60b
Jun 30, 2015
- Implement @inline annotation, which helps us implement 'computes' easily · 32795f8c
  Etienne Kneuss authored 10 years ago
  
  32795f8c
- Remove unused duplicates · f812df22
  Etienne Kneuss authored 9 years ago
  
  f812df22
- Remove Choose having mutable, optional implementation · e89165c6
  Etienne Kneuss authored 9 years ago
  
  e89165c6
Jun 29, 2015
- Tests are propagated in synthesis, repair focus is now a rule · 58ce55b6
  Etienne Kneuss authored 9 years ago
  
  58ce55b6
Jun 25, 2015
- Enrich TypedFunDef/Lambda API a little · 97d98a80
  Manos Koukoutos authored 9 years ago
  
  97d98a80
- Introduce FunctionFlags. Remove all other mutability from FunDef (except body). · 6b897a99
  Manos Koukoutos authored 9 years ago
  
  6b897a99
Jun 24, 2015
- Remove owner, pass program · 1b76c91a
  Etienne Kneuss authored 10 years ago
  1b76c91a
Jun 22, 2015
- Fix and generalize genericTransform, fix bug in liftLets · 27e7049b
  Manos Koukoutos authored 9 years ago
  
  27e7049b
Jun 19, 2015
- Revert "Let deleting code hides errors" · 322a0d22
  Manos Koukoutos authored 9 years ago
  322a0d22
Jun 17, 2015
- Let deleting code hides errors · 83f8f8bf
  Manos Koukoutos authored 10 years ago
  
  83f8f8bf
- Simplify/clean up extractors · a8cdb84c
  Manos Koukoutos authored 10 years ago
  
  a8cdb84c
- Correct a bug/ simplify some cases in ExprOps · c562f300
  Manos Koukoutos authored 10 years ago
  
  c562f300
Jun 10, 2015
- Assume contracts of inductive calls · 58c16119
  Manos Koukoutos authored 10 years ago
  
  58c16119
May 27, 2015
- Maps/Sets have explicit types, remove Empty/NonemptySet/Map · 73ca139b
  Etienne Kneuss authored 10 years ago
  
  73ca139b
May 19, 2015
- Simplify traverse a little · 7252b1a9
  Manos Koukoutos authored 10 years ago
  
  7252b1a9
May 05, 2015
- Style fixes · 1f1b4460
  Manos Koukoutos authored 10 years ago
  
  1f1b4460
Apr 28, 2015
- Remove scaladoc warning · 1f14ebf5
  Manos Koukoutos authored 10 years ago
  
  1f14ebf5
Apr 27, 2015
- Remove Gives Expression · 40b591a0
  Manos Koukoutos authored 10 years ago
  
  40b591a0
- Fix some identation, inheritance issues · 833d54a1
  Manos Koukoutos authored 10 years ago
  
  833d54a1
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- SMTLIB-CVC4 with define-funs-rec · e445f6d3
  Manos Koukoutos authored 10 years ago
  
  e445f6d3