src/cp/CodeGeneration.scala · 6baa0c66f248ee4444c6e0365516e93cb73d4a8a · LARA / inox

14 years ago

Using TreeDSL to make code generation code more compact and readable,... · 6baa0c66

Using TreeDSL to make code generation code more compact and readable, attempting to generate method that will convert funcheck expressions to scala terms.

6baa0c66

History

Using TreeDSL to make code generation code more compact and readable,...

Ali Sinan Köksal authored 14 years ago

Using TreeDSL to make code generation code more compact and readable, attempting to generate method that will convert funcheck expressions to scala terms.