Skip to content

Pull requests: GaloisInc/crucible

New pull request New
9 Open 1,009 Closed
9 Open 1,009 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

crux-mir: discriminate on MIR type during concretization
#1700 opened Jan 7, 2026 by samcowger Loading…
Release pre-phase submodule update.
#1699 opened Jan 7, 2026 by aschwerdfeger-galois Loading…
1
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-12-08.