Search results

Why are some CF instructions commented out?

Status: Open.

#12 In secure-compilation/SECOMP;

· ErrWare opened on Jun 24, 2025

Document Assumption 1

Status: Open.

#10 In secure-compilation/SECOMP;

· catalin-hritcu opened on Jun 29, 2024

Should volatile memory operations be listed in the interface or not?

Status: Open.

#9 In secure-compilation/SECOMP;

· catalin-hritcu opened on Jun 28, 2024

Dependent type issue with rewrite in CapAsm backend

Status: Open.

#8 In secure-compilation/SECOMP;

· argsv opened on Jun 20, 2024

Print compartment names in <code>.s</code> files (ASM)

Status: Open.

#7 In secure-compilation/SECOMP;

· catalin-hritcu opened on May 8, 2024

Assigning a default compartment in the parser

Status: Open.

#3 In secure-compilation/SECOMP;

· jeremyThibault opened on Dec 6, 2023