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