-
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
Fix SMTLib2 syntax for floating-point conversions
#190
by robdockins
was merged Apr 11, 2019
Loading…
Handle empty writes when merging with indexed writes
#279
by chameco
was merged Jun 28, 2019
Loading…
Make truncation-of-weighted-sum rewrite rule more conservative.
#363
by brianhuffman
was merged Dec 5, 2019
Loading…
Update CFG.Expr pretty printer to show partial expressions.
#339
by brianhuffman
was merged Nov 12, 2019
Loading…
Add execution feature to observe argument buffer sizes
#299
by chameco
was merged Aug 8, 2019
Loading…
Export functions
isAllocated
and isAllocatedMutable
from MemModel.
#420
by brianhuffman
was closed Jan 27, 2020
Loading…
Add function to check validity and alignment of LLVM pointers
#422
by brianhuffman
was merged Jan 28, 2020
Loading…
Clean up / improve array size inference execution feature
#464
by chameco
was merged Aug 11, 2020
Loading…
Switch from ansi-wl-pprint to the prettyprinter package.
#586
by brianhuffman
was merged Dec 1, 2020
Loading…
Add llvm.dbg.label to the list of LLVM debugging intrinsics
#582
by chameco
was merged Nov 18, 2020
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-08-14.