Search results

ci: Support Ubuntu 24.04, drop 20.04

Status: Open.

#323 In GaloisInc/reopt;

· langston-barrett opened on Mar 27, 2025

Improve finding and handling no-return functions

Status: Open.

#314 In GaloisInc/reopt;

· staslyakhov opened on Oct 1, 2024

Limitation: support for functions with more than six arguments

Status: Open.

#313 In GaloisInc/reopt;

· Ptival opened on Sep 25, 2024

Support floats in Reopt type inference

Status: Open.

#307 In GaloisInc/reopt;

· Ptival opened on Mar 13, 2024

Example from README doesn't run in Docker container

Status: Open.

#256 In GaloisInc/reopt;

· kenballus opened on Jun 16, 2023

Consider adding a HasConstraintProvenance class

Status: Open.

#249 In GaloisInc/reopt;

· RyanGlScott opened on May 24, 2023

opt fails on musl-gcc -static binary

Status: Open.

#237 In GaloisInc/reopt;

· RyanGlScott opened on Apr 17, 2023

Limitation: void in type signature confuses reopt

Status: Open.

#222 In GaloisInc/reopt;

· Ptival opened on Jan 21, 2023

Bug: types need to be quoted in CSV

Status: Open.

#200 In GaloisInc/reopt;

· Ptival opened on Apr 1, 2022

Bug: not respecting function return type

Status: Open.

#199 In GaloisInc/reopt;

· Ptival opened on Mar 30, 2022

Bug: not reconciling pointer types with external function types nicely

Status: Open.

#198 In GaloisInc/reopt;

· Ptival opened on Mar 30, 2022

Bug: zero-length vector in function argument types in LLVM output

Status: Open.

#185 In GaloisInc/reopt;

· Ptival opened on Mar 21, 2022