Issues

• EclecticLib.v --> Tactic failure: resersible in 1st order mode

  sifive/Kami#135 · Filter by author nanoeng opened on Dec 8, 2021

• Make command fails with Coq 8.12.1

  sifive/Kami#134 · Filter by author vaishnavi08 opened on Sep 14, 2021
  3

• Replace Coq.Fin.t types with Evan's Fin.t types

  sifive/Kami#130 · Filter by author llee454 opened on Apr 28, 2020
  

• Replace TraceInclusion with TraceInclusion which removes null-steps.

  enhancement
  sifive/Kami#129 · Filter by author tjmach opened on Apr 27, 2020

• Create Tagged Union data type

  sifive/Kami#128 · Filter by author llee454 opened on Apr 25, 2020
  2

• discharge_wf destructs hypotheses on non-wf goals

  sifive/Kami#19 · Filter by author andres-erbsen-sifive opened on Aug 2, 2019

• feature request: bool/prop hypthesis canonicalization

  sifive/Kami#18 · Filter by author andres-erbsen-sifive opened on Jul 30, 2019
  5

• How to prove NoDup in name-parametrized modules?

  sifive/Kami#14 · Filter by author andres-erbsen-sifive opened on Jul 26, 2019
  4

• Consider to use FIRRTL instead of the Verilog

  enhancementhelp wanted
  sifive/Kami#11 · Filter by author XVilka opened on Jun 14, 2019
  1