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

Helpers for checking proof obligations
#1215 by langston-barrett was merged Jun 20, 2024 Loading…
@langston-barrett
14
Work around LLVM's reltable lookup optimization
#1214 by RyanGlScott was merged Jun 11, 2024 Loading…
1
1
Use Seq instead of lists when concretizing SymSequence
#1213 by langston-barrett was merged Jun 7, 2024 Loading…
1
@langston-barrett
1
Inject concrete values back into symbolic expressions
#1211 by langston-barrett was merged Jun 7, 2024 Loading…
@langston-barrett
2
Make cabal sdist work for crucible-cli{,-llvm}
#1210 by RyanGlScott was merged Jun 7, 2024 Loading…
1
2
Additional helpers for concretization
#1208 by langston-barrett was merged Jun 6, 2024 Loading…
@langston-barrett
Concretization: Getting concrete RegValues from a model crucible
#1207 by langston-barrett was merged Jun 6, 2024 Loading…
@langston-barrett
8
crucible-llvm: Skip llvm.experimental.noalias.scope.decl and llvm.dbg.assign
#1205 by RyanGlScott was merged May 24, 2024 Loading…
2
Update llvm-pretty submodule target
#1203 by glguy was merged May 24, 2024 Loading…
1
Export bindLLVMFunPtr crucible llvm
#1202 by RyanGlScott was merged May 14, 2024 Loading…
crucible-llvm: Add integer-related llvm.vector.reduce.* intrinsics
#1201 by RyanGlScott was merged May 9, 2024 Loading…
1
1
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
llvm: Refactor override matching llvm
#1197 by langston-barrett was merged Apr 25, 2024 Loading…
@langston-barrett
6
Bump What4 submodule, use new bitvector helpers, hlint
#1195 by langston-barrett was merged Apr 4, 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: Generalize override registration code
#1189 by langston-barrett was merged Mar 27, 2024 Loading…
@langston-barrett
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
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 LLVMOverride's ext parameter
#1184 by langston-barrett was merged Mar 22, 2024 Loading…
@langston-barrett
7
Revert #1169
#1182 by RyanGlScott was merged Mar 12, 2024 Loading…
SyGuS, match concrete size array
#1178 by RyanGlScott was merged May 14, 2024 Loading…
9
crux-mir CI: Free up some extra disk space
#1176 by RyanGlScott was merged Feb 19, 2024 Loading…
1
CI: Build and test both x86-64 and AArch64 macOS
#1173 by RyanGlScott was merged Feb 15, 2024 Loading…
1
ProTip! Updated in the last three days: updated:>2024-07-10.