Skip to content

Pull requests: GaloisInc/crucible

New pull request New
Clear current search query, filters, and sorts
3 Open 184 Closed
3 Open 184 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

Fix SMTLib2 syntax for floating-point conversions
#190 by robdockins was merged Apr 11, 2019 Loading…
6
Make bvConcat rewrites fire more often
#208 by robdockins was merged Apr 22, 2019 Loading…
10
Speed up the override registration phase
#228 by robdockins was merged May 10, 2019 Loading…
5
Add a crux primitive: crucible_string
#250 by travitch was merged May 28, 2019 Loading…
5
Handle empty writes when merging with indexed writes
#279 by chameco was merged Jun 28, 2019 Loading…
3
Some additional LLVM intrinsics
#290 by robdockins was merged Aug 12, 2019 Loading…
15
Update to use safe nonces
#285 by robdockins was merged Jul 17, 2019 Loading…
1
2
Fix andAlso in LLVMVal testEqual
#243 by andreistefanescu was merged May 23, 2019 Loading…
5
Export more PartLLVMVal functionality.
#175 by andreistefanescu was merged Mar 8, 2019 Loading…
1
Cxx/lax memory
#294 by robdockins was merged Aug 8, 2019 Loading…
10
minor fixes
#359 by robdockins was merged Dec 4, 2019 Loading…
2
Make truncation-of-weighted-sum rewrite rule more conservative.
#363 by brianhuffman was merged Dec 5, 2019 Loading…
1
1
Update CFG.Expr pretty printer to show partial expressions.
#339 by brianhuffman was merged Nov 12, 2019 Loading…
1
4
Improved varargs handling crucible llvm
#376 by robdockins was merged Jan 7, 2020 Loading…
1
43
Add execution feature to observe argument buffer sizes
#299 by chameco was merged Aug 8, 2019 Loading…
6
[WIP] LLVM term annotations
#453 by robdockins was merged Apr 2, 2020 Loading…
4
Export functions isAllocated and isAllocatedMutable from MemModel.
#420 by brianhuffman was closed Jan 27, 2020 Loading…
3
Add function to check validity and alignment of LLVM pointers
#422 by brianhuffman was merged Jan 28, 2020 Loading…
2
Squash warnings
#418 by robdockins was merged Jan 28, 2020 Loading…
3
Clean up / improve array size inference execution feature
#464 by chameco was merged Aug 11, 2020 Loading…
5
Mem alloc array check
#572 by robdockins was merged Nov 3, 2020 Loading…
5
WebAssembly support for crucible
#594 by robdockins was merged Jan 12, 2021 Loading…
39
Make the crucible-llvm tests more configurable
#592 by travitch was merged Dec 18, 2020 Loading…
1
Fix a bug in the LLVM memory model (with SMT array backed allocations)
#603 by travitch was merged Feb 26, 2021 Loading…
@andreistefanescu
4
Switch from ansi-wl-pprint to the prettyprinter package.
#586 by brianhuffman was merged Dec 1, 2020 Loading…
17
ProTip! no:milestone will show everything without a milestone.