|
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 |
|