Search results

Trigger for debug

high priority

Status: Open.

#319 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Apr 3, 2020

fix memory usage issues with coq-sim

Status: Open.

#299 In sifive/ProcKami;

· Evan Marzion (sifive-emarzion) opened on Mar 26, 2020

Implement nondeterminism in coq-sim

Status: Open.

#298 In sifive/ProcKami;

· Evan Marzion (sifive-emarzion) opened on Mar 26, 2020

Clean up Wf stuff in Kami

Status: Open.

#296 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 25, 2020

Simplify floating point parameterization

Status: Open.

#289 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Remove cruft from FU.v

Status: Open.

#288 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Remove cruft from Instruction semantics (RiscvIsaSpec/Insts)

Status: Open.

#287 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Remove cruft from CSR

Status: Open.

#286 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Remove cruft from Commit.v and Trap.v

Status: Open.

#285 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Wfi

Status: Open.

#283 In sifive/ProcKami;

· Murali Vijayaraghavan (vmurali) opened on Mar 23, 2020

Implement SFence Instructions

Status: Open.

#278 In sifive/ProcKami;

· Larry Darryl Lee Jr. (llee454) opened on Mar 18, 2020

Decouple unit test suites from RiscvSpecFormal and Kami

Status: Open.

#277 In sifive/ProcKami;

· Evan Marzion (sifive-emarzion) opened on Mar 14, 2020