Commits · db92b5557a706b716f95c982b1b7fc408ac95429 · LARA / inox

"library/leon/lang/package.scala" did not exist on "ec0a294e917656a1be6d4d34d8ed1c2100d2d1f3"

Jan 13, 2016
- StringRender now considers pretty functions in scope and use them by default. · db92b555
  Mikaël Mayer authored 9 years ago
  db92b555
Jan 12, 2016
- Added two collections of pretty-printer which can be used later to render some elements. · c911543e
  Mikaël Mayer authored 9 years ago
  
  c911543e
Jan 08, 2016
- Moved ProgramSets to sub-package · 10ae6952
  Mikaël Mayer authored 9 years ago
  10ae6952
Jan 07, 2016
- Fix indentation in StrOps · 85b44efa
  Mikaël Mayer authored 9 years ago
  85b44efa
Jan 06, 2016
- Added string escape · dcc22b09
  Mikaël Mayer authored 9 years ago
  
  dcc22b09
Jan 04, 2016
- Added ability to filter alternatives according to the previous alternatives. · 93563906
  Mikaël Mayer authored 9 years ago
  
  93563906
Dec 16, 2015
- Corrected compilation errors after merge · 148dfaad
  Mikaël Mayer authored 9 years ago
  
  148dfaad
- FileInterface.insertAfter to insert a new function after an existing one. · 079dd9e2
  Mikaël Mayer authored 9 years ago
  079dd9e2
Dec 12, 2015
- Out of order rendering now possible. · 7e2ba0d5
  Mikaël Mayer authored 9 years ago
  7e2ba0d5
- Introduced StringSynthesisContext · 06ae9b2a
  Mikaël Mayer authored 9 years ago
  
  06ae9b2a
Dec 07, 2015
- Removing the body of the function when adding examples. · 0cb1ea61
  Mikaël Mayer authored 9 years ago
  
  0cb1ea61
- Added disambiguation module for synthesis. · 32eb10be
  Mikaël Mayer authored 9 years ago
  
  32eb10be
Dec 04, 2015
- Implemented the run method for asking questions. · da7d4880
  Mikaël Mayer authored 9 years ago
  
  da7d4880
- Adding a function to find questions when returning a solution. · 47972286
  Mikaël Mayer authored 9 years ago
  
  47972286
- VerificationReport now verifies that functions are implemented for pretty printing. · 31996949
  Mikaël Mayer authored 9 years ago
  31996949
Dec 02, 2015
- Consistent rendering of IDs · 0e5c4297
  Mikaël Mayer authored 9 years ago
  0e5c4297
- 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