Skip to content

Pull requests: GaloisInc/crucible

New pull request New
Clear current search query, filters, and sorts
3 Open 184 Closed
3 Open 184 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

crucible-mir: Use correct identifiers for TransCustom intrinsics
#1158 by RyanGlScott was merged Dec 14, 2023 Loading…
1
1
crux-mir: Avoid pointer arithmetic in vec::IntoIter crucible crux MIR Issues relating to Rust/MIR support
#1157 by qsctr was merged Dec 20, 2023 Loading…
1
@qsctr
2
llvm: Export CallStack internals from an internal module
#1163 by langston-barrett was merged Jan 10, 2024 Loading…
1
@langston-barrett
2
{crucible,crux}-llvm: Adapt to elliottt/llvm-pretty#118
#1162 by RyanGlScott was merged Jan 10, 2024 Loading…
1
3
Refactor AssumptionStack
#1169 by langston-barrett was merged Jan 24, 2024 Loading…
@langston-barrett
5
Remove crucible-mc
#1164 by langston-barrett was merged Jan 24, 2024 Loading…
1
@langston-barrett
1
CI: Build and test both x86-64 and AArch64 macOS
#1173 by RyanGlScott was merged Feb 15, 2024 Loading…
1
Prepare for Crux 0.8 releases
#1170 by RyanGlScott was merged Feb 5, 2024 Loading…
1
Forward-port Crux 0.8 changes to master branch
#1171 by RyanGlScott was merged Feb 6, 2024 Loading…
CI: Run crux-llvm test suite in macOS
#1172 by RyanGlScott was merged Feb 14, 2024 Loading…
1
2
crux-mir CI: Free up some extra disk space
#1176 by RyanGlScott was merged Feb 19, 2024 Loading…
1
Revert #1169
#1182 by RyanGlScott was merged Mar 12, 2024 Loading…
crucible-llvm: Generalize LLVMOverride's ext parameter
#1184 by langston-barrett was merged Mar 22, 2024 Loading…
@langston-barrett
7
crucible-llvm: Generalize override registration code
#1189 by langston-barrett was merged Mar 27, 2024 Loading…
@langston-barrett
crucible-llvm: Refactor and export override pipe-fitting code llvm
#1193 by langston-barrett was merged Mar 27, 2024 Loading…
4 tasks done
@langston-barrett
2
crucible-llvm: Don't pass around the symbolic backend explicitly
#1185 by langston-barrett was merged Mar 26, 2024 Loading…
@langston-barrett
9
crucible-llvm: Generalize pipe-fitting code to any language extension llvm
#1188 by langston-barrett was merged Mar 26, 2024 Loading…
@langston-barrett
1
crucible-llvm: Factor out lists of overrides for LLVM intrinsics
#1187 by langston-barrett was merged Mar 26, 2024 Loading…
@langston-barrett
Bump What4 submodule, use new bitvector helpers, hlint
#1195 by langston-barrett was merged Apr 4, 2024 Loading…
@langston-barrett
llvm: Refactor override matching llvm
#1197 by langston-barrett was merged Apr 25, 2024 Loading…
@langston-barrett
6
llvm: Return the list of overrides that were applied llvm
#1199 by langston-barrett was merged Apr 26, 2024 Loading…
@langston-barrett
llvm: Refactor and document binding functions llvm
#1198 by langston-barrett was merged Apr 26, 2024 Loading…
@langston-barrett
8
crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics
#1201 by RyanGlScott was merged May 9, 2024 Loading…
1
1
Export bindLLVMFunPtr crucible llvm
#1202 by RyanGlScott was merged May 14, 2024 Loading…
SyGuS, match concrete size array
#1178 by RyanGlScott was merged May 14, 2024 Loading…
9
ProTip! Follow long discussions with comments:>50.