Announcing Rust 1.50.0

• rust

  2,680 92,627 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

Things are slightly more complicated in the case of File here, which is neither a primitive nor an enum. However, the only change was to add these two attributes, which mean the library promises the compiler it will only ever construct File objects in the range 0-0xffffffe. (It can make this promise because File's fd field is private, and its only constructor new panics if its parameter is -1.)

• arewefastyet

  9 19 0.0 Rust

  arewefastyet.rs - benchmarking the Rust compiler

Thanks for your work on arewefastyet.rs, I was about to post a link to it haha

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• prusti-dev

  23 1,459 8.8 Rust

  A static verifier for Rust, based on the Viper verification infrastructure.

  

I was looking at Prusti the other day. Do you have any thoughts on it? I went through some of the user documentation and it looks interesting, but looking at the issues, it appears to have a way to go still.

Suggest a related project