diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:11:51 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:11:51 +0800 |
| commit | bdcf3b2355515f07ab3c12a35009fcbd4746da7b (patch) | |
| tree | 65dc53398ceb8e42918326b718b9f4e7f2fb984a /backend/include/rcc/Tooling/BackendDriver.h | |
| parent | 7e0ac10b7b58de84910f0d4bb0d05cf36edeba2b (diff) | |
| download | rcc-project-bdcf3b2355515f07ab3c12a35009fcbd4746da7b.tar.gz rcc-project-bdcf3b2355515f07ab3c12a35009fcbd4746da7b.tar.xz | |
feat: implement pretty-printing for variables and proof step references in proof trace output
Diffstat (limited to 'backend/include/rcc/Tooling/BackendDriver.h')
0 files changed, 0 insertions, 0 deletions