Skip to content

Commit 0d8ed01

Browse files
committed
reorganized active discussions
1 parent e0de5d2 commit 0d8ed01

13 files changed

+16
-0
lines changed

README.md

+3
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,9 @@ The Unsafe Code Guidelines WG is in the process of being rebooted. We
2828
expect to be holding regular meetings focused on particular topics.
2929
Stay tuned for more announcements. -- @nikomatsakis
3030

31+
We follow the [Rust code of conduct](https://www.rust-lang.org/en-US/conduct.html).
32+
Any concerns should be addressed to [the moderation team](https://www.rust-lang.org/team.html#Moderation-team) immediately.
33+
3134
## See also
3235

3336
The [Rustonomicon](https://doc.rust-lang.org/nightly/nomicon/) is a
File renamed without changes.

projects.md

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
# Projects related to Unsafe Code Guidelines
2+
3+
## Blogs and other related discussions
4+
* [Stacked Borrows: An Aliasing Model for Rust](https://www.ralfj.de/blog/2018/08/07/stacked-borrows.html)
5+
* [Two Kinds of Invariants: Safety and Validity](https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html)
6+
* [An alias-based formulation of the borrow checker](http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/)
7+
8+
9+
## Code and Tools
10+
11+
Any code projects related to the effort should be included here:
12+
* [Miri](https://github.com/solson/miri)
13+
* [unsafe-unicorn](https://github.com/avadacatavra/unsafe-unicorn): naive text-based analysis for unsafe usage

0 commit comments

Comments
 (0)