Documentation: Limitations (model-checking#714)

* Initial version of support table * Define support values for table * Add intrinsics table and other content * Observations on stdlib * Address Celina's comments * More comments * Add section on panic strategies * Address more comments * Minor comments
tedinski · Jan 4, 2022 · b1376ac · b1376ac
1 parent 66b54c4
commit b1376ac
Show file tree

Hide file tree

Showing 2 changed files with 434 additions and 0 deletions.
diff --git a/rmc-docs/src/SUMMARY.md b/rmc-docs/src/SUMMARY.md
@@ -18,3 +18,5 @@
 - [RMC developer documentation](./dev-documentation.md)
   - [Testing](./rmc-testing.md)
   - [Book runner](./bookrunner.md)
+
+- [Limitations](./limitations.md)