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

uc-crux-llvm: Postprocess Crux options in test suite
#868 by langston-barrett was merged Sep 27, 2021 Loading…
@langston-barrett
3
uc-crux-llvm: Refactor into more modules for code reuse uc-crux Issues specific to under-constrained crux
#859 by langston-barrett was merged Oct 6, 2021 Loading…
@langston-barrett
5
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…
Support building with GHC 9.0
#948 by RyanGlScott was merged Jan 7, 2022 Loading…
8
Expose a few additional operations onm SymSequence
#955 by robdockins was merged Mar 17, 2022 Loading…
crucible-syntax: Bump version bound on megaparsec
#1114 by langston-barrett was merged Nov 1, 2023 Loading…
crucible-llvm-syntax: Concrete syntax for Crucible-LLVM
#1113 by langston-barrett was merged Nov 1, 2023 Loading…
@langston-barrett
21
Pare down the number of CI configurations
#962 by RyanGlScott was merged Apr 21, 2022 Loading…
2
crux-llvm: Fix test suite with Clang 12
#979 by RyanGlScott was merged May 10, 2022 Loading…
1
{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
Update llvm-pretty, remove upstreamed debug info utilities
#987 by langston-barrett was merged May 13, 2022 Loading…
1
@langston-barrett
2
Make crux-llvm et al. compile on Windows
#966 by RyanGlScott was merged Apr 25, 2022 Loading…
1
Support building with GHC 9.2
#968 by RyanGlScott was merged Apr 27, 2022 Loading…
2
crucible-llvm-syntax: Export pointer type parser llvm syntax
#1119 by langston-barrett was merged Nov 2, 2023 Loading…
@langston-barrett
crucible-llvm-syntax: Make the parser extensible, introduce type aliases (e.g., long) llvm syntax
#1120 by langston-barrett was merged Nov 2, 2023 Loading…
@langston-barrett
5
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
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 CI for GHC 9.2.3 (and nixos-22.05).
#1002 by kquick was merged Jun 17, 2022 Loading…
1
Bump tasty-sugar to use version 1.3.
#1009 by kquick was merged Jun 29, 2022 Loading…
1
LLVM lazy load
#1006 by robdockins was merged Jun 30, 2022 Loading…
31
crucible-syntax: Add forward declarations syntax
#997 by RyanGlScott was merged May 26, 2022 Loading…
1
4
ProTip! Updated in the last three days: updated:>2024-07-10.