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

Add support for SMT array backed pointers in writeMemWithAllocationCheck
#777 by bboston7 was merged Jul 23, 2021 Loading…
7
Cleanup
#795 by robdockins was merged Aug 4, 2021 Loading…
Float printf
#796 by robdockins was merged Aug 4, 2021 Loading…
2
insertvalue translation fixes
#799 by robdockins was merged Aug 5, 2021 Loading…
2
Fix Git clone instructions to work out of the box.
#823 by varosi-chaosgroup was merged Aug 26, 2021 Loading…
1
8
uc-crux-llvm: Update README demo with current output
#837 by langston-barrett was merged Sep 3, 2021 Loading…
1
uc-crux-llvm: Smaller configuration types for a nicer API
#832 by langston-barrett was merged Sep 3, 2021 Loading…
48
Rudimentary LLVM 12 support SV-COMP Issues related to making crux eligible to participate in SV-COMP.
#855 by RyanGlScott was merged Sep 17, 2021 Loading…
2
Add overrides for llvm.ubsantrap, llvm.abs.*, and friends SV-COMP Issues related to making crux eligible to participate in SV-COMP.
#856 by RyanGlScott was merged Sep 20, 2021 Loading…
1
9
Update Crux Dockerfiles to use pre-built solvers
#873 by atomb was merged Oct 5, 2021 Loading…
6
uc-crux-llvm: Add source position traces to debug log uc-crux Issues specific to under-constrained crux
#916 by langston-barrett was merged Nov 8, 2021 Loading…
12
crucible-jvm, ci: Adapt to recent Crux API changes, build in CI
#902 by langston-barrett was merged Oct 29, 2021 Loading…
2
crucible-go, ci: Adapt to recent Crux API changes, build in CI CI go
#904 by langston-barrett was merged Nov 1, 2021 Loading…
1
5
Dbg def use
#886 by robdockins was merged Oct 14, 2021 Loading…
23
uc-crux-llvm: Prefer using 'toEnum' over 'fromIntegral' uc-crux Issues specific to under-constrained crux
#876 by langston-barrett was merged Oct 7, 2021 Loading…
@langston-barrett
1
Update version bounds on parameterized-utils in Cabal freeze files
#877 by langston-barrett was merged Oct 7, 2021 Loading…
fix no-colors for help/version
#878 by Ptival was merged Oct 26, 2021 Loading…
12
Backport Docker and CI changes from release branch
#883 by atomb was merged Oct 11, 2021 Loading…
3
Bump Crux versions after 0.5 release
#880 by atomb was merged Oct 8, 2021 Loading…
Update Crux bundling rules
#875 by atomb was merged Oct 6, 2021 Loading…
uc-crux-llvm: Use a fixed configuration in test suite
#863 by langston-barrett was merged Sep 23, 2021 Loading…
2
Set OS_TAG to fix crux-mir build
#870 by atomb was merged Sep 27, 2021 Loading…
2
uc-crux-llvm: Split the test suite into more modules
#869 by langston-barrett was merged Sep 28, 2021 Loading…
2
uc-crux-llvm: Minor test suite fixes uc-crux Issues specific to under-constrained crux
#865 by langston-barrett was merged Sep 25, 2021 Loading…
@langston-barrett
2
CI: Don't try to upload artifacts from forks
#866 by langston-barrett was merged Sep 28, 2021 Loading…
@langston-barrett
2
ProTip! no:milestone will show everything without a milestone.