-
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
Export functions
isAllocated
and isAllocatedMutable
from MemModel.
#420
by brianhuffman
was closed Jan 27, 2020
Loading…
updated Aug 5, 2022
Add function to check validity and alignment of LLVM pointers
#422
by brianhuffman
was merged Jan 28, 2020
Loading…
updated Dec 16, 2021
Switch from ansi-wl-pprint to the prettyprinter package.
#586
by brianhuffman
was merged Dec 1, 2020
Loading…
updated Dec 16, 2021
Use Map-based data structure for LLVM allocation histories.
#550
by brianhuffman
was merged Nov 9, 2020
Loading…
updated Dec 16, 2021
Make truncation-of-weighted-sum rewrite rule more conservative.
#363
by brianhuffman
was merged Dec 5, 2019
Loading…
updated Dec 18, 2019
Update CFG.Expr pretty printer to show partial expressions.
#339
by brianhuffman
was merged Nov 12, 2019
Loading…
updated Nov 13, 2019
ProTip!
Follow long discussions with comments:>50.