mit-plv / koika

A core language for rule-based hardware design 🦑

mit-plv/koika Issues

Compilation error with the cosimulation example when verilator >= 5.004
Updated a year ago
Translating Koika's bits_t (Vect) to MIT's bbv
Closed a year ago1
Infinite loop
Closed 2 years ago4
Build issues on macOS
Closed 2 years ago26
Potential optimization in the RISC-V example
Updated 3 years ago5
Multiplier correctness example
Updated 3 years ago1
Avoidable stalling in the RISC-V example
Updated 3 years ago2
Outdated information in examples/rv/README.rst
Closed 3 years ago8
Different behavior in simulation and FPGA
Updated 3 years ago3
Context unknown during type checking
Closed 3 years ago2
`unit_t` in ext_fn_t input generates invalid verliog
Updated 3 years ago8
External function incorrectly pruned if rule is otherwise uneffectful
Closed 3 years ago3
About the upcoming module system and Kôika's semantics
Updated 3 years ago1
Warning message about Boost version triggers spuriously
Closed 3 years ago1
Proof failures with (unsupported) Coq 8.12
Closed 3 years ago3
Errors in examples/rv/MultiplierCorrectness.v
Updated 3 years ago2
Vectors and name collisions
Closed 3 years ago2
"make verilator-tests" results in a failure (cannot find file containing module: 'ext_host_id')
Closed 3 years ago2
Some circuits that include extcalls behave unexpectedly when simulated through Verilator
Closed 3 years ago3
Building error (Ocaml 4.11.1)
Closed 4 years ago10