Commits · db315ecbd258d1492c2457888afdf7f9e8b34c67 · LARA / inox · GitLab

Snippets Groups Projects

Dec 02, 2015
- Crystallizes the solution so that it is not disturbed by the modification of def bodies. · db315ecb
  Mikaël Mayer authored 9 years ago
  
  db315ecb
- Moved the pretty printed verification report to VerificationReport.scala · bd927ca6
  Mikaël Mayer authored 9 years ago
  
  bd927ca6
Dec 01, 2015
- Added tracking Ids in templates to fill missing ones with "_edit_me_" · cf6bb9a2
  Mikaël Mayer authored 9 years ago
  cf6bb9a2
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