Add liveness to safety construction for supporting temporal proofs #134
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
odedp
force-pushed
the
temporal-first-take
branch
from
e0871e3 to
6377b89
Compare
Signed-off-by: Oded Padon <[email protected]>
Signed-off-by: Oded Padon <[email protected]>
This is where I am currently with implementing the liveness to safety construction. It's still in progress (the function currently returns a `todo!()`), but I thought to push it now so others can have a look, and so I can start committing small improvements. Signed-off-by: Oded Padon <[email protected]>
Signed-off-by: Oded Padon <[email protected]>
Signed-off-by: Oded Padon <[email protected]>
odedp
force-pushed
the
temporal-first-take
branch
from
34fdec9 to
eaf5a6a
Compare
|
@odedp, you must sign every commit in this pull request acknowledging our Developer Certificate of Origin before your changes are merged. This can be done by adding
|
Signed-off-by: Oded Padon <[email protected]>
Signed-off-by: Oded Padon <[email protected]>
odedp
force-pushed
the
temporal-first-take
branch
from
41ed46d to
b5e857e
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
For now this PR is here so others can see my progress. This is still WIP. I will edit this comment later.
Note: This PR should be merged only after #131 is merged.