RFC: Rust Has Provenance

1. rfcs

   1 687 6,137 9.5 Markdown

   RFCs for changes to Rust

   

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. rfcs

   2 3 3 0.0 Markdown

   RFCs for changes to Rust (by RalfJung)

   

   https://github.com/RalfJung/rfcs/blob/provenance/text/0000-r...

4. miri

   3 124 5,112 10.0 Rust

   An interpreter for Rust's mid-level intermediate representation

   

   Provenance is a dynamic property of pointer values. The actual underlying rules that a program must follow, even when using raw pointers and `unsafe`, are written in terms of provenance. Miri (https://github.com/rust-lang/miri) represents provenance as an actual value stored alongside each pointer's address, so it can check for violations of these rules.

   Lifetimes are a static approximation of provenance. They are erased after being validated by the borrow checker, and do not exist in Miri or have any impact on what transformations the optimizer may perform. In other words, the provenance rules allow a superset of what the borrow checker allows.

Suggest a related project