-
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…
Update cryptol and saw-core, adapt crucible-server to tc-errors changes.
crucible-server
#585
by brianhuffman
was merged Nov 24, 2020
Loading…
Update saw-core, adapt crucible-server to structured-names changes.
crucible-server
#584
by brianhuffman
was merged Nov 24, 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…
Previous Next
ProTip!
Adding no:label will show everything without a label.