mit-plv/koika

Issues

• Compilation error with the cosimulation example when verilator >= 5.004

  #23 opened 2 years ago by mbty
  0

• Translating Koika's bits_t (Vect) to MIT's bbv

  #22 opened 2 years ago by felipelisboa-ml
  1

• Infinite loop

  #21 opened 2 years ago by sertel
  4

• Build issues on macOS

  #18 opened 3 years ago by PalindromeLeung
  26

• Potential optimization in the RISC-V example

  #16 opened 3 years ago by mbty
  5

• Multiplier correctness example

  #17 opened 3 years ago by vaishnavi08
  1

• Avoidable stalling in the RISC-V example

  #15 opened 3 years ago by mbty
  2

• Outdated information in examples/rv/README.rst

  #6 opened 4 years ago by mbty
  8

• Different behavior in simulation and FPGA

  #14 opened 4 years ago by mbty
  3

• Context unknown during type checking

  #13 opened 4 years ago by blaxill
  2

• `unit_t` in ext_fn_t input generates invalid verliog

  #11 opened 4 years ago by blaxill
  8

• External function incorrectly pruned if rule is otherwise uneffectful

  #12 opened 4 years ago by blaxill
  3

• About the upcoming module system and Kôika's semantics

  #10 opened 4 years ago by mbty
  1

• Warning message about Boost version triggers spuriously

  #9 opened 4 years ago by mbty
  1

• Proof failures with (unsupported) Coq 8.12

  #8 opened 4 years ago by blaxill
  3

• Errors in examples/rv/MultiplierCorrectness.v

  #7 opened 4 years ago by mbty
  2

• Vectors and name collisions

  #3 opened 4 years ago by mbty
  2

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

  #5 opened 4 years ago by mbty
  2

• Some circuits that include extcalls behave unexpectedly when simulated through Verilator

  #2 opened 4 years ago by mbty
  3

• Building error (Ocaml 4.11.1)

  #1 opened 4 years ago by ssmolov
  10