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

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
llvm: Refactor and document binding functions llvm
#1198 by langston-barrett was merged Apr 26, 2024 Loading…
@langston-barrett
8
Concretization: Getting concrete RegValues from a model crucible
#1207 by langston-barrett was merged Jun 6, 2024 Loading…
@langston-barrett
8
Sequences
#759 by robdockins was merged Jun 15, 2021 Loading…
1
9
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
crucible-llvm: Handle empty structs
#973 by langston-barrett was merged May 4, 2022 Loading…
1
9
CI: Sign binaries in separate step, not run on forks
#1032 by RyanGlScott was merged Aug 31, 2022 Loading…
1
9
crucible-syntax: Separate interface and implementation of parsing monad syntax
#1133 by langston-barrett was merged Nov 15, 2023 Loading…
@langston-barrett
9
crucible-llvm: Don't pass around the symbolic backend explicitly
#1185 by langston-barrett was merged Mar 26, 2024 Loading…
@langston-barrett
9
SyGuS, match concrete size array
#1178 by RyanGlScott was merged May 14, 2024 Loading…
9
Make bvConcat rewrites fire more often
#208 by robdockins was merged Apr 22, 2019 Loading…
10
Cxx/lax memory
#294 by robdockins was merged Aug 8, 2019 Loading…
10
Typed overrides
#1136 by langston-barrett was merged Nov 27, 2023 Loading…
1
@langston-barrett
10
uc-crux-llvm: Track more sources of unsoundness uc-crux Issues specific to under-constrained crux
#1036 by langston-barrett was merged Sep 28, 2022 Loading…
1
@langston-barrett
11
Demote nat
#639 by robdockins was merged Feb 15, 2021 Loading…
12
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
fix no-colors for help/version
#878 by Ptival was merged Oct 26, 2021 Loading…
12
More complete support for opaque pointers (required for LLVM 15+)
#1085 by RyanGlScott was merged May 30, 2023 Loading…
12
Helpers for checking proof obligations
#1215 by langston-barrett was merged Jun 20, 2024 Loading…
@langston-barrett
14
Some additional LLVM intrinsics
#290 by robdockins was merged Aug 12, 2019 Loading…
15
Use Lumberjack for crux output of messages, exceptions, CruxSimulation, and ProvedGoals.
#755 by kquick was merged Jun 11, 2021 Loading…
16
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
Switch from ansi-wl-pprint to the prettyprinter package.
#586 by brianhuffman was merged Dec 1, 2020 Loading…
17
crucible-llvm: Handle callbr instruction
#972 by langston-barrett was merged May 4, 2022 Loading…
17
Use Map-based data structure for LLVM allocation histories.
#550 by brianhuffman was merged Nov 9, 2020 Loading…
1
18
ProTip! Exclude everything labeled bug with -label:bug.