Issues

• Key Not Found during gtirb loading

  bug
  UQ-PAC/BASIL#626 · Filter by author JTrenerry opened on May 6, 2026
  6

• readUninitialised invariant assertion fails for unreachable blocks

  UQ-PAC/BASIL#621 · Filter by author l-kent opened on Mar 23, 2026

• IDE solver only analylses reachable procedures

  UQ-PAC/BASIL#617 · Filter by author agle opened on Mar 9, 2026
  2

• Incorrect R30 assertion

  UQ-PAC/BASIL#602 · Filter by author aaronbembenek opened on Feb 13, 2026
  3

• Memory transform: Over simplification of IR

  bug
  Bug

  UQ-PAC/BASIL#592 · Filter by author JTrenerry opened on Jan 21, 2026
  8

• OOM error

  UQ-PAC/BASIL#583 · Filter by author aaronbembenek opened on Oct 29, 2025
  4

• Inconsistent variable reference between procedure spec and body

  UQ-PAC/BASIL#582 · Filter by author aaronbembenek opened on Oct 29, 2025
  2

• Investigate -no-indent compiler flag

  UQ-PAC/BASIL#538 · Filter by author l-kent opened on Aug 6, 2025
  4

  

• Security policy for $Gamma_Global_* variables?

  bug
  UQ-PAC/BASIL#531 · Filter by author aaronbembenek opened on Aug 4, 2025
  3

• Add pure memory load expression

  UQ-PAC/BASIL#530 · Filter by author ailrst opened on Jul 30, 2025

• Nightly CI run for Slow tests

  UQ-PAC/BASIL#528 · Filter by author ailrst opened on Jul 29, 2025
  1

• Structure for value analysis

  refactorscope:week
  UQ-PAC/BASIL#464 · Filter by author ailrst opened on Jun 17, 2025
  1

• Regression test setup

  UQ-PAC/BASIL#458 · Filter by author ailrst opened on Jun 16, 2025

• Consolidate simplification flags

  enhancement
  UQ-PAC/BASIL#437 · Filter by author ailrst opened on May 28, 2025

• Extend/Extract removal using known bits analysis

  enhancementscope:half-week
  UQ-PAC/BASIL#416 · Filter by author ailrst opened on Apr 29, 2025
  

• Support memory regions in interpreter

  enhancementscope:half-week
  UQ-PAC/BASIL#411 · Filter by author ailrst opened on Apr 23, 2025

• DSA: Inconsistent regions for global variable

  bug
  UQ-PAC/BASIL#344 · Filter by author aaronbembenek opened on Feb 28, 2025
  1

  

• Interpreter documentation

  UQ-PAC/BASIL#323 · Filter by author ailrst opened on Feb 14, 2025
  

• Integration tests with loops

  UQ-PAC/BASIL#317 · Filter by author ailrst opened on Feb 11, 2025

• Stack overflow when using --analyse option

  bug
  UQ-PAC/BASIL#316 · Filter by author aaronbembenek opened on Feb 11, 2025
  7

• MRA Region Injection Bugs

  UQ-PAC/BASIL#299 · Filter by author l-kent opened on Jan 16, 2025
  1

• DSA: Unifying nodes that point to one-another

  UQ-PAC/BASIL#296 · Filter by author sadrabt opened on Jan 13, 2025

• DSA: create formals from input params rather than CFG

  UQ-PAC/BASIL#295 · Filter by author sadrabt opened on Jan 13, 2025

• Incorrect Flags in FlagLattice

  UQ-PAC/BASIL#286 · Filter by author l-kent opened on Dec 10, 2024
  

• Analysis&transform to make region value type match the load/store to access size and alignment

  enhancementscope:week
  UQ-PAC/BASIL#283 · Filter by author ailrst opened on Dec 10, 2024