-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: GaloisInc/crucible
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Work around LLVM's reltable lookup optimization
#1214
by RyanGlScott
was merged Jun 11, 2024
Loading…
Use
Seq
instead of lists when concretizing SymSequence
#1213
by langston-barrett
was merged Jun 7, 2024
Loading…
Inject concrete values back into symbolic expressions
#1211
by langston-barrett
was merged Jun 7, 2024
Loading…
Concretization: Getting concrete
RegValue
s from a model
crucible
#1207
by langston-barrett
was merged Jun 6, 2024
Loading…
crucible-llvm
: Skip llvm.experimental.noalias.scope.decl
and llvm.dbg.assign
#1205
by RyanGlScott
was merged May 24, 2024
Loading…
2
crucible-llvm
: Add integer-related llvm.vector.reduce.*
intrinsics
#1201
by RyanGlScott
was merged May 9, 2024
Loading…
llvm: Return the list of overrides that were applied
llvm
#1199
by langston-barrett
was merged Apr 26, 2024
Loading…
llvm: Refactor and document binding functions
llvm
#1198
by langston-barrett
was merged Apr 26, 2024
Loading…
Bump What4 submodule, use new bitvector helpers, hlint
#1195
by langston-barrett
was merged Apr 4, 2024
Loading…
crucible-llvm: Refactor and export override pipe-fitting code
llvm
#1193
by langston-barrett
was merged Mar 27, 2024
Loading…
4 tasks done
crucible-llvm: Generalize override registration code
#1189
by langston-barrett
was merged Mar 27, 2024
Loading…
crucible-llvm: Generalize pipe-fitting code to any language extension
llvm
#1188
by langston-barrett
was merged Mar 26, 2024
Loading…
crucible-llvm: Factor out lists of overrides for LLVM intrinsics
#1187
by langston-barrett
was merged Mar 26, 2024
Loading…
crucible-llvm: Don't pass around the symbolic backend explicitly
#1185
by langston-barrett
was merged Mar 26, 2024
Loading…
crucible-llvm: Generalize
LLVMOverride
's ext
parameter
#1184
by langston-barrett
was merged Mar 22, 2024
Loading…
CI: Build and test both x86-64 and AArch64 macOS
#1173
by RyanGlScott
was merged Feb 15, 2024
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.