-
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
crucible-jvm: Add permission bit for writability to each instance field and array.
#735
by brianhuffman
was merged May 14, 2021
Loading…
crucible-jvm: Add permission bit for writability to each static field.
#733
by brianhuffman
was merged May 13, 2021
Loading…
Update saw-core submodule and adapt to GaloisInc/saw-core#119.
#620
by brianhuffman
was merged Jan 19, 2021
Loading…
Reimplement translation of
getstatic and putstatic following JVM spec.
#591
by brianhuffman
was merged Jan 12, 2021
Loading…
Switch from ansi-wl-pprint to the prettyprinter package.
#586
by brianhuffman
was merged Dec 1, 2020
Loading…
Use map indexed by
TermIndex instead of Map Term.
#581
by brianhuffman
was merged Nov 14, 2020
Loading…
Remove duplicate line from crucible-llvm.cabal.
#568
by brianhuffman
was merged Oct 15, 2020
Loading…
Use Map-based data structure for LLVM allocation histories.
#550
by brianhuffman
was merged Nov 9, 2020
Loading…
Extend MemImpl with new field to support new faster
isGlobalPointer.
#546
by brianhuffman
was merged Sep 29, 2020
Loading…
Make code compile without warnings in ghc-8.6 and ghc-8.8.
#472
by brianhuffman
was merged Apr 28, 2020
Loading…
Add function to check validity and alignment of LLVM pointers
#422
by brianhuffman
was merged Jan 28, 2020
Loading…
Export functions
isAllocated and isAllocatedMutable from MemModel.
#420
by brianhuffman
was closed Jan 27, 2020
Loading…
Export function
isAligned from LLVM memory model.
#416
by brianhuffman
was merged Jan 24, 2020
Loading…
what4: Replace DisjPred constructor with NandPred.
#405
by brianhuffman
was closed Jan 17, 2020
Loading…
More efficient weighted sum computations using annotated maps
#383
by brianhuffman
was merged Dec 27, 2019
Loading…
Make truncation-of-weighted-sum rewrite rule more conservative.
#363
by brianhuffman
was merged Dec 5, 2019
Loading…
Subtract 1 from type argument to saw-core functions
bvSDiv and bvSRem.
#357
by brianhuffman
was merged Dec 3, 2019
Loading…
Make
isAllocated forbid wrap-around accesses on unbounded allocations
#346
by brianhuffman
was merged Nov 15, 2019
Loading…
Don't generate redundant assertion in
doPtrAddOffset when offset = 0.
#344
by brianhuffman
was closed Nov 13, 2019
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2024-07-10.