-
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
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…
Update CFG.Expr pretty printer to indicate omitted AssertionTree.
#342
by brianhuffman
was merged Nov 13, 2019
Loading…
Export function
isAligned
from LLVM memory model.
#416
by brianhuffman
was merged Jan 24, 2020
Loading…
Remove duplicate line from crucible-llvm.cabal.
#568
by brianhuffman
was merged Oct 15, 2020
Loading…
Update saw-core submodule and adapt to GaloisInc/saw-core#119.
#620
by brianhuffman
was merged Jan 19, 2021
Loading…
Don't generate redundant assertion in
doPtrAddOffset
when offset = 0.
#344
by brianhuffman
was closed Nov 13, 2019
Loading…
crucible-jvm: Add permission bit for writability to each instance field and array.
#735
by brianhuffman
was merged May 14, 2021
Loading…
Add special case to
bvSelect
for truncating a WeightedSum of bitvectors
#343
by brianhuffman
was merged Nov 14, 2019
Loading…
what4: Replace DisjPred constructor with NandPred.
#405
by brianhuffman
was closed Jan 17, 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…
Extend MemImpl with new field to support new faster
isGlobalPointer
.
#546
by brianhuffman
was merged Sep 29, 2020
Loading…
Reimplement Crucible.CFG.Generator api using an indexed state monad.
#36
by brianhuffman
was merged Feb 15, 2018
Loading…
Make code compile without warnings in ghc-8.6 and ghc-8.8.
#472
by brianhuffman
was merged Apr 28, 2020
Loading…
More efficient weighted sum computations using annotated maps
#383
by brianhuffman
was merged Dec 27, 2019
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.