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.

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

Unify unit variables in heapster #1546

Merged
merged 29 commits into from
Jan 29, 2022
Merged
Changes from 2 commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
bf73229
First pass adding code to unify all unit-typed variables in Implicati…
jpaykin Dec 21, 2021
9780c93
Unifying unit variables in TypedCrucible
jpaykin Dec 28, 2021
049cbbb
Merge branch 'master' into heapster/unify-unit-variables
jpaykin Dec 28, 2021
f3aa22f
Adding debugging infrastructure
jpaykin Jan 4, 2022
e812e23
Modifying handleUnitVars to operate on a given list of names
jpaykin Jan 5, 2022
60e7f09
Ensure we dont add an x:eq(x) constraint in handleUnitVar
jpaykin Jan 6, 2022
40015bf
Handling unit-typed existential variables
jpaykin Jan 6, 2022
186d12f
Unifying unit-typed existential variables
jpaykin Jan 8, 2022
cfe2c62
Adding debugging/trace info
jpaykin Jan 12, 2022
203cec4
Modified recombinePerm to drop extraneous permissions x:eq(())
jpaykin Jan 13, 2022
89c15fc
Additional debugging infrastructure
jpaykin Jan 14, 2022
9dea2c1
Attempt to fix bug by moving an instance of recombinePerm back to imp…
jpaykin Jan 18, 2022
01bdf35
changed some recombinePerms back to implPopM to fix a bug in implCast…
Jan 19, 2022
54b7b08
changed how proveVarsImplVarEVars casts its output permissions to han…
Jan 19, 2022
9da9680
removed debug tracing from the iter_linked_list.saw example
Jan 19, 2022
8605772
fixed up the mbox_len_spec_ref proof to handle recent Heapster changes
Jan 19, 2022
c0e20f4
Merge branch 'master' into heapster/unify-unit-variables
jpaykin Jan 21, 2022
42c940c
Added new test case for unit-typed environment permissions; still WIP
jpaykin Jan 22, 2022
68be84f
Updating new test case for global variables using unit-typed permissions
jpaykin Jan 28, 2022
9a45a83
Merge branch 'master' into heapster/unify-unit-variables
jpaykin Jan 28, 2022
803f515
Updated comments in global_var example
jpaykin Jan 28, 2022
3636890
Clean up pass
jpaykin Jan 28, 2022
955078a
Merge branch 'heapster/unify-unit-variables' of github.com:GaloisInc/…
jpaykin Jan 28, 2022
ab2122f
Cleaning up code
jpaykin Jan 28, 2022
8fd8409
Fixed bug in neeedVars function
jpaykin Jan 28, 2022
7070117
Removed excess debugging statements
jpaykin Jan 28, 2022
049b730
Fixed bug in change to neededVars for named permissions
jpaykin Jan 28, 2022
0c525b3
Updating FIXME comment in Permissions.hs
jpaykin Jan 28, 2022
99e5932
Fixed whitespace typo
jpaykin Jan 28, 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

These merge commits were added into this branch cleanly.

There are no new changes to show.