All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning. However, since version 1.0.0 has not been reached, breaking changes between minor releases are possible, though if possible they are avoided.
- Version
0.2.1
is compatible withnightly-2021-09-19
. - Minor improvements were made to the generated documentation.
- Preconditions for the
unsafe
functions and methods in the following modules are now supported:core::slice
/std::slice
alloc::vec
/std::vec
alloc::string
/std::string
core::str
/alloc::str
/std::str
- Preconditions for the methods on the following primitive types are now supported:
*const T
(with#[forward(impl pre::std::const_pointer)]
)*mut T
(with#[forward(impl pre::std::mut_pointer)]
)
- The
proper_align
precondition type was added. It allows specifying that a pointer has a proper alignment for the type its pointing to. - pre-related attributes behind a
cfg_attr
attribute are now supported. With some limitations.
- Functions that previously stated "
ptr
is proper aligned" now use theproper_align
precondition type. This is a breaking change. - The main pre crate now depends on the exact same version of the proc-macro crate. A version mismatch between them could have caused things to misbehave. Version 0.1.0 was yanked because of that.
Initial release