Search results

Encountered an unexpected error in Prover, please report in certora.com. Error code 2765270250

Status: Open.

#56 In Certora/CertoraProver;

· banshee opened on Dec 27, 2025

VSCode formatter for .spec files fails on enclosed code

Status: Open.

#54 In Certora/CertoraProver;

· banshee opened on Dec 22, 2025

VSCode extension has broken link to the repository for the language server

Status: Open.

#53 In Certora/CertoraProver;

· banshee opened on Dec 21, 2025

Why the following rule passes?

Status: Open.

#45 In Certora/CertoraProver;

· iirekm opened on Nov 8, 2025

Provide a binary distribution with all dependencies

Status: Open.

#44 In Certora/CertoraProver;

· iirekm opened on Nov 8, 2025

Seeking Clarification

Status: Open.

#38 In Certora/CertoraProver;

· gypsyking18 opened on Oct 6, 2025

Clarification on HAVOC in Call Trace After Linking External Contracts

Status: Open.

#30 In Certora/CertoraProver;

· dayday2019 opened on Aug 7, 2025

Issue: Cannot resolve @openzeppelin imports with certoraRun despite packages/packages_path parameters

Status: Open.

#29 In Certora/CertoraProver;

· dayday2019 opened on Aug 5, 2025

Feature Request: Automate the --link Process for Large Projects with Multiple Solidity Files

Status: Open.

#27 In Certora/CertoraProver;

· dayday2019 opened on Jul 23, 2025

SSH link could be HTTPS link

Status: Open.

#25 In Certora/CertoraProver;

· smoelius opened on Jul 3, 2025

<code>FUNCTION_BUILDER</code> error when analyzing contracts with nested internal library function calls

Status: Open.

#22 In Certora/CertoraProver;

· tarasbob opened on Jun 10, 2025

Certora Prover cannot summarise Context._msgSender() – prevents proving “success” path for contracts inheriting OpenZeppelin Context

Status: Open.

#20 In Certora/CertoraProver;

· tarasbob opened on Jun 7, 2025