Commits · ef8fad41021709aadd08ab54751f465b1c9369e3 · LARA / inox · GitLab

Snippets Groups Projects

Mar 17, 2016
- Fix bug with comparison · ef8fad41
  Manos Koukoutos authored 9 years ago
  
  ef8fad41
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- fix some positions propagation in ops · 71db39f0
  Regis Blanc authored 9 years ago
  
  71db39f0
Mar 07, 2016
- If holes are used but `leon.lang.synthesis.???` is not in scope, a longer name is used. · 8b2c1c9c
  Mikaël Mayer authored 9 years ago
  
  8b2c1c9c
Mar 01, 2016
- Hot fix: Replace only function bodies that have changed · 74031fe9
  Mikaël Mayer authored 9 years ago
  
  74031fe9
- Cold fix: Added missed lambda case during DefOps.replaceClassDef. More... · afd9b26e
  Mikaël Mayer authored 9 years ago
  afd9b26e
Feb 29, 2016
- Hot fix: Forgot intermediate descendants. · 988360c7
  Mikaël Mayer authored 9 years ago
  
  988360c7
- Hotfix: Wrong class cast · e32e2b82
  Mikaël Mayer authored 9 years ago
  
  e32e2b82
- Hotfix: Forgot an underscore · 8ef3a0a6
  Mikaël Mayer authored 9 years ago
  
  8ef3a0a6
Feb 28, 2016
- Datatype unrolling adds support for: · 741fbbe1
  Nicolas Voirol authored 9 years ago
  741fbbe1
Feb 25, 2016
- Working fundef and classdef replacement w.r.t. the tests (thanks to Etienne) · 615494a4
  Mikaël Mayer authored 9 years ago
  
  615494a4
- Does not copy hierarchies of classes if none of their dependencies is modified. · 325d0379
  Mikaël Mayer authored 9 years ago
  
  325d0379
Feb 24, 2016
- Keep original functions during function replacement if they can be kept. · 6a21d74f
  Mikaël Mayer authored 9 years ago
  
  6a21d74f
- Converts case classes if they have strings in their fields or type definition. · d05422f7
  Mikaël Mayer authored 9 years ago
  
  d05422f7
- Added draft for converting class definitions. · bcf8954a
  Mikaël Mayer authored 9 years ago
  bcf8954a
Feb 11, 2016
- Simplified the converter a bit · 197ab141
  Mikaël Mayer authored 9 years ago
  197ab141
Feb 10, 2016
- Newest complete string conversion before passing to the solver. · 9b8a691e
  Mikaël Mayer authored 9 years ago
  9b8a691e
Feb 05, 2016
- StringZ3 revisiter: Now the conversion is made BEFORE the solver is invoked. · e3e584ee
  Mikaël Mayer authored 9 years ago
  e3e584ee
- Improve value generation with generic types · 572d4125
  Manos Koukoutos authored 9 years ago
  572d4125
- Direct ExpressionGrammars through tags in Productions and NonTerminals · 662ca103
  Manos Koukoutos authored 9 years ago
  662ca103
Jan 26, 2016
- Added passing Abstract test to render a double list of dummies to string. · 634d9478
  Mikaël Mayer authored 9 years ago
  634d9478
Dec 02, 2015
- Consistent rendering of IDs · 0e5c4297
  Mikaël Mayer authored 9 years ago
  0e5c4297
Oct 09, 2015
- Support for calling @extern functions · f12376b2
  Etienne Kneuss authored 9 years ago
  
  f12376b2
Oct 08, 2015
- Make Printing a little more forgiving · 7645771e
  Manos Koukoutos authored 9 years ago
  
  7645771e
Sep 01, 2015
- Remove traces of identifier encoding · ac3f4b04
  Manos Koukoutos authored 9 years ago
  
  ac3f4b04
Aug 20, 2015
- Improvements · 80bf5d49
  Manos Koukoutos authored 9 years ago
  
  80bf5d49
Aug 19, 2015
- Use full names to match against --functions. Display qualified names. · 5b95c6ed
  Etienne Kneuss authored 9 years ago
  
  5b95c6ed
Jun 30, 2015
- Simplify imports, no need to process them whenever we update functions · bec5e37c
  Etienne Kneuss authored 9 years ago
  
  bec5e37c
- Implement @inline annotation, which helps us implement 'computes' easily · 32795f8c
  Etienne Kneuss authored 9 years ago
  
  32795f8c
- New CEGIS with bounded-sized grammar, Bs as global variables · 389761e5
  Etienne Kneuss authored 10 years ago
  389761e5
Jun 29, 2015
- Fix style · ea116aa3
  Manos Koukoutos authored 9 years ago
  
  ea116aa3
- Revert "Class fields don't need to be mutable" · cae6a04a
  Manos Koukoutos authored 9 years ago
  
  cae6a04a
Jun 25, 2015
- 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
- Redo restore methods now that we have companions · 3c97527b
  Etienne Kneuss authored 9 years ago
  
  3c97527b
- 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
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- Various fixes · 617aa981
  Manos Koukoutos authored 10 years ago
  
  617aa981
- SMTLIB-CVC4 with define-funs-rec · e445f6d3
  Manos Koukoutos authored 10 years ago
  
  e445f6d3