[Rust Daily] 2023-06-18 The 3rd China Rust Developers Conference 2023 ended successfully

2023 The 3rd China Rust Developers Conference

Release Mailtutan v0.3.0 - SMTP server for test and development environments

Changelog:

• Add data pruning support

• Add mail directory storage

• Add delete message to API

• Add TLS support

• Add SMTP common authentication support

github: https://github.com/mailtutan/mailtutan/

Kani 0.30.0 has been released

Kani is an open source verification tool that uses model checking to analyze Rust programs. Kani is especially useful for validating unsafe code blocks in Rust, where the compiler doesn't check for "unsafe superpowers".

Here is a summary of new features in version 0.30.0:

• Remove --harness requirement in @celinval stub in https://github.com/model-checking/kani/pull/2495

• Add target selection for cargo kani in [https://github.com/model-checking/kani/pull/2507(https://github.com/model-checking/kani/pull/2507)]

• Updated Cbmc version by @celinval at https://github.com/model-checking/kani/pull/2512

• Upgraded Rust toolchain to 2023-04-30 by @zhassan-aws at https://github.com/model-checking/kani/pull/2456

Full changelog : https://github.com/model-checking/kani/compare/kani-0.29.0...kani-0.30.0

Github：https://github.com/model-checking/kani

From Daily Group Time

Community learning exchange platform subscription:

• Rustcc Forum: Support for rss

• WeChat public account: Rust Language Chinese Community