8000 Issues · GaloisInc/crucible · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: GaloisInc/crucible

Beta
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

188 Open 343 Closed
188 Open 343 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-mir: usize/isize are always hard-coded to 32 bits bug crucible MIR Issues relating to Rust/MIR support unsoundness Potential for incorrect proofs exists
#1384 opened Apr 21, 2025 by RyanGlScott
3
crux-llvm: Golden test fails on GHC 9.10 due to exception printing changes
#1379 opened Apr 15, 2025 by langston-barrett
2
crucible-mir: Consider migrating to Stable MIR crucible enhancement MIR Issues relating to Rust/MIR support
#1378 opened Apr 15, 2025 by RyanGlScott
Clearly distinguish and inter-link between tools.galois.com/saw/crux and Crux-{LLVM,MIR} READMEs documentation
#1376 opened Apr 11, 2025 by langston-barrett
@langston-barrett @ChrisEPhifer
Support async fn in crux-mir
#1369 opened Apr 10, 2025 by podhrmic
1
Generalize Docker images to work on both x86-64 and ARM64 CI crux Docker Issues relating to the Docker images. llvm MIR Issues relating to Rust/MIR support
#1364 opened Apr 2, 2025 by RyanGlScott
1 of 2 tasks
ci: Build packages (and modules) in parallel
#1360 opened Mar 28, 2025 by langston-barrett
@langston-barrett
2
CI tag matching patterns are incorrect bug CI
#1348 opened Mar 26, 2025 by sauclovian-g
crucible: Standalone kind signatures crucible documentation
#1329 opened Mar 20, 2025 by langston-barrett
@langston-barrett
3
The symbolic backend parameter of ExtensionImpl.extensionEval is redundant crucible
#1323 opened Mar 13, 2025 by langston-barrett
crucible-mir: Add override for println! macro (or a println!-like function) for debugging crucible enhancement MIR Issues relating to Rust/MIR support
#1311 opened Feb 19, 2025 by RyanGlScott
Support GHC 9.12
#1308 opened Feb 12, 2025 by langston-barrett
10 tasks
crucible: Upstream pretty-printer for RegValue from crucible-debug crucible
#1299 opened Feb 7, 2025 by langston-barrett
1
debug: Accept source positions as breakpoints debugger enhancement
#1296 opened Feb 6, 2025 by langston-barrett
debug: Naming schemes for frames, functions, globals, and registers debugger enhancement
#1294 opened Feb 6, 2025 by langston-barrett
debug: Note path splitting and joining in the trace command debugger enhancement
#1293 opened Feb 6, 2025 by langston-barrett
debug: Source-level breakpoints debugger enhancement
#1292 opened Feb 6, 2025 by langston-barrett
debug-llvm: deref command to dereference a pointer debugger enhancement llvm
#1291 opened Feb 6, 2025 by langston-barrett
debug: exit command debugger enhancement
#1290 opened Feb 6, 2025 by langston-barrett
debug: return command debugger enhancement
#1289 opened Feb 6, 2025 by langston-barrett
debug: get/set/unset commands debugger enhancement
#1288 opened Feb 6, 2025 by langston-barrett
debug: Quit on ctrl-D debugger enhancement
#1286 opened Feb 6, 2025 by langston-barrett
debug: help topics and sections debugger enhancement
#1285 opened Feb 6, 2025 by langston-barrett
@langston-barrett
debug: Calling prove twice fails bug debugger
#1284 opened Feb 6, 2025 by langston-barrett
@langston-barrett
Add test for crux-mir docker entrypoint
#1278 opened Jan 23, 2025 by kquick
ProTip! What’s not been updated in a month: updated:<2025-04-06.
0