Skip to content

Version 1.8.0
Compare
Choose a tag to compare
@romac romac released this 07 Aug 06:29
· 32 commits to master since this release
1.8.0
This tag was signed with the committer’s verified signature. The key has expired.
romac Romain Ruetschi
GPG key ID: 51223DE6C81484B9
Expired
Verified
Learn about vigilant mode.
cc67e31
This commit was signed with the committer’s verified signature. The key has expired.
romac Romain Ruetschi
GPG key ID: 51223DE6C81484B9
Expired
Verified
Learn about vigilant mode.

Changed

  • Move Proof::validate_lemma to Lemma::validate (@nvesely)
  • Automatically build Protobuf schemas using protoc-rust (@dingxiangfei2009)
  • Update protobuf to 2.0.2 (@nvesely)
  • Update ring to 0.13.0 (@kpcyrd)
Assets 2
Loading