calyxir/calyx

Docs: CIDR configuration instructions

Closed this issue · 4 comments

I am getting

thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', interp/src/primitives/stateful/memories.rs:570:9`

When trying to run CIDR on a program featuring an invoke and a memory passed by reference.

I have a minimal example here. My exact command was

fud e --to debugger -q binheap.futil -s calyx.flags '-p compile-invoke' -s verilog.data binheap.data

Removing the invoke on line 26 solves the issue and starts up CIDR.

Okay so I'll take more of a look tomorrow, but was unable to quickly reproduce it. Can you confirm that your cider binary is up to date?

So I tried again and checked out the branch you put the file in and did a clean build and am unable to reproduce the error. Cider starts in the debugger mode as normal on my machine.

After fixing up my CIDR installation and configuration, it's gone away for me too!

If you don't mind, though, could you please add a line about the correct fud configuration step wherever in the docs you think is best? Some candidates are here and here, and perhaps both. Thanks a bunch!

For me it was fud config stages.interpreter.exec /absolute/path/to/calyx/target/debug/cider

I am editing this issue's name and labels to just make a documentation problem!