Cogent debugging support

au-ts / cogent

Cogent Project

Other

158 stars 26 forks source link

Open zilinc opened 3 years ago

zilinc commented 3 years ago

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