github/inferno-cpp2v
1
1
Fork 0
mirror of https://github.com/jgraley/inferno-cpp2v.git synced 2026-05-23 07:48:58 -06:00
Code Issues Projects Releases Packages Wiki Activity
No description
4316 commits 3 branches 0 tags 386 MiB
Find a file
Exact
John Graley 9b767de946 tidies
2026-05-12 19:44:37 +01:00
attic
bc
docs fix #835 2025-09-07 13:40:05 +01:00
eclipse
llvm more on types and declarators 2026-02-18 13:21:41 +00:00
prototype
resource fix SC raising of sc_delta_count 2025-11-13 19:09:22 +00:00
src tidies 2026-05-12 19:44:37 +01:00
test safety 2026-05-10 18:30:57 +01:00
.clang-format added return 2025-12-20 18:27:28 +00:00
.gdbinit
convert_all_dot.sh tidies 2025-06-27 15:29:45 +01:00
dotty.sh
Doxyfile
examine_bug.sh
gen_graphs.sh tidies 2025-09-28 15:50:33 +01:00
llvm-61726-patched.tgz
makefile small.c test passes using parsed patterns 2025-11-15 19:22:43 +00:00
makefile.common better 2026-05-09 17:06:57 +01:00
nightly.sh
parser_check.sh parsing member intialisers 2026-05-03 14:41:47 +01:00
readme.md
readme.txt declarators 2026-02-20 18:30:07 +00:00
releases.txt
run_valgrind.sh passing on valgrind 2025-08-25 15:22:55 +01:00
trace_filt.sh

readme.md

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

The Node Interface

Search and Replace Documentation

Transformation Case Studies

Internals

The Stages

Inferno docs