Search results

Incorrect semantics for <code>__VERIFIER_nondet_*</code>

Status: Open.

#603 In UQ-PAC/BASIL;

· aaronbembenek opened on Feb 13, 2026

Incorrect R30 assertion

Status: Open.

#602 In UQ-PAC/BASIL;

· aaronbembenek opened on Feb 13, 2026

Missed constant propagation

Status: Open.

#601 In UQ-PAC/BASIL;

· aaronbembenek opened on Feb 13, 2026

procedure summaries crash

Status: Open.

#594 In UQ-PAC/BASIL;

· utting opened on Jan 23, 2026

Memory transform: Over simplification of IR

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#592 In UQ-PAC/BASIL;

· JTrenerry opened on Jan 21, 2026

OOM error

Status: Open.

#583 In UQ-PAC/BASIL;

· aaronbembenek opened on Oct 29, 2025

Inconsistent variable reference between procedure spec and body

Status: Open.

#582 In UQ-PAC/BASIL;

· aaronbembenek opened on Oct 29, 2025

Stack overflow

Status: Open.

#581 In UQ-PAC/BASIL;

· aaronbembenek opened on Oct 28, 2025

Handling goto to start of function

Status: Open.

#579 In UQ-PAC/BASIL;

· l-kent opened on Oct 1, 2025

Investigate -no-indent compiler flag

Status: Open.

#538 In UQ-PAC/BASIL;

· l-kent opened on Aug 6, 2025

Security policy for <code>$Gamma_Global_*</code> variables?

bugSomething isn't workingSomething isn't working

Status: Open.

#531 In UQ-PAC/BASIL;

· aaronbembenek opened on Aug 4, 2025

Add pure memory load expression

Status: Open.

#530 In UQ-PAC/BASIL;

· ailrst opened on Jul 30, 2025