GitHub · Where software is built

Preview

Labels Milestones New issue

Switch from `itanium-abi` package to `demangler` package.

#1235

· kquick opened on Aug 7, 2024

`crucible-llvm` rejects memory load of a struct with padding

#1219

· RyanGlScott opened on Jul 2, 2024

Translation failure on rustc-produced LLVM bitcode

#1218

· langston-barrett opened on Jul 1, 2024

Concretizing LLVM memory

#1217

· langston-barrett opened on Jun 28, 2024

llvm: Remove the LLVM declaration from `LLVMOverride`

#1138

· langston-barrett opened on Nov 16, 2023

crucible-llvm: Move memory model into a separate library

#1127

· langston-barrett opened on Nov 9, 2023

crucible-llvm: Move translation from llvm-pretty ASTs into a separate library

#1126

· langston-barrett opened on Nov 9, 2023

crucible-llvm-syntax: Concrete syntax for remaining LLVM syntax formers

#1118

· langston-barrett opened on Nov 1, 2023

crucible-llvm-syntax: Concrete syntax for `Alignment`

#1117

· langston-barrett opened on Nov 1, 2023

crucible-llvm-syntax: Concrete syntax for all constructors of `MemType`

#1116

· langston-barrett opened on Nov 1, 2023

Support opaque pointers in `crucible-llvm` and `uc-crux-llvm`

#1075

· RyanGlScott opened on Apr 10, 2023

`crucible-llvm`: Support loading mostly symbolic strings

#1061

· RyanGlScott opened on Feb 15, 2023