Skip to content

Pull requests: GaloisInc/crucible

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

LLVM lazy load
#1006 by robdockins was merged Jun 30, 2022 Loading…
31
Update CI for GHC 9.2.3 (and nixos-22.05).
#1002 by kquick was merged Jun 17, 2022 Loading…
1
crucible-syntax: Add forward declarations syntax
#997 by RyanGlScott was merged May 26, 2022 Loading…
1
4
CI: Use modern GPG keys CI
#992 by RyanGlScott was merged May 19, 2022 Loading…
1
Bump Crux versions after 0.6 release
#989 by RyanGlScott was merged May 18, 2022 Loading…
Update llvm-pretty, remove upstreamed debug info utilities
#987 by langston-barrett was merged May 13, 2022 Loading…
1
@langston-barrett
2
{uc-,}crux-llvm: Update README's wording of recommendation of ghcup documentation
#984 by langston-barrett was merged May 13, 2022 Loading…
1
Prepare for Crux 0.6 release
#983 by RyanGlScott was merged May 16, 2022 Loading…
5
crux-llvm: Fix test suite with Clang 12
#979 by RyanGlScott was merged May 10, 2022 Loading…
1
crucible-llvm: Handle empty structs
#973 by langston-barrett was merged May 4, 2022 Loading…
1
9
crucible-llvm: Handle callbr instruction
#972 by langston-barrett was merged May 4, 2022 Loading…
17
Support building with GHC 9.2
#968 by RyanGlScott was merged Apr 27, 2022 Loading…
2
Make crux-llvm et al. compile on Windows
#966 by RyanGlScott was merged Apr 25, 2022 Loading…
1
Pare down the number of CI configurations
#962 by RyanGlScott was merged Apr 21, 2022 Loading…
2
Expose a few additional operations onm SymSequence
#955 by robdockins was merged Mar 17, 2022 Loading…
Support building with GHC 9.0
#948 by RyanGlScott was merged Jan 7, 2022 Loading…
8
Separate backend
#945 by robdockins was merged Jan 22, 2022 Loading…
30
Haddock fails on commenting function args for record elements.
#944 by kquick was merged Jan 4, 2022 Loading…
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-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
crucible-jvm, ci: Adapt to recent Crux API changes, build in CI
#902 by langston-barrett was merged Oct 29, 2021 Loading…
2
Dbg def use
#886 by robdockins was merged Oct 14, 2021 Loading…
23
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…
fix no-colors for help/version
#878 by Ptival was merged Oct 26, 2021 Loading…
12
ProTip! Follow long discussions with comments:>50.