Skip to content

Introduce loops, unwinding, and bounds tutorial#494

Merged
tedinski merged 3 commits into
model-checking:mainfrom
tedinski:tutorial-3
Sep 17, 2021
Merged

Introduce loops, unwinding, and bounds tutorial#494
tedinski merged 3 commits into
model-checking:mainfrom
tedinski:tutorial-3

Conversation

@tedinski

Copy link
Copy Markdown
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.

Comment thread rmc-docs/src/tutorial/loops-unwinding/src/lib.rs Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
Comment thread rmc-docs/src/tutorial-loops-unwinding.md Outdated
@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