Search results

Should we use <code>BUF</code> to replace sparse bytes?

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 23, 2025

A framework to manage lemmas and check the coverage for them

enhancementNew feature or requestNew feature or request

Status: Open.

#136 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 13, 2025

Check all the simplification rules with regards to <code>preserves-definedness</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#102 In runtimeverification/riscv-semantics;

· Stevengre opened on May 13, 2025

Move bytes to the end of the function arguments

enhancementNew feature or requestNew feature or request

Status: Open.

#101 In runtimeverification/riscv-semantics;

· Stevengre opened on May 13, 2025

Speed up the rewriting application

enhancementNew feature or requestNew feature or request

Status: Open.

#96 In runtimeverification/riscv-semantics;

· Stevengre opened on May 9, 2025

Complete test for <code>dropFront</code>, <code>writeBytes</code>, <code>pickFront</code>, <code>readBytes</code>.

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In runtimeverification/riscv-semantics;

· Stevengre opened on May 8, 2025