-
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
Reimplement Crucible.CFG.Generator api using an indexed state monad.
#36
by brianhuffman
was merged Feb 15, 2018
Loading…
Make
runMethodHandleCrux
zero-initialize all static fields.
#237
by brianhuffman
was merged May 21, 2019
Loading…
Move JVM run-time memory operations from saw-script
#248
by brianhuffman
was merged May 24, 2019
Loading…
Subtract 1 from type argument to saw-core functions
bvSDiv
and bvSRem
.
#357
by brianhuffman
was merged Dec 3, 2019
Loading…
More efficient weighted sum computations using annotated maps
#383
by brianhuffman
was merged Dec 27, 2019
Loading…
Update CFG.Expr pretty printer to indicate omitted AssertionTree.
#342
by brianhuffman
was merged Nov 13, 2019
Loading…
Add special case to
bvSelect
for truncating a WeightedSum of bitvectors
#343
by brianhuffman
was merged Nov 14, 2019
Loading…
Don't generate redundant assertion in
doPtrAddOffset
when offset = 0.
#344
by brianhuffman
was closed Nov 13, 2019
Loading…
Make
isAllocated
forbid wrap-around accesses on unbounded allocations
#346
by brianhuffman
was merged Nov 15, 2019
Loading…
what4: Replace DisjPred constructor with NandPred.
#405
by brianhuffman
was closed Jan 17, 2020
Loading…
Make code compile without warnings in ghc-8.6 and ghc-8.8.
#472
by brianhuffman
was merged Apr 28, 2020
Loading…
Export function
isAligned
from LLVM memory model.
#416
by brianhuffman
was merged Jan 24, 2020
Loading…
Use map indexed by
TermIndex
instead of Map Term
.
#581
by brianhuffman
was merged Nov 14, 2020
Loading…
Reimplement translation of
getstatic
and putstatic
following JVM spec.
#591
by brianhuffman
was merged Jan 12, 2021
Loading…
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.