GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

llvm: Improve support for storing C-style null-terminated strings to memory

#1464

· langston-barrett opened

on Jul 11, 2025

MIR assertion counterexample printed incorrectly

#1442

· podhrmic opened

on Jun 24, 2025

<code>crux-mir</code>: Counterexample source location incorrect

#1441

· podhrmic opened

on Jun 24, 2025

<code>crux-mir</code>: Print counterexamples in a user friendly fashion

#1440

· podhrmic opened

on Jun 24, 2025

<code>crux-mir</code>: external crate not compiled

#1436

· podhrmic opened

on Jun 17, 2025

<code>crux-mir</code>: <code>panic!</code> leads to "vtable signature mismatch"

#1431

· podhrmic opened

on Jun 17, 2025

crux-mir: Union types are unsupported

#1429

· podhrmic opened

on Jun 17, 2025

<code>AssumptionStack</code>: Use a new <code>IO</code> nonce generator for frame IDs

#1427

· langston-barrett opened

on Jun 13, 2025

backend: Document expectations for shutting down the solver process

#1425

· langston-barrett opened

on Jun 12, 2025

Build multi-platform docker images

#1419

· podhrmic opened

on Jun 9, 2025

debug: Command for printing the value of a global variable

#1417

· langston-barrett opened

on Jun 6, 2025

<code>crux</code>: Print commit hash in <code>--version</code> output

#1416

· RyanGlScott opened

on Jun 6, 2025

0