Skip to content
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

Added a README describing the Heapster implication rules #1554

Merged
merged 23 commits into from
Jun 14, 2022
Merged

Added a README describing the Heapster implication rules #1554

Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
40e1704
added a README describing the Heapster implication rules
Jan 11, 2022
89a9a22
started filling out the description of the implication prover
Jan 17, 2022
8c9cd60
more work explaining the implication prover
Jan 20, 2022
35b7c48
finished describing needed and determined variables
Jan 20, 2022
06986e4
added a bit more explanation about ImplM being a state-continuation m…
Jan 20, 2022
eac8d7b
finished describing the proofs for named perms, started describing pr…
Jan 20, 2022
93542fa
finished describing proveVarAtomicImpl`
Jan 20, 2022
83988d7
added a description of how to prove field permissions
Jan 21, 2022
90081cb
Merge branch 'master' into heapster/type-system-docs
Jun 3, 2022
2bd62f8
moved most of the documentation into new files in the doc subdirectory
Jun 4, 2022
f7f2a84
outlined a section on overall Rust verification
Jun 6, 2022
a0dc691
explained argument layout in RustTrans.md
Jun 7, 2022
4e94a3d
defined the argument layout function Arg(sh)
Jun 8, 2022
9cf9562
finished the mathematical definition of translating a Rust function t…
Jun 8, 2022
e8f54af
added more text to describe argument layout
Jun 9, 2022
3917f8d
added a note to clarify the relationship between argument layout and …
Jun 9, 2022
3641bf2
added function type translation examples; also updated the translatio…
Jun 10, 2022
085182f
finished describing all the pieces of the Rust function type translation
Jun 10, 2022
a339b97
finished removing all the FIXMEs from the document!
Jun 10, 2022
cc36a29
added a few more examples to rust_data.rs
Jun 10, 2022
9e7e014
Merge branch 'master' into heapster/type-system-docs
Jun 10, 2022
adac5e4
whoops, removed an example that does not work yet...
Jun 14, 2022
37d83b0
Merge branch 'master' into heapster/type-system-docs
Jun 14, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading