Commits · bc39cd20f552e875c262a5060781f0d068adf2dc · LARA / inox · GitLab

Snippets Groups Projects

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
- Added constant rendering for case classes without argument. · f94e0843
  Mikaël Mayer authored 9 years ago
  
  f94e0843
- 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
- First working version of string synthesis, works on simple data types. · fc58e80a
  Mikaël Mayer authored 9 years ago
  
  fc58e80a
Nov 20, 2015
- Added a function which creates a set of mutually recursive function templates which return strings. · 82107bab
  Mikaël Mayer authored 9 years ago
  
  82107bab
Nov 19, 2015
- Converted foldLefts and for comprehensions to tailrec methods, better suited for the task · 92493830
  Mikaël Mayer authored 9 years ago
  
  92493830
Nov 18, 2015
- Added synthesis template for boolean. · 46298812
  Mikaël Mayer authored 9 years ago
  46298812
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
Nov 12, 2015
- Adding mock methods to complete. · 30c0804f
  Mikaël Mayer authored 9 years ago
  
  30c0804f
Nov 08, 2015
- Added the Default.scala for base type conversion. · 233c8969
  Mikaël Mayer authored 9 years ago
  233c8969