-
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…
updated Feb 15, 2018
Bump upper bounds on th-abstraction package.
#230
by brianhuffman
was merged May 16, 2019
Loading…
updated May 16, 2019
Fix handling of JVM local variables in JVM-to-Crucible translation
jvm
#231
by brianhuffman
was merged May 16, 2019
Loading…
updated May 16, 2019
Crucible-jvm numeric primitives
#233
by brianhuffman
was merged May 20, 2019
Loading…
updated May 20, 2019
Make
runMethodHandleCrux
zero-initialize all static fields.
#237
by brianhuffman
was merged May 21, 2019
Loading…
updated May 21, 2019
Speed up muxing of GlobalState.
#211
by brianhuffman
was merged May 7, 2019
Loading…
updated Aug 6, 2019
Move JVM run-time memory operations from saw-script
#248
by brianhuffman
was merged May 24, 2019
Loading…
updated Aug 6, 2019
Simplify predicates generated by
isAllocated
.
#338
by brianhuffman
was merged Nov 12, 2019
Loading…
updated Nov 12, 2019
Add special case to
bvSelect
for truncating a WeightedSum of bitvectors
#343
by brianhuffman
was merged Nov 14, 2019
Loading…
updated Nov 14, 2019
Update CFG.Expr pretty printer to indicate omitted AssertionTree.
#342
by brianhuffman
was merged Nov 13, 2019
Loading…
updated Dec 18, 2019
Make
isAllocated
forbid wrap-around accesses on unbounded allocations
#346
by brianhuffman
was merged Nov 15, 2019
Loading…
updated Dec 18, 2019
Subtract 1 from type argument to saw-core functions
bvSDiv
and bvSRem
.
#357
by brianhuffman
was merged Dec 3, 2019
Loading…
updated Dec 18, 2019
Don't generate redundant assertion in
doPtrAddOffset
when offset = 0.
#344
by brianhuffman
was closed Nov 13, 2019
Loading…
updated Dec 18, 2019
Remove DisjPred constructor
#413
by brianhuffman
was merged Jan 24, 2020
Loading…
updated Feb 25, 2020
Make code compile without warnings in ghc-8.6 and ghc-8.8.
#472
by brianhuffman
was merged Apr 28, 2020
Loading…
updated May 7, 2020
Use map indexed by
TermIndex
instead of Map Term
.
#581
by brianhuffman
was merged Nov 14, 2020
Loading…
updated Nov 14, 2020
Changes to crucible-jvm field operations
#589
by brianhuffman
was merged Dec 16, 2020
Loading…
updated Dec 16, 2020
Update saw-core submodule and adapt to GaloisInc/saw-core#119.
#620
by brianhuffman
was merged Jan 19, 2021
Loading…
updated Jan 19, 2021
crucible-jvm: Add permission bit for writability to each static field.
#733
by brianhuffman
was merged May 13, 2021
Loading…
updated May 13, 2021
crucible-jvm: Add permission bit for writability to each instance field and array.
#735
by brianhuffman
was merged May 14, 2021
Loading…
updated May 14, 2021
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.