Issues

• Support crux-llvm-0.10

  enhancement
  Copilot-Language/copilot-verifier#84 · Filter by author RyanGlScott opened on Mar 27, 2025
  1

  

• Support verifying specifications using multiple triggers with the same name

  enhancement
  Copilot-Language/copilot-verifier#74 · Filter by author RyanGlScott opened on Jan 6, 2025
  1

• Display Copilot-related line number information

  enhancementrequires upstream changes
  Copilot-Language/copilot-verifier#37 · Filter by author RyanGlScott opened on Mar 15, 2023
  1

  

• Ask Copilot for the names of generated global variables

  enhancementrequires upstream changes
  Copilot-Language/copilot-verifier#25 · Filter by author robdockins opened on Jan 26, 2022

• Produce explanations of why a verified program is correct

  enhancement
  Copilot-Language/copilot-verifier#23 · Filter by author RyanGlScott opened on Jan 17, 2022
  1

• Improve error reporting

  enhancement
  Copilot-Language/copilot-verifier#12 · Filter by author RyanGlScott opened on Nov 15, 2021