GitHub · Where software is built

Labels Milestones New issue

Backend tests are not run

#1562

· langston-barrett opened

on Oct 9, 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

Ground evaluation, concretization, and unique concretization

#1550

· langston-barrett opened

on Sep 24, 2025

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

#1548

· samcowger opened

on Sep 22, 2025

<code>crucible-mir</code>: enable, un-disable, and address more GHC warnings

#1544

· samcowger opened

on Sep 19, 2025

syntax: Uninformative error message on ill-formed <code>assume!</code>

#1542

· langston-barrett opened

on Sep 18, 2025

<code>crux</code> shouldn't generate <code>html</code> reports by default

#1535

· yav opened

on Sep 12, 2025

<code>crux-mir</code> can fail in the presence of unused, unsupported <code>static</code>s

#1534

· samcowger opened

on Sep 11, 2025

Profile / performance measurement of the <code>crux-mir</code> workflow

#1531

· podhrmic opened

on Sep 10, 2025

Split out code shared between <code>crux-mir-test</code> and <code>crux-mir-comp-test</code> into common library

#1529

· RyanGlScott opened

on Sep 10, 2025