Use CPP Templates to add polymorphism to C stack

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle

0 stars 0 forks source link

Use CPP Templates to add polymorphism to C stack #16

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Allow C stack boilerplate to reflect polymorphism of Isabelle specification by using CPP templates. Ideally complete this before deadline, if not discuss it as a possibility in the design/evaluation.