Skip to content

Pull requests: GaloisInc/crucible

New pull request New
11 Open 998 Closed
11 Open 998 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

crucible-llvm: Extremely limited support for poison constants crucible llvm
#1684 opened Dec 17, 2025 by RyanGlScott Loading…
@RyanGlScott
5
Allow passing custom options to mir-json when compiling a Rust file. Closes #1556.
#1683 opened Dec 16, 2025 by sand7000 • Draft
6
{crucible,crux}-mir: Represent (), !, and FnDefs with MirAggregateType crucible crux MIR Issues relating to Rust/MIR support
#1677 opened Dec 12, 2025 by RyanGlScott • Draft
1
@RyanGlScott
10
CI: Use apt.llvm.org to download LLVM, test with LLVM 20 CI crux llvm
#1675 opened Dec 12, 2025 by RyanGlScott Loading…
1
@RyanGlScott
8
Vec arrays
#1647 opened Nov 24, 2025 by yav • Draft
3
Publish multi-platform docker image
#1637 opened Nov 17, 2025 by podhrmic • Draft
Make personalities for globals used by bounded execution features
#1597 opened Oct 24, 2025 by 2over12 Loading…
Equality of SymSequences crucible
#1569 opened Oct 16, 2025 by langston-barrett • Draft
@langston-barrett
crucible: Make CrucibleType into type data crucible
#1490 opened Aug 11, 2025 by langston-barrett Loading…
@langston-barrett
3
llvm: API for strlen llvm
#1468 opened Jul 11, 2025 by langston-barrett • Draft
@langston-barrett
RFC: crucible-llvm: Don't represent architecture at the type level
#1046 opened Sep 28, 2022 by langston-barrett Loading…
5
ProTip! What’s not been updated in a month: updated:<2025-11-17.