src/main/scala/leon/synthesis/rules/StringRender.scala · dab0e0dafcb5f9fa445f854533594f829f0298a1 · LARA / inox

9 years ago

Mikaël Mayer authored 9 years ago

Removed unused code.
Added the possibility of self-recursion for pretty-printers.
More options for self-pretty printers.

dab0e0da

Mikaël Mayer authored 9 years ago

Removed unused code.
Added the possibility of self-recursion for pretty-printers.
More options for self-pretty printers.