Commits · 632397c0db779ee16411628335b8a2f5fc53cd1c · LARA / inox · GitLab

Snippets Groups Projects

May 04, 2016
- fixed StringMinChange · 632397c0
  Mikaël Mayer authored 9 years ago
  
  632397c0
May 01, 2016
- olveMinChange for StringSolver (incremental) · 08a4c48c
  Mikaël Mayer authored 9 years ago
  
  08a4c48c
Apr 21, 2016
- olveMinChange for StringSolver (incremental) · 1c2cc1b1
  Mikaël Mayer authored 9 years ago
  
  1c2cc1b1
Mar 17, 2016
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
Jan 20, 2016
- Removed println's and references to leon.lang.string · c2015e43
  Mikaël Mayer authored 9 years ago
  
  c2015e43
Dec 12, 2015
- Added one more StringSolver benchmark and re-enabled the equation propagation... · a34c7448
  Mikaël Mayer authored 9 years ago
  a34c7448
Dec 10, 2015
- Added Phase PropagateEquations to the string solving for faster convergence. · 68dcc23b
  Mikaël Mayer authored 9 years ago
  
  68dcc23b
- Rewritten the phases of string solving with the Pipeline model. · 9d51eac2
  Mikaël Mayer authored 9 years ago
  
  9d51eac2
Nov 27, 2015
- Added variable name for the case class when considering dependent types -... · bc39cd20
  Mikaël Mayer authored 9 years ago
  bc39cd20
Nov 25, 2015
- Better support for splitting at word boundaries. · 1cbb8bee
  Mikaël Mayer authored 9 years ago
  1cbb8bee
- Added support for stream of templates. · baa60750
  Mikaël Mayer authored 9 years ago
  baa60750
Nov 23, 2015
- Fixed many bugs in the evaluator. · d9b937d6
  Mikaël Mayer authored 9 years ago
  d9b937d6
Nov 17, 2015
- Transitively bounded string problem extension · 3829b85f
  Mikaël Mayer authored 9 years ago
  
  3829b85f
Nov 16, 2015
- Added the new StringSolver and its test suite, to solve string equations with... · e76b87df
  Mikaël Mayer authored 9 years ago
  e76b87df