Test C Stack and Queue - Githubissues

Twigonometry / IsabelleDSL

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

0 stars 0 forks source link

Test C Stack and Queue #32

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Reliant on #31 (queue boilerplate) #29 (fixing issues with stack haskell code) and #20 (allowing c files to be auto-run by compiling them). Boilerplate code for C stack has been implemented