Skip to content

Latest commit

 

History

History
99 lines (55 loc) · 1.77 KB

CHANGELOG.md

File metadata and controls

99 lines (55 loc) · 1.77 KB
Raw

Changelog

All notable changes to this project will be documented in this file.

[0.2.0] - 2024-05-02

Documentation

  • Update backend doc links

Features

  • [breaking] Remove async-trait crate and async, z3, cvc5 features
  • [breaking] Remove Async{Driver,Solver} in favor of Tokio{Driver,Solver}

Miscellaneous Tasks

  • Skip formatting generated files

Refactor

  • Generate logics.rs in xtask rather than build.rs
  • Generate ast.rs in xtask rather than build.rs

Misc

  • Move some crate versions to root Cargo.toml

[0.1.8] - 2023-12-26

Bug Fixes

  • Format negative reals using (- x.0) instead of -x
  • Allow incomplete_features when const-bit-vec is enabled
  • Gate impl AsyncBackend by feature async

Features

  • Add more functions to bit vectors

Miscellaneous Tasks

  • Check docs on Nightly due to #![cfg_attr(feature = "const-bit-vec", feature(generic_const_exprs))]
  • Unify the versions of all crates
  • Add CHANGELOG generation and Justfile for making releases
  • Checkout CHANGELOG before generating CHANGELOG
  • Make sure that all crates are published with the same version number

[smtlib-v0.1.7] - 2023-11-15

Miscellaneous Tasks

  • Release

[smtlib-v0.1.6] - 2023-01-16

Miscellaneous Tasks

  • Release

[smtlib-lowlevel-v0.1.5] - 2023-01-16

Miscellaneous Tasks

  • Release

[smtlib-v0.1.5] - 2023-01-14

Miscellaneous Tasks

  • Release

[smtlib-lowlevel-v0.1.4] - 2023-01-14

Miscellaneous Tasks

  • Release

[smtlib-v0.1.4] - 2023-01-02

Miscellaneous Tasks

  • Release

[smtlib-v0.1.3] - 2023-01-02

Miscellaneous Tasks

  • Release
  • Release

[0.1.1] - 2022-12-30

Miscellaneous Tasks

  • Release