mirror of
https://github.com/jgraley/inferno-cpp2v.git
synced 2026-04-02 16:10:14 -06:00
No description
| attic | ||
| bc | ||
| docs | ||
| eclipse | ||
| llvm | ||
| prototype | ||
| resource | ||
| src | ||
| test | ||
| .clang-format | ||
| .gdbinit | ||
| convert_all_dot.sh | ||
| dotty.sh | ||
| Doxyfile | ||
| examine_bug.sh | ||
| gen_graphs.sh | ||
| llvm-61726-patched.tgz | ||
| makefile | ||
| makefile.common | ||
| nightly.sh | ||
| parser_check.sh | ||
| readme.md | ||
| readme.txt | ||
| releases.txt | ||
| run_valgrind.sh | ||
| trace_filt.sh | ||
Inferno and Vida Nova
Inferno is a project to convert C++ programs into practical, synthesisable Verilog designs. At present, the partially implemented Inferno serves as a test harness for Vida Nova, a search-replace style program transformation engine. Handy links to documentation follow.
Vida Nova docs
User information
Search and Replace Documentation