Skip to content

Issues: GaloisInc/crucible

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
22 Open 33 Closed
22 Open 33 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

crucible-wasm's handling of data segments is likely broken bug crucible wasm
#1231 opened Aug 1, 2024 by RyanGlScott
crucible-mir crashes due to improperly constructing vtable shim types bug crucible MIR Issues relating to Rust/MIR support
#1222 opened Jul 16, 2024 by Torrencem
6
crucible-llvm rejects memory load of a struct with padding bug crucible llvm memory-model
#1219 opened Jul 2, 2024 by RyanGlScott
1
Translation failure on rustc-produced LLVM bitcode bug llvm
#1218 opened Jul 1, 2024 by langston-barrett
2
muxHandle is wrong bug crucible
#1206 opened Jun 4, 2024 by langston-barrett
popFrameUnchecked changes cause regression in SAW AWS-LC proof bug crucible
#1181 opened Mar 12, 2024 by RyanGlScott
2
crucible-mir: Re-implement overrides for get_unchecked slice indexing bug crucible MIR Issues relating to Rust/MIR support
#1180 opened Mar 6, 2024 by RyanGlScott
1
crucible-mir: Make translation errors non-fatal bug crucible MIR Issues relating to Rust/MIR support
#1131 opened Nov 13, 2023 by RyanGlScott
1
crucible-mir: Ensure that immutable references are never modified in unsafe code bug crucible MIR Issues relating to Rust/MIR support unsoundness Potential for incorrect proofs exists
#1111 opened Oct 9, 2023 by RyanGlScott
1
crucible-mir translation is sensitive to static name ordering bug MIR Issues relating to Rust/MIR support
#1108 opened Sep 11, 2023 by RyanGlScott
1
crux-mir doesn't respect --assert-false-on-error bug crux MIR Issues relating to Rust/MIR support
#1080 opened Apr 17, 2023 by RyanGlScott
uc-crux-llvm: Panic on fprintf bug uc-crux Issues specific to under-constrained crux
#1057 opened Nov 16, 2022 by langston-barrett
1
@langston-barrett
4
Build failure with simple-get-opt-0.5 bug crux
#1048 opened Oct 7, 2022 by RyanGlScott
Getting Prelude.tail: empty list error when running crucible-llvm with profiling in split-dfs path mode bug crux llvm
#1000 opened Jun 14, 2022 by Lukas-Dresel
4
crux-llvm crash using integer types with a non-multiple-of-8 bit width bug crucible llvm
#934 opened Nov 30, 2021 by abakst
4
uc-crux-llvm: Further integrate Crux's structured logging bug uc-crux Issues specific to under-constrained crux UX
#919 opened Nov 9, 2021 by langston-barrett
@langston-barrett
crucible-llvm crashes on extern structs (Expected memory type, opaque) bug crucible llvm SV-COMP Issues related to making crux eligible to participate in SV-COMP.
#836 opened Sep 3, 2021 by RyanGlScott
5
SV-COMP: no-overflow failure in busybox-1.22.0/dirname-1.i bug crux llvm SV-COMP Issues related to making crux eligible to participate in SV-COMP.
#831 opened Aug 31, 2021 by RyanGlScott
2
SV-COMP: no-overflow failure in busybox-1.22.0/basename-2.i bug crux llvm SV-COMP Issues related to making crux eligible to participate in SV-COMP.
#830 opened Aug 31, 2021 by RyanGlScott
3
Counterexample binary doesn't witness counterexample when entrypoint is not main bug crux llvm
#806 opened Aug 11, 2021 by abakst
3
uc-crux-llvm: Mangled function names result in excessively long filenames bug uc-crux Issues specific to under-constrained crux
#720 opened Apr 1, 2021 by langston-barrett
@langston-barrett
uc-crux-llvm: Panic on type alias with missing definition bug uc-crux Issues specific to under-constrained crux
#710 opened Mar 30, 2021 by langston-barrett
@langston-barrett
2
ProTip! Find all open issues with in progress development work with linked:pr.