16 Commits

Author SHA1 Message Date
7ef91b07d9 Update protobuf to v0.3.3 2020-07-09 23:24:36 +02:00
2f72335988 Update CHANGELOG 2020-07-09 23:15:12 +02:00
52a23fc81c Update changelog 2019-07-23 15:12:46 +02:00
66567189e0 Fix CHANGELOG 2018-08-09 17:25:53 +02:00
0c3b6a9bec Update CHANGELOG 2018-08-09 17:22:29 +02:00
413187a8fd Update CHANGELOG 2018-08-07 08:25:25 +02:00
779b8b330d Bump version to 1.7.0 2018-05-15 18:03:11 +02:00
cc7fccc97c Add serde support.
This adds the `serialization-serde` feature, which implements
serde's `Serialize` and `Deserialize` traits for `Proof` and `Lemma`.

Fixes #30
2018-05-15 18:00:48 +02:00
b20059f773 Update changelog 2018-05-15 13:08:41 +02:00
343c973205 Bump version to 1.5.0. 2017-09-24 22:53:08 +02:00
41326e013c Update CHANGELOG. 2017-09-24 15:11:37 +02:00
e4cfa7673c Bump to v1.3.0 2017-08-03 17:52:19 +02:00
623fc1c3cd Bump version to 1.2.0 and update changelog. 2017-05-07 23:25:46 +02:00
9946aa8c6a Bump version to v1.1.0. 2017-02-15 23:11:45 +01:00
7a5e9a92cb Bump ring to ^0.6.0 and protobuf to ^1.2.0. 2017-02-15 23:11:00 +01:00
fc21e66792 Add a changelog. 2016-12-07 22:32:24 +01:00