mit-plv/koika issues and pull requests

#23 - Compilation error with the cosimulation example when verilator >= 5.004

Issue - State: open - Opened by mbty almost 2 years ago

#22 - Translating Koika's bits_t (Vect) to MIT's bbv

Issue - State: closed - Opened by felipelisboa-ml almost 2 years ago - 1 comment

#21 - Infinite loop

Issue - State: closed - Opened by sertel over 2 years ago - 4 comments

#20 - Remove elf2hex binary, so it can be created a new locally

Pull Request - State: closed - Opened by namin almost 3 years ago - 1 comment

#19 - Fix tiny typo

Pull Request - State: closed - Opened by ju-sh about 3 years ago - 1 comment

#18 - Build issues on macOS

Issue - State: closed - Opened by PalindromeLeung over 3 years ago - 26 comments

#17 - Multiplier correctness example

Issue - State: open - Opened by vaishnavi08 over 3 years ago - 1 comment

#16 - Potential optimization in the RISC-V example

Issue - State: open - Opened by mbty over 3 years ago - 5 comments

#15 - Avoidable stalling in the RISC-V example

Issue - State: open - Opened by mbty over 3 years ago - 2 comments

#14 - Different behavior in simulation and FPGA

Issue - State: open - Opened by mbty over 3 years ago - 3 comments

#13 - Context unknown during type checking

Issue - State: closed - Opened by blaxill almost 4 years ago - 2 comments

#12 - External function incorrectly pruned if rule is otherwise uneffectful

Issue - State: closed - Opened by blaxill almost 4 years ago - 3 comments

#11 - `unit_t` in ext_fn_t input generates invalid verliog

Issue - State: open - Opened by blaxill almost 4 years ago - 8 comments

#10 - About the upcoming module system and Kôika's semantics

Issue - State: open - Opened by mbty almost 4 years ago - 1 comment

#9 - Warning message about Boost version triggers spuriously

Issue - State: closed - Opened by mbty almost 4 years ago - 1 comment

#8 - Proof failures with (unsupported) Coq 8.12

Issue - State: closed - Opened by blaxill almost 4 years ago - 3 comments

#7 - Errors in examples/rv/MultiplierCorrectness.v

Issue - State: open - Opened by mbty almost 4 years ago - 2 comments

#6 - Outdated information in examples/rv/README.rst

Issue - State: closed - Opened by mbty almost 4 years ago - 8 comments

#5 - "make verilator-tests" results in a failure (cannot find file containing module: 'ext_host_id')

Issue - State: closed - Opened by mbty almost 4 years ago - 2 comments

#4 - etc: Move contents of the logo folder to the logos folder

Pull Request - State: closed - Opened by mbty almost 4 years ago - 1 comment

#3 - Vectors and name collisions