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 updated Aug 1, 2024
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 updated Jul 24, 2024
6
crucible-llvm rejects memory load of a struct with padding bug crucible llvm memory-model
#1219 opened Jul 2, 2024 by RyanGlScott updated Jul 3, 2024
1
Translation failure on rustc-produced LLVM bitcode bug llvm
#1218 opened Jul 1, 2024 by langston-barrett updated Jul 2, 2024
2
muxHandle is wrong bug crucible
#1206 opened Jun 4, 2024 by langston-barrett updated Jun 4, 2024
popFrameUnchecked changes cause regression in SAW AWS-LC proof bug crucible
#1181 opened Mar 12, 2024 by RyanGlScott updated Mar 13, 2024
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 updated Mar 11, 2024
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 updated Jan 25, 2024
1
crucible-mir: Make translation errors non-fatal bug crucible MIR Issues relating to Rust/MIR support
#1131 opened Nov 13, 2023 by RyanGlScott updated Nov 13, 2023
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 updated Sep 27, 2023
1
uc-crux-llvm: Panic on fprintf bug uc-crux Issues specific to under-constrained crux
#1057 opened Nov 16, 2022 by langston-barrett updated May 22, 2023
1
@langston-barrett
4
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 updated Apr 17, 2023
Build failure with simple-get-opt-0.5 bug crux
#1048 opened Oct 7, 2022 by RyanGlScott updated Oct 7, 2022
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 updated Jun 15, 2022
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 updated Dec 15, 2021
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 updated Nov 9, 2021
@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 updated Sep 20, 2021
5
Counterexample binary doesn't witness counterexample when entrypoint is not main bug crux llvm
#806 opened Aug 11, 2021 by abakst updated Sep 10, 2021
3
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 updated Sep 8, 2021
3
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 updated Sep 7, 2021
2
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 updated Apr 23, 2021
@langston-barrett
2
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 updated Apr 23, 2021
@langston-barrett
ProTip! Mix and match filters to narrow down what you’re looking for.