Currently under development as a thesis project.
Currently planed:
- map C code locations back to Cogent (and antiquoted C) source code
- map identifiers in the generated C code back to Cogent source code
- a debugger atop gdb which allows users to set breakpoints and step through Cogent expressions
Currently under development as a thesis project.
Currently planed: