Codestin Search App

Thanks to visit codestin.com
Credit goes to github.com

Labels Milestones New issue

<code>crucible-llvm</code>: Fully align <code>getelementptr</code> attribute semantics with LLVM Language Reference

#1605

· RyanGlScott opened

on Oct 30, 2025

Crux always creates a <code>.crucible-debug</code> file, even when the debugger isn't used

#1604

· RyanGlScott opened

on Oct 30, 2025

ExecResult Lens to help with functional access to personalities

#1601

· 2over12 opened

on Oct 28, 2025

llvm-cli: Deduplicate extra override names

#1594

· langston-barrett opened

on Oct 23, 2025

llvm: Change Crucible type of LLVM vectors

#1593

· langston-barrett opened

on Oct 23, 2025

Equality for <code>RegValue</code>

#1582

· langston-barrett opened

on Oct 21, 2025

crux-llvm: Overrides for interacting with the debugger

#1578

· langston-barrett opened

on Oct 19, 2025

crux-llvm: Use LLVM debugger extensions

#1576

· langston-barrett opened

on Oct 17, 2025

llvm: Failing assertion in memory model

#1560

· langston-barrett opened

on Oct 8, 2025

<code>crux-mir</code>: Allow passing custom options to <code>mir-json</code> when compiling a Rust file

#1556

· RyanGlScott opened

on Oct 8, 2025

Consider avoiding undersirable functions in the test report coverage

#1554

· podhrmic opened

on Oct 3, 2025

<code>crucible-mir</code>: support (re)interpreting unions at multiple types

#1548

· samcowger opened

on Sep 22, 2025