Issues

• Reintroduce clang_format to cuttlesim

  mit-plv/koika#26 · Filter by author maxkurze1 opened on Oct 13, 2025

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

  mit-plv/koika#23 · Filter by author mbty opened on Mar 10, 2023

• Multiplier correctness example

  mit-plv/koika#17 · Filter by author vaishnavi08 opened on Aug 30, 2021
  1

• Potential optimization in the RISC-V example

  mit-plv/koika#16 · Filter by author mbty opened on Aug 23, 2021
  5

• Avoidable stalling in the RISC-V example

  mit-plv/koika#15 · Filter by author mbty opened on Jul 15, 2021
  2

• Different behavior in simulation and FPGA

  mit-plv/koika#14 · Filter by author mbty opened on Jun 9, 2021
  3

• unit_t in ext_fn_t input generates invalid verliog

  mit-plv/koika#11 · Filter by author blaxill opened on Apr 26, 2021
  8

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

  mit-plv/koika#10 · Filter by author mbty opened on Apr 23, 2021
  1

• Errors in examples/rv/MultiplierCorrectness.v

  mit-plv/koika#7 · Filter by author mbty opened on Apr 13, 2021
  2