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

Update the crucible tests to account for an extra type parameter
#562 by travitch was merged Oct 7, 2020 Loading…
[crucible-wasm] remove unneeded import.
#686 by kquick was merged Mar 18, 2021 Loading…
crux-llvm: use replicate
#734 by Ptival was merged Jun 3, 2021 Loading…
Bump what4 submodule
#754 by robdockins was merged Jun 4, 2021 Loading…
Cleanup
#795 by robdockins was merged Aug 4, 2021 Loading…
Update version bounds on parameterized-utils in Cabal freeze files
#877 by langston-barrett was merged Oct 7, 2021 Loading…
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…
Haddock fails on commenting function args for record elements.
#944 by kquick was merged Jan 4, 2022 Loading…
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…
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
Make crux-llvm et al. compile on Windows
#966 by RyanGlScott was merged Apr 25, 2022 Loading…
1
crucible-llvm-syntax: Export pointer type parser llvm syntax
#1119 by langston-barrett was merged Nov 2, 2023 Loading…
@langston-barrett
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…
CI: Use macOS 12
#1015 by RyanGlScott was merged Jul 21, 2022 Loading…
Fix Haddock parse errors
#1017 by RyanGlScott was merged Aug 1, 2022 Loading…
1
crucible-syntax: Export isType
#1014 by RyanGlScott was merged Jul 19, 2022 Loading…
CI: Use Ubuntu 22.04, drop 18.04
#1026 by RyanGlScott was merged Aug 22, 2022 Loading…
Add upper version bounds to simple-get-opt
#1049 by RyanGlScott was merged Oct 12, 2022 Loading…
Export string from Lang.Crucible.Syntax.Concrete syntax
#1058 by RyanGlScott was merged Nov 21, 2022 Loading…
crucible-llvm: Do not assume UTF-8 encoding in printf override crucible libc llvm
#1062 by RyanGlScott was merged Feb 23, 2023 Loading…
1
crux-llvm: Don't call llvm-link when given single input .bc file
#1063 by RyanGlScott was merged Mar 7, 2023 Loading…
1
ProTip! Exclude everything labeled bug with -label:bug.