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

Remove unused dependencies detected by -Wunused-packages
#1078 by RyanGlScott was merged Apr 12, 2023 Loading…
1
crucible-llvm-cli: Support for overrides; loading and calling functions llvm syntax
#1125 by langston-barrett was merged Nov 14, 2023 Loading…
6 tasks done
@langston-barrett
8
Support up to LLVM 14
#1083 by RyanGlScott was merged Apr 20, 2023 Loading…
1
crux-llvm-test: Sanitize SMT formulas in --get-abducts output
#1088 by RyanGlScott was merged May 8, 2023 Loading…
1
3
More complete support for opaque pointers (required for LLVM 15+)
#1085 by RyanGlScott was merged May 30, 2023 Loading…
12
crucible-syntax: Separate interface and implementation of parsing monad syntax
#1133 by langston-barrett was merged Nov 15, 2023 Loading…
@langston-barrett
9
uc-crux-llvm: Fix skipping of varargs functions uc-crux Issues specific to under-constrained crux
#1091 by langston-barrett was merged May 22, 2023 Loading…
1
@langston-barrett
1
Prepare for Crux 0.7 release
#1093 by RyanGlScott was merged Jun 26, 2023 Loading…
7
Fix Docker issues uncovered during Crux 0.7 release
#1094 by RyanGlScott was merged Jun 26, 2023 Loading…
3
Nightly Crux Docker builds
#1095 by RyanGlScott was merged Jul 3, 2023 Loading…
2
2
Remove stack references; cabal is now fully capable for this project.
#1098 by kquick was merged Jul 10, 2023 Loading…
7
Support building with GHC 9.6
#1102 by RyanGlScott was merged Aug 3, 2023 Loading…
CI: Install llvm@12 with brew on macOS
#1104 by RyanGlScott was merged Aug 14, 2023 Loading…
Consistently use same Rust nightly across CI and Docker images
#1099 by RyanGlScott was merged Jul 17, 2023 Loading…
1
crucible-mir: Add *IO entrypoints for each memory model operation
#1107 by RyanGlScott was merged Aug 31, 2023 Loading…
1
Typed overrides
#1136 by langston-barrett was merged Nov 27, 2023 Loading…
1
@langston-barrett
10
Implement overrides for llvm.is.fpclass and friends
#1110 by RyanGlScott was merged Sep 29, 2023 Loading…
1
crucible-llvm: Helpers for binding function handles
#1142 by langston-barrett was merged Dec 5, 2023 Loading…
4
crucible-mir: Handle repr(transparent) enums appropriately
#1141 by RyanGlScott was merged Dec 8, 2023 Loading…
1
Add overrides for fma, fmaf, llvm.fmuladd.*, and llvm.fma.*
#1155 by RyanGlScott was merged Dec 11, 2023 Loading…
1
2
crucible-llvm-syntax: Parse addition and subtraction of pointers
#1146 by langston-barrett was merged Dec 7, 2023 Loading…
@langston-barrett
2
crucible: Introduce a helper to bind CFGs to their handles crucible
#1151 by langston-barrett was merged Dec 7, 2023 Loading…
3
crucible-syntax: Remove ACFG in favor of AnyCFG
#1150 by langston-barrett was merged Dec 7, 2023 Loading…
1
@langston-barrett
3
crux-mir: Support cross-compiling libs to wasm32 target crux MIR Issues relating to Rust/MIR support
#1147 by qsctr was merged Dec 7, 2023 Loading…
@qsctr
16
crucible-syntax: Fix a few warnings
#1156 by langston-barrett was merged Dec 12, 2023 Loading…
@langston-barrett
ProTip! Type g i on any issue or pull request to go back to the issue listing page.