diff --git a/README.md b/README.md index e83c7a70..d2571cdf 100644 --- a/README.md +++ b/README.md @@ -28,6 +28,9 @@ The Unsafe Code Guidelines WG is in the process of being rebooted. We expect to be holding regular meetings focused on particular topics. Stay tuned for more announcements. -- @nikomatsakis +We follow the [Rust code of conduct](https://www.rust-lang.org/en-US/conduct.html). +Any concerns should be addressed to [the moderation team](https://www.rust-lang.org/team.html#Moderation-team) immediately. + ## See also The [Rustonomicon](https://doc.rust-lang.org/nightly/nomicon/) is a diff --git a/reference/src/active_discussion.md b/active_discussion.md similarity index 100% rename from reference/src/active_discussion.md rename to active_discussion.md diff --git a/reference/src/active_discussion/aliasing.md b/active_discussion/aliasing.md similarity index 100% rename from reference/src/active_discussion/aliasing.md rename to active_discussion/aliasing.md diff --git a/reference/src/active_discussion/crypto_concerns.md b/active_discussion/crypto_concerns.md similarity index 100% rename from reference/src/active_discussion/crypto_concerns.md rename to active_discussion/crypto_concerns.md diff --git a/reference/src/active_discussion/crypto_concerns/constant_time_code.md b/active_discussion/crypto_concerns/constant_time_code.md similarity index 100% rename from reference/src/active_discussion/crypto_concerns/constant_time_code.md rename to active_discussion/crypto_concerns/constant_time_code.md diff --git a/reference/src/active_discussion/crypto_concerns/keeping_secrets.md b/active_discussion/crypto_concerns/keeping_secrets.md similarity index 100% rename from reference/src/active_discussion/crypto_concerns/keeping_secrets.md rename to active_discussion/crypto_concerns/keeping_secrets.md diff --git a/reference/src/active_discussion/representation.md b/active_discussion/representation.md similarity index 100% rename from reference/src/active_discussion/representation.md rename to active_discussion/representation.md diff --git a/reference/src/active_discussion/stable_addresses.md b/active_discussion/stable_addresses.md similarity index 100% rename from reference/src/active_discussion/stable_addresses.md rename to active_discussion/stable_addresses.md diff --git a/reference/src/active_discussion/storage_liveness.md b/active_discussion/storage_liveness.md similarity index 100% rename from reference/src/active_discussion/storage_liveness.md rename to active_discussion/storage_liveness.md diff --git a/reference/src/active_discussion/uninhabited_types.md b/active_discussion/uninhabited_types.md similarity index 100% rename from reference/src/active_discussion/uninhabited_types.md rename to active_discussion/uninhabited_types.md diff --git a/reference/src/active_discussion/uninitialized_memory.md b/active_discussion/uninitialized_memory.md similarity index 100% rename from reference/src/active_discussion/uninitialized_memory.md rename to active_discussion/uninitialized_memory.md diff --git a/reference/src/active_discussion/unions.md b/active_discussion/unions.md similarity index 100% rename from reference/src/active_discussion/unions.md rename to active_discussion/unions.md diff --git a/projects.md b/projects.md new file mode 100644 index 00000000..6cb00d3e --- /dev/null +++ b/projects.md @@ -0,0 +1,13 @@ +# Projects related to Unsafe Code Guidelines + +## Blogs and other related discussions +* [Stacked Borrows: An Aliasing Model for Rust](https://www.ralfj.de/blog/2018/08/07/stacked-borrows.html) +* [Two Kinds of Invariants: Safety and Validity](https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html) +* [An alias-based formulation of the borrow checker](http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/) + + +## Code and Tools + +Any code projects related to the effort should be included here: +* [Miri](https://github.com/solson/miri) +* [unsafe-unicorn](https://github.com/avadacatavra/unsafe-unicorn): naive text-based analysis for unsafe usage