Skip to content

Pull requests: GaloisInc/crucible

New pull request New
Clear current search query, filters, and sorts
0 Open 30 Closed
0 Open 30 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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
4
Bump upper bounds on th-abstraction package.
#230 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
1
Crucible jvm
#238 by brianhuffman was merged May 21, 2019 Loading… updated May 21, 2019
Crucible jvm
#239 by brianhuffman was merged May 23, 2019 Loading… updated May 23, 2019
3
Speed up muxing of GlobalState.
#211 by brianhuffman was merged May 7, 2019 Loading… updated Aug 6, 2019
6
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
1
8
Add special case to bvSelect for truncating a WeightedSum of bitvectors
#343 by brianhuffman was merged Nov 14, 2019 Loading… updated Nov 14, 2019
1
3
Saw script issue585a
#347 by brianhuffman was merged Nov 15, 2019 Loading… updated Nov 15, 2019
1
1
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
1
8
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
1
Don't generate redundant assertion in doPtrAddOffset when offset = 0.
#344 by brianhuffman was closed Nov 13, 2019 Loading… updated Dec 18, 2019
1
2
Remove DisjPred constructor
#413 by brianhuffman was merged Jan 24, 2020 Loading… updated Feb 25, 2020
8
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
4
Use map indexed by TermIndex instead of Map Term.
#581 by brianhuffman was merged Nov 14, 2020 Loading… updated Nov 14, 2020
3
Jvm resolve field
#583 by brianhuffman was merged Nov 24, 2020 Loading… updated Nov 24, 2020
2
Changes to crucible-jvm field operations
#589 by brianhuffman was merged Dec 16, 2020 Loading… updated Dec 16, 2020
2
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
10
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
2
Remove duplicate line from crucible-llvm.cabal.
#568 by brianhuffman was merged Oct 15, 2020 Loading… updated Dec 16, 2021
Reimplement translation of getstatic and putstatic following JVM spec.
#591 by brianhuffman was merged Jan 12, 2021 Loading… updated Dec 16, 2021
3
ProTip! Follow long discussions with comments:>50.