Search results

Assertion error: Expected cells for indices used in reachable memory access to have corresponding DSA cells

Status: Open.

#584 In UQ-PAC/BASIL;

· aaronbembenek opened on Oct 30, 2025

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

nix-cc.sh hardcoded flags

Status: Open.

#534 In UQ-PAC/BASIL;

· ailrst opened on Aug 4, 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

Nightly CI run for Slow tests

Status: Open.

#528 In UQ-PAC/BASIL;

· ailrst opened on Jul 29, 2025

Structure for value analysis

refactorRefactor to clean up code or designRefactor to clean up code or design

scope:week

Status: Open.

#464 In UQ-PAC/BASIL;

· ailrst opened on Jun 17, 2025

Regression test setup

Status: Open.

#458 In UQ-PAC/BASIL;

· ailrst opened on Jun 16, 2025