Commits · 905aa0489a2ae5cce9d2e17634169730a015eebf · LARA / inox · GitLab

Snippets Groups Projects

Dec 02, 2015
- Fixed a crash occurring when a thread does not have a stack trace. · 905aa048
  Mikaël Mayer authored 9 years ago
  
  905aa048
Nov 18, 2015
- Introduce old notation for vars in postcondition · 0861d08c
  Regis Blanc authored 9 years ago
  
  0861d08c
- basic support in nested functions for arrays · 20ae5a95
  Regis Blanc authored 9 years ago
  
  20ae5a95
- first draft of a working implementation for closures · 16107231
  Regis Blanc authored 9 years ago
  
  16107231
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 22, 2015
- Adding Evaluation and code generation for strings. · 84e8cc8f
  Mikaël Mayer authored 9 years ago
  
  84e8cc8f
Oct 19, 2015
- Leon now supports strings for compilation phase. · d814fca7
  Mikaël Mayer authored 9 years ago
  
  d814fca7
- Added basic string support for Leon · 032273b2
  Mikaël Mayer authored 9 years ago
  
  032273b2
- Wrap non-lambda ensuring into a lambda · 6d72a634
  Manos Koukoutos authored 9 years ago
  
  6d72a634
Oct 09, 2015
- Support for calling @extern functions · f12376b2
  Etienne Kneuss authored 9 years ago
  
  f12376b2
- FiniteMap is implemented with a Map · f997139f
  Manos Koukoutos authored 9 years ago
  
  f997139f
- Improve FunDef signature · bec7c1af
  Manos Koukoutos authored 9 years ago
  
  bec7c1af
Sep 29, 2015
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 10 years ago
  9d37d6ad
Sep 18, 2015
- 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 11, 2015
- CodeExtraction properly handles field/method inheritance · 9c5101fc
  Manos Koukoutos authored 9 years ago
  9c5101fc
Sep 09, 2015
- Extract fields after parent class and methods · e23beb33
  Manos Koukoutos authored 9 years ago
  
  e23beb33
- Validate tparams for abstract classes too · 013abb7e
  Manos Koukoutos authored 9 years ago
  
  013abb7e
Sep 08, 2015
- Fix MethodLifting and improvements · 849de6aa
  Manos Koukoutos authored 9 years ago
  849de6aa
Sep 07, 2015
- introduce 'ClassFlag's in analogy to 'FunctionFlag's · af112343
  Lars Hupel authored 9 years ago
  
  af112343
- preserve class annotations in Leon's AST · 97204e3b
  Lars Hupel authored 9 years ago
  97204e3b
Sep 03, 2015
- MapGet -> MapApply · 800df59d
  Manos Koukoutos authored 9 years ago
  
  800df59d
Aug 28, 2015
- Type FunDef identifiers during CodeExtraction, and some API improvements · 3d1a47cf
  Manos Koukoutos authored 9 years ago
  
  3d1a47cf
Aug 27, 2015
- Handle case-class field implementing method · 5d8d8ea1
  Manos Koukoutos authored 9 years ago
  
  5d8d8ea1
- Ok, now we extract correctly · bf148fae
  Manos Koukoutos authored 9 years ago
  
  bf148fae
- Correctly parse abstract val's · 54bc9b3a
  Manos Koukoutos authored 9 years ago
  
  54bc9b3a
Aug 18, 2015
- Improvements · 6f648e2a
  Manos Koukoutos authored 9 years ago
  
  6f648e2a
Aug 12, 2015
- Implement asInstanceOf · 9e63efe6
  Etienne Kneuss authored 9 years ago
  
  9e63efe6
Aug 11, 2015
- Remove toString, rely on asString instead when printing stuff · 33777002
  Etienne Kneuss authored 9 years ago
  
  33777002
Aug 07, 2015
- preserve annotation arguments in the AST · 3e4281d8
  Lars Hupel authored 9 years ago
  
  3e4281d8
Jul 17, 2015
- extensive testing of real evaluators · 396625e0
  Regis Blanc authored 9 years ago
  
  396625e0
- 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
- Parse parameterless local functions · bfda3e21
  Manos Koukoutos authored 9 years ago
  
  bfda3e21
- Introducing UnapplyPattern, plus improvements · 74aba11f
  Manos Koukoutos authored 9 years ago
  74aba11f
Jul 09, 2015
- Improve/fix/use consistently features related to deep type hierarchies · e45a3e18
  Manos Koukoutos authored 9 years ago
  
  e45a3e18
- CodeExtraction should exclude empty trees · efc0e0a8
  Manos Koukoutos authored 9 years ago
  
  efc0e0a8
- Make CaseClassSelector consistent with other Expr's · e7e93f4b
  Manos Koukoutos authored 9 years ago
  
  e7e93f4b
- Make typed ClassType interface same as FunDef · 4f4d8cea
  Manos Koukoutos authored 9 years ago
  
  4f4d8cea
- More support for inheritance · d02ded7e
  Manos Koukoutos authored 10 years ago
  d02ded7e