Search results

Usage of the unstructured template

Status: Open.

#41 In CTSRD-CHERI/TestRIG;

· francislaus opened on Jun 12, 2025

Consider moving to Show-able functions once QuickCheck releases >2.15.0

Status: Open.

#37 In CTSRD-CHERI/TestRIG;

· nwf opened on Dec 9, 2024

Profiles for tuples

Status: Open.

#33 In CTSRD-CHERI/TestRIG;

· francislaus opened on Apr 25, 2024

How are non-deterministic inputs handled

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In CTSRD-CHERI/TestRIG;

· Timmmm opened on Jan 26, 2023

Document RVFI-DII V2 protocol

Status: Open.

#22 In CTSRD-CHERI/TestRIG;

· Timmmm opened on Jan 23, 2023

Additional coverage required for AMO operations

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In CTSRD-CHERI/TestRIG;

· rmn30 opened on Aug 5, 2021

Additional coverage required for stores of capabilities

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In CTSRD-CHERI/TestRIG;

· rmn30 opened on Aug 5, 2021

Reporting xTVAL for Trap=true?

Status: Open.

#17 In CTSRD-CHERI/TestRIG;

· arichardson opened on Nov 14, 2020