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
169 Open 307 Closed
169 Open 307 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

Implement remaining crucible expression formers in the concrete syntax help wanted syntax
#74 opened Aug 23, 2018 by robdockins
30 tasks
default value for registers crucible enhancement UX
#85 opened Sep 13, 2018 by robdockins
Vectorize inttoptr/ptrtoint enhancement llvm low priority
#166 opened Feb 20, 2019 by robdockins
Use 'panic', not 'error' technical debt
#245 opened May 23, 2019 by langston-barrett
Record program locations in AllocMerge and WriteMerge llvm memory-model
#263 opened Jun 6, 2019 by langston-barrett
@langston-barrett
Implement getenv, putenv etc. enhancement libc llvm
#302 opened Aug 12, 2019 by robdockins
Interleave proof with simulation crucible enhancement
#369 opened Dec 10, 2019 by robdockins
Enforcing concreteness of pointers with types enhancement llvm
#392 opened Jan 3, 2020 by langston-barrett
Upstream and generalize parser/quasiquoter for LLVM types enhancement llvm
#393 opened Jan 7, 2020 by robdockins
Make the LLVM memory history yet more parallel llvm memory-model
#402 opened Jan 14, 2020 by brianhuffman
Use something besides Crucible type Nat for LLVM pointer block IDs llvm memory-model
#404 opened Jan 14, 2020 by brianhuffman
Better stack trace information in error messages and proof obligations crucible UX
#424 opened Jan 28, 2020 by robdockins
Promote global vars to RefCell values? discussion enhancement
#465 opened Apr 6, 2020 by robdockins
Use the nullunknown parameter of llvm.objectsize llvm
#474 opened Apr 27, 2020 by atomb
Audit/cleanup error handling in LLVM translation llvm technical debt
#488 opened May 28, 2020 by robdockins
counterexample explanations for crux-jvm crux jvm technical debt
#526 opened Aug 3, 2020 by robdockins
crux-llvm report uses location for some fields, loc for some other similar fields crux technical debt
#539 opened Aug 13, 2020 by Ptival
Finish WebAssembly support enhancement wasm
#608 opened Jan 12, 2021 by robdockins
Add safety checks for ptr::offset MIR Issues relating to Rust/MIR support
#610 opened Apr 7, 2020 by spernsteiner
cargo test compatible frontend MIR Issues relating to Rust/MIR support
#613 opened Mar 13, 2020 by spernsteiner
[cleanup] Reduce boilerplate in TransCustom.hs MIR Issues relating to Rust/MIR support technical debt
#614 opened Feb 4, 2020 by spernsteiner
crucible-llvm: Record strlen assertions with ?recordLLVMAnnotation llvm
#651 opened Feb 20, 2021 by langston-barrett
uc-crux-llvm: Turn a few big tuples into records uc-crux Issues specific to under-constrained crux
#691 opened Mar 22, 2021 by langston-barrett
@langston-barrett
uc-crux-llvm: Make explicit Refl constructors into implicit equality constraints uc-crux Issues specific to under-constrained crux
#693 opened Mar 22, 2021 by langston-barrett
@langston-barrett
uc-crux-llvm: Don't catch panics uc-crux Issues specific to under-constrained crux
#695 opened Mar 22, 2021 by langston-barrett
@langston-barrett
ProTip! Type g i on any issue or pull request to go back to the issue listing page.