Search results

Support <code>crux-llvm-0.10</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#84 In Copilot-Language/copilot-verifier;

· RyanGlScott opened on Mar 27, 2025

Support verifying specifications using multiple triggers with the same name

enhancementNew feature or requestNew feature or request

Status: Open.

#74 In Copilot-Language/copilot-verifier;

· RyanGlScott opened on Jan 6, 2025

Display Copilot-related line number information

enhancementNew feature or requestNew feature or request

requires upstream changes

Status: Open.

#37 In Copilot-Language/copilot-verifier;

· RyanGlScott opened on Mar 15, 2023

Ask Copilot for the names of generated global variables

enhancementNew feature or requestNew feature or request

requires upstream changes

Status: Open.

#25 In Copilot-Language/copilot-verifier;

· robdockins opened on Jan 26, 2022

Produce explanations of why a verified program is correct

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In Copilot-Language/copilot-verifier;

· RyanGlScott opened on Jan 17, 2022

Improve error reporting

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In Copilot-Language/copilot-verifier;

· RyanGlScott opened on Nov 15, 2021