Skip to content

Issues: GaloisInc/heapster-saw

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

37 Open 44 Closed
37 Open 44 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

Crash while typechecking
#91 opened Jan 18, 2022 by abakst
@eddywestbrook
Implement IDE support
#86 opened Apr 28, 2021 by karljs
@karljs
Implement a widening operation
#84 opened Apr 17, 2021 by eddywestbrook
@eddywestbrook
13
Update Heapster to work with the latest Crucible
#83 opened Apr 16, 2021 by eddywestbrook
@eddywestbrook
1
Get rid of Heapster's GHC warnings
#80 opened Mar 23, 2021 by m-yac
@m-yac
Replace KnownRepr TypeRepr instances with TypeReprs in existentials
#79 opened Mar 22, 2021 by eddywestbrook
Add support for error functions, exit, and other functions that do not return
#78 opened Mar 19, 2021 by eddywestbrook
Change array permissions so they only have one modality
#77 opened Mar 11, 2021 by eddywestbrook
Specialized build script for heapster
#76 opened Feb 18, 2021 by m-yac
@m-yac
1
Use computational reflection for proving refinement
#75 opened Feb 18, 2021 by m-yac
@m-yac
General data type for recursive permissions
#74 opened Feb 18, 2021 by m-yac
6 of 16 tasks
@m-yac
Model Alloca'd Storage via a Lifetime
#73 opened Feb 5, 2021 by eddywestbrook
Array shapes should contain lists of shapes, not lists of permissions
#72 opened Feb 5, 2021 by eddywestbrook
Allow Named Shapes to be Defined with Rust Types
#71 opened Feb 3, 2021 by eddywestbrook
Allow permissions to be specified with Rust types
#70 opened Feb 2, 2021 by eddywestbrook
13
Cannot translate casts that change the translation type
#67 opened Jan 12, 2021 by eddywestbrook
Allow permissions on ghost variables in function permissions
#66 opened Dec 24, 2020 by eddywestbrook
Rewrite proveVarLLVMField
#64 opened Dec 23, 2020 by eddywestbrook
Figure out how to effectively use lifetimes
#62 opened Dec 15, 2020 by eddywestbrook
23
Add Support for Local Proofs
#61 opened Dec 10, 2020 by eddywestbrook
2
Enable separate verification for different C files
#52 opened Oct 12, 2020 by eddywestbrook
1
Simplify sigma types with a unit second projection in the translation
#51 opened Oct 12, 2020 by eddywestbrook
Simplify the translation of non-mutually recursive functions
#50 opened Oct 12, 2020 by eddywestbrook
Verbosity flag to disable trace output
#49 opened Oct 12, 2020 by eddywestbrook
Remember C variable names in Coq specs
#48 opened Oct 12, 2020 by eddywestbrook
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.