Commits · ab6b2d588cc08c3dc69149c51da6787f15b62d61 · LARA / inox · GitLab

Snippets Groups Projects

Aug 27, 2015
- Remove useless type tag · ab6b2d58
  Manos Koukoutos authored 9 years ago
  
  ab6b2d58
Aug 17, 2015
- Define Printable for non-leon-trees · 3623ccd1
  Etienne Kneuss authored 9 years ago
  
  3623ccd1
Aug 11, 2015
- Remove toString, rely on asString instead when printing stuff · 33777002
  Etienne Kneuss authored 9 years ago
  
  33777002
Jul 24, 2015
- Make sure names are really unique, especially when we have concurrency. · b2d4b6f8
  Etienne Kneuss authored 9 years ago
  
  b2d4b6f8
Jul 23, 2015
- Added more comments for some synthesis functions. · a748f4ec
  Mikaël Mayer authored 9 years ago
  
  a748f4ec
Jul 09, 2015
- Fixes · 30354146
  Manos Koukoutos authored 9 years ago
  
  30354146
Jun 25, 2015
- Enrich TypedFunDef/Lambda API a little · 97d98a80
  Manos Koukoutos authored 9 years ago
  
  97d98a80
- Eliminate dead mutable code · 0df07d78
  Manos Koukoutos authored 9 years ago
  
  0df07d78
Jun 24, 2015
- Printer can have access to the program, if passed · 14109445
  Etienne Kneuss authored 9 years ago
  
  14109445
Apr 21, 2015
- Fix fullname, improve solver timeouts · 324beff9
  Etienne Kneuss authored 10 years ago
  
  324beff9
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Mar 18, 2015
- Even more fixes · 5a3a65c9
  Manos Koukoutos authored 10 years ago
  
  5a3a65c9
- 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
Mar 06, 2015
- Remove MutableTyped. Really this time. · a0698e3e
  Manos Koukoutos authored 10 years ago
  
  a0698e3e
Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
Feb 16, 2015
- Introduce LetPattern, LetTuple specializes it for TuplePatterns · a6111136
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a6111136
Feb 12, 2015
- Improve situation with types · ad933d96
  Etienne Kneuss authored 10 years ago
  
  ad933d96
Oct 08, 2014
- Strings support, fix printing of method calls · 2ab66e88
  Etienne Kneuss authored 10 years ago
  2ab66e88
Sep 26, 2014
- Systematic treatment of Identifier/Definition owners · b5be930e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  b5be930e
Sep 16, 2014
- Improve/Fix SMTLib solvers · 622d4d8b
  Etienne Kneuss authored 11 years ago
  622d4d8b
Mar 20, 2014
- Improve types, support ???[T] as all-seeing choose · da408410
  Etienne Kneuss authored 11 years ago
  da408410
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 10, 2014
- Improve debugging for trees. asString now preferred over toString. · 1be039de
  Etienne Kneuss authored 11 years ago
  
  1be039de
Feb 05, 2014
- Improve printer, improve TypedFunDef, fix variablesOf · 2cf7b6be
  Etienne Kneuss authored 11 years ago
  
  2cf7b6be
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510
Dec 02, 2013
- Rework positions, introduce RangePositions · 480e8a3d
  Etienne Kneuss authored 11 years ago
  
  480e8a3d
- Common Tree class, rework & improve pretty-printers · 6579ed24
  Etienne Kneuss authored 11 years ago
  
  6579ed24
Aug 26, 2013
- Reshape options, add debug sections, simplify reporters · 51f3e6a4
  Etienne Kneuss authored 11 years ago
  51f3e6a4
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Feb 13, 2013
- Various improvements necessary for the web-interface · f48ff213
  Etienne Kneuss authored 12 years ago
  f48ff213
Jan 25, 2013
- Implement freshen on identifiers · 0b7eb67d
  Etienne Kneuss authored 12 years ago
  
  0b7eb67d
Nov 26, 2012
- better hashcode for identifiers · 542a09ab
  Etienne Kneuss authored 12 years ago
  
  542a09ab
- Specify ids with per-name counters · dc01ccda
  Etienne Kneuss authored 12 years ago
  
  dc01ccda
Mar 05, 2012
- overdue refactoring (funcheck=>leon and single package) · c84f2062
  Philippe Suter authored 13 years ago
  
  c84f2062
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381
May 26, 2011
- Now works with Scala 2.9.0.1. Serialization has been made simpler too. · 118f9730
  Philippe Suter authored 14 years ago
  
  118f9730
Apr 13, 2011
- - Extract predicates before transform traversing, such that we don't have · c3500b36
  Ali Sinan Köksal authored 14 years ago
  c3500b36
Apr 05, 2011
- compute maximum identifier in program and advance fresh identifier counter accordingly. · 22c7dc37
  Ali Sinan Köksal authored 14 years ago
  
  22c7dc37
Mar 24, 2011
- Define hashCode, equals for Definitions, Identifiers and TypeTrees. · c1ec6678
  Ali Sinan Köksal authored 14 years ago
  
  c1ec6678