Commit Graph

7 Commits

Author SHA1 Message Date
Oli Scherer
615f8c5dbb record which nightly we support 2022-06-02 12:06:34 +02:00
Oli Scherer
9da5e13294 Rustfmt 2022-06-02 12:06:34 +02:00
Oli Scherer
36f3c03421 Update instructions 2022-06-02 12:06:34 +02:00
Oli Scherer
e5b824c535 Documentation never hurts 2022-06-02 12:06:34 +02:00
Xavier Denis
fe76f0324c Add additional crates to `very_unstable
Adds some additional crates used by Creusot.
2022-05-25 17:04:28 +02:00
Oli Scherer
d9a3f5cfeb Add instructions 2022-05-25 08:41:50 +00:00
Oli Scherer
3e0c1c8e0c Add WIP stable MIR crate 2022-05-25 07:30:04 +00:00