Search results

Semantic Optimizations for Symbolic Execution Efficiency - Technical Report

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#159 In runtimeverification/riscv-semantics;

· Stevengre opened on Jul 11, 2025

RISC-V Semantics Commit Change Analysis

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#158 In runtimeverification/riscv-semantics;

· Stevengre opened on Jul 8, 2025

The #WB simplification rule with requires is not total and may cause stuck states**

questionFurther information is requestedFurther information is requested

Status: Open.

#157 In runtimeverification/riscv-semantics;

· Stevengre opened on Jul 3, 2025

Should we compute the writeBytes as much as possible?

Status: Open.

#150 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 23, 2025

Should we use BUF to replace sparse bytes?

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 23, 2025

Tips 4 simp rule writing

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#144 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 18, 2025

Unsolved nested overflow check

simp

Status: Open.

Feature

#141 In runtimeverification/riscv-semantics;

· Stevengre opened on Jun 18, 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 preserves-definedness

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 dropFront, writeBytes, pickFront, readBytes.

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In runtimeverification/riscv-semantics;

· Stevengre opened on May 8, 2025