Search results

rustc version support policy (MSRV)

Status: Open.

#83 In GaloisInc/yapall;

· kquick opened on Nov 16, 2023

doc: Link to OOPSLA paper

doc

Status: Open.

#72 In GaloisInc/yapall;

· langston-barrett opened on Oct 5, 2023

tests: undef.c no longer produces an <code>undef</code> constant

bugSomething isn't workingSomething isn't working

Status: Open.

#54 In GaloisInc/yapall;

· langston-barrett opened on Aug 31, 2023

Rust tests failing with LLVM version mismatch regarding opaque pointers

Status: Open.

#49 In GaloisInc/yapall;

· kquick opened on Aug 30, 2023

irving_precision test failing

bugSomething isn't workingSomething isn't working

Status: Open.

#48 In GaloisInc/yapall;

· kquick opened on Aug 30, 2023

Model LLVM exception handling (for C++)

soundness

Status: Open.

#42 In GaloisInc/yapall;

· langston-barrett opened on Aug 15, 2023

Compute byte offsets of GEPs

featNew feature or requestNew feature or request

Status: Open.

#37 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023

Offset-based memory model

featNew feature or requestNew feature or request

Status: Open.

#36 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023

Consider linking C++ programs against libc++ bitcode

featNew feature or requestNew feature or request

Status: Open.

#35 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023

Model varargs

soundness

Status: Open.

#34 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023

Investigate test <code>sig_arg_memcpy_arg_o0</code>

soundness

Status: Open.

#33 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023

Investigate test <code>template_vec_o0</code>

soundness

Status: Open.

#32 In GaloisInc/yapall;

· langston-barrett opened on Aug 4, 2023