gator-frontend 🐊➕🥚🪵

Using Churchroad to convert Verilog to ~~the Gator DSL!~~ an egraph!

Usage

$ cargo run <input_file> <output_file>

For example:

$ cargo run circuit.sv circuit.json

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
churchroad @ e4c6363		churchroad @ e4c6363
example-programs/verilog		example-programs/verilog
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
Cargo.toml		Cargo.toml
README.md		README.md