-
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
crucible-llvm: Generalize override registration code
#1189
by langston-barrett
was merged Mar 27, 2024
Loading…
crucible-llvm: Factor out lists of overrides for LLVM intrinsics
#1187
by langston-barrett
was merged Mar 26, 2024
Loading…
Bump What4 submodule, use new bitvector helpers, hlint
#1195
by langston-barrett
was merged Apr 4, 2024
Loading…
llvm: Return the list of overrides that were applied
llvm
#1199
by langston-barrett
was merged Apr 26, 2024
Loading…
crucible-llvm
: Skip llvm.experimental.noalias.scope.decl
and llvm.dbg.assign
#1205
by RyanGlScott
was merged May 24, 2024
Loading…
2
Previous Next
ProTip!
Updated in the last three days: updated:>2024-07-10.