Skip to content

Conversation

@tedinski
Copy link
Contributor

Description of changes:

The next section of the tutorial for RMC.

Resolved issues:

Progress towards #254

Call-outs:

  • This section has a lot of RMC bugs and rough edges.

Testing:

  • How is this change tested? Running rmc on the introduced code, following the tutorial instructions

  • Is this a refactor change? no

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • [n/a] Methods or procedures are documented
  • [n/a] Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@tedinski tedinski merged commit 4a4cbce into model-checking:main Sep 17, 2021
@tedinski tedinski deleted the tutorial-3 branch September 17, 2021 03:43
@tedinski tedinski mentioned this pull request Sep 17, 2021
12 tasks
tedinski added a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
* Introduce loops, unwinding, and bounds tutorial

* address feedback

* typo
tedinski added a commit that referenced this pull request Apr 27, 2022
* Introduce loops, unwinding, and bounds tutorial

* address feedback

* typo
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants