Add the Discord and SO links #2
Open
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
xc93
requested changes
Apr 13, 2023
index.md
Outdated
| @@ -200,6 +200,13 @@ verification approach: | |||
| OOPSLA, 2012. | |||
| - This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists of eight proof rules. The proof system is proved partially correct and relatively complete (with respect to the programming language configuration model). To show its practicality, the generic framework is instantiated with a fragment of C and evaluated with encouraging results. | |||
|
|
|||
| ## Community | |||
|
|
|||
| There is no official place to discuss matching logic. Here we list the options that we are trying to follow. | |||
There was a problem hiding this comment.
How about making the tone more positive? For example, "We welcome any comments, suggestions, and questions! Feel free to reach out to us at the following options:" or something alike.
There was a problem hiding this comment.
You're right! I was in a hurry with the phrasing... How about this? I tried to use your idea with the fact that we're trying to build a community. Not sure if it works.
There was a problem hiding this comment.
@xc93 Can you please approve? Thank you.
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.
No description provided.