All issues

Search results

Assignment of stack pointers omits original type of pointer

Status: Open.

#65 In uuverifiers/tricera;

· Plastpase123 opened on Jun 5, 2026

Exception on multiplication with long numbers in "-arithMode" is not "math"

Status: Open.

#61 In uuverifiers/tricera;

· woosh opened on Jan 28, 2026

Broken array representation with theory-of-heaps.

Status: Open.

Bug

#35 In uuverifiers/tricera;

· woosh opened on Jun 13, 2025

Non-standard signature on calloc

Status: Open.

#30 In uuverifiers/tricera;

· woosh opened on May 21, 2025

Translation of loop invariants to ACSL

Status: Open.

#28 In uuverifiers/tricera;

· woosh opened on Mar 19, 2025

Intermittent "Predicate generation failed" error

Status: Open.

#27 In uuverifiers/tricera;

· woosh opened on Feb 20, 2025

Verifying programs with ACSL contracts but without implementations.

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In uuverifiers/tricera;

· jesper-amilon opened on Sep 5, 2024

Strange behaviour of programs with contract

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In uuverifiers/tricera;

· jesper-amilon opened on Sep 5, 2024

Support for ghost annotations

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In uuverifiers/tricera;

· gustavung opened on Sep 4, 2024

Support for statement contracts

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In uuverifiers/tricera;

· jesper-amilon opened on Jul 11, 2024

Predicate generation failure

Status: Open.

#17 In uuverifiers/tricera;

· woosh opened on Jun 19, 2024