Commits · c08f1602ab1ba00988d76782d93b4fed0b4a453b · LARA / inox

Jan 24, 2016
- Fixing a bug · c08f1602
  Ravi authored 9 years ago
  
  c08f1602
Nov 23, 2015
- Transitive quantifiers and lambda axioms · 3a11a76d
  Nicolas Voirol authored 9 years ago
  
  3a11a76d
Nov 18, 2015
- Introduce old notation for vars in postcondition · 0861d08c
  Regis Blanc authored 9 years ago
  
  0861d08c
Nov 06, 2015
- Set cardinality is a bigint, and we map it to CVC4's card · 7b4600e5
  Etienne Kneuss authored 9 years ago
  
  7b4600e5
Oct 16, 2015
- Squash synthesis conversion phases · 346748f5
  Manos Koukoutos authored 9 years ago
  
  346748f5
Oct 12, 2015
- Adding support for verifying programs with laziness · 36c2029f
  ravi authored 9 years ago
  
  36c2029f
Oct 09, 2015
- FiniteMap is implemented with a Map · f997139f
  Manos Koukoutos authored 9 years ago
  
  f997139f
Oct 08, 2015
- Support FiniteArray in CodeGen · f9aa132c
  Manos Koukoutos authored 9 years ago
  f9aa132c
Sep 29, 2015
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 10 years ago
  9d37d6ad
Sep 18, 2015
- Evaluating foralls and lots of fixes · 89f7731a
  Nicolas Voirol authored 9 years ago
  
  89f7731a
- Forwarded to current master · c373f216
  Nicolas Voirol authored 9 years ago
  
  c373f216
- Finished transitivity of propositions · bff35e41
  Nicolas Voirol authored 9 years ago
  
  bff35e41
Sep 08, 2015
- Fix MethodLifting and improvements · 849de6aa
  Manos Koukoutos authored 9 years ago
  849de6aa
Sep 03, 2015
- MapGet -> MapApply · 800df59d
  Manos Koukoutos authored 9 years ago
  
  800df59d
Aug 31, 2015
- Identifiers stored in Trees in decoded form · 3bdeeebf
  Manos Koukoutos authored 9 years ago
  
  3bdeeebf
Aug 28, 2015
- Type FunDef identifiers during CodeExtraction, and some API improvements · 3d1a47cf
  Manos Koukoutos authored 9 years ago
  
  3d1a47cf
Aug 27, 2015
- More debug strings · bcc2e06e
  Manos Koukoutos authored 9 years ago
  
  bcc2e06e
Aug 20, 2015
- Improve API doc. · 7cedd12d
  Manos Koukoutos authored 9 years ago
  
  7cedd12d
Aug 18, 2015
- Improvements · 572ea63f
  Manos Koukoutos authored 9 years ago
  
  572ea63f
Aug 12, 2015
- Implement asInstanceOf · 9e63efe6
  Etienne Kneuss authored 9 years ago
  
  9e63efe6
Jul 23, 2015
- Added scaladoc for the whole Constructors.scala file. · 00f0d846
  Mikaël Mayer authored 9 years ago
  00f0d846
Jul 22, 2015
- Fix Expressions documentation · ffac5174
  Manos Koukoutos authored 9 years ago
  
  ffac5174
- 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
- basic purescala scaladoc · 1694b97d
  Regis Blanc authored 9 years ago
  
  1694b97d
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
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 10 years ago
  74aba11f
Jul 09, 2015
- Tidy-up expressions · 99fcd05b
  Manos Koukoutos authored 9 years ago
  
  99fcd05b
- Make CaseClassSelector consistent with other Expr's · e7e93f4b
  Manos Koukoutos authored 10 years ago
  
  e7e93f4b
- Fixes · 78bdbf74
  Manos Koukoutos authored 10 years ago
  
  78bdbf74
- Fixes · 30354146
  Manos Koukoutos authored 10 years ago
  
  30354146
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 10 years ago
  d02ded7e
- Small changes · ac68a436
  Manos Koukoutos authored 10 years ago
  
  ac68a436
- Unify XOperators. Eliminate dead trees · baa5b60b
  Manos Koukoutos authored 10 years ago
  
  baa5b60b
Jun 30, 2015
- Remove Choose having mutable, optional implementation · e89165c6
  Etienne Kneuss authored 10 years ago
  
  e89165c6
Jun 25, 2015
- Enrich TypedFunDef/Lambda API a little · 97d98a80
  Manos Koukoutos authored 10 years ago
  
  97d98a80
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 12, 2015
- correct BigInt division and remainder · 06ad7d4a
  Regis Blanc authored 10 years ago
  
  06ad7d4a