Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Latest commit

 

History

History
50 lines (29 loc) · 1.15 KB

CHANGELOG.md

File metadata and controls

50 lines (29 loc) · 1.15 KB
Raw

Changelog

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.

[Unreleased]

Added

  • Docker support.

    This is now the preferred way of setting up your system. Older installation instructions have been deleted.

    Thanks to Steven Jiang for this.

  • Demos directory.

    Demonstration code (typically the same code used in documentation) is now in the demos directory.

  • FFI support.

    This makes it possible to verify programs that combine C and Rust. See demos/simple/ffi.

  • std::env::args() support.

    This makes it possible to verify programs that have command line arguments. See demos/simple/argv.

Changed

Deprecated

Removed

Fixed

  • Many minor documentation errors
  • cargo-verify verbosity control produces more useful output for debugging cargo-verify with.