56 Commits

Author SHA1 Message Date
mii
445fe733bc update ring 2024-04-08 17:01:57 +09:00
72fc7454dd Point Cargo.toml documentation field to docs.rs 2020-07-09 23:49:54 +02:00
19de6d3669 Remove unsupported cargo-release attribute 2020-07-09 23:47:19 +02:00
0af4a76765 Update for latest cargo-release version 2020-07-09 23:39:36 +02:00
7ef91b07d9 Update protobuf to v0.3.3 2020-07-09 23:24:36 +02:00
8a756c30fe Update criterion to v0.3.3 2020-07-09 23:13:48 +02:00
5d7629fc63 Update to Rust 2018 2020-07-09 23:03:05 +02:00
a41e7d1524 Start next development iteration 1.11.1-pre. 2019-07-23 15:13:56 +02:00
cb6bed706e Release version 1.11.0. 2019-07-23 15:13:33 +02:00
c5f9ea9136 Fix benchmarks 2019-07-23 15:11:21 +02:00
c65560d9f4 Fix clippy warnings and disable benchmarks temporarily 2019-07-23 15:11:21 +02:00
3b374e5a43 Update dependencies 2019-07-23 15:11:21 +02:00
90de9b6a39 Start next development iteration 1.10.1-pre. 2018-08-09 17:24:18 +02:00
a122f45967 Release version 1.10.0. 2018-08-09 17:23:57 +02:00
90ec2d4b7d Start next development iteration 1.9.1-pre. 2018-08-09 17:22:29 +02:00
d7b3adce6f Release version 1.9.0. 2018-08-09 17:22:29 +02:00
67552b62a2 Start next development iteration 1.8.1-pre. 2018-08-07 08:26:51 +02:00
cc67e31606 Release version 1.8.0. 2018-08-07 08:26:07 +02:00
cfe7f21a5b Bump ring dependency 2018-08-07 08:19:22 +02:00
c0b013b2bf bump protoc-rust version to ^2.0.2 2018-07-19 10:23:33 +01:00
e1c6c79f91 Update to latest rust-protobuf to fix build 2018-07-19 10:23:33 +01:00
f233b5d1bc revert 830b401 except changes in .gitignore,
and generate the schema before running rustfmt
2018-07-19 10:23:33 +01:00
7a1add13a1 Ignore protobuf schema when rustfmt is invoked 2018-07-19 10:23:33 +01:00
8561d21db2 Assert protoc version while building with cargo 2018-07-19 10:23:33 +01:00
0a6e54fc11 automatically build protobuf on travis-ci 2018-07-19 10:23:33 +01:00
c647bf82df Start next development iteration 1.7.1-pre. 2018-05-15 18:03:51 +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
e5e720d260 Start next development iteration 1.6.1-pre. 2018-05-15 13:05:46 +02:00
f4e50765b4 Release version 1.6.0. 2018-05-15 13:05:25 +02:00
5569d6c6a0 Update to support rust-protobuf v1.6.0
* Updated `proto/proof.rs` using the latest stable protoc (3.5.1) and protoc-gen-rust
  plugin (1.6.0).
  * I had to make a tiny manual modification to `proto/proof.rs`. On line 298 I
    added derivation of `Debug` in order to satisfy the lint directive in
    `lib.rs`.
* `bytes` protobuf fields are empty if the message doesn't contain the
  corresponding element, so since methods are no longer provided to directly
  check, we use `is_empty()` on the corresponding struct fields.
2018-05-15 13:05:06 +02:00
bb2991d190 Bump version to 1.6.0-pre 2018-05-15 13:04:50 +02:00
664094b9f1 Update crate description. 2017-09-24 23:07:48 +02:00
261ea6db92 Start next development iteration 1.5.1-pre. 2017-09-24 22:53:48 +02:00
343c973205 Bump version to 1.5.0. 2017-09-24 22:53:08 +02:00
b9d1da185d Update dependencies. 2017-09-24 22:51:07 +02:00
fbaa3f6b1c Start next development iteration 1.4.2-pre. 2017-09-24 14:30:30 +02:00
cb5da80339 Release version 1.4.1. 2017-09-24 14:29:25 +02:00
93792b2c51 Start next development iteration 1.4.1-pre. 2017-09-24 14:14:02 +02:00
f9cb85c4f1 Update cargo-release config. 2017-09-24 14:08:43 +02:00
0790fa14cb Bump version to 1.4.0. 2017-09-24 14:04:27 +02:00
b20bca8d97 (cargo-release) start next development iteration 1.3.1-pre 2017-08-03 17:54:05 +02:00
e4cfa7673c Bump to v1.3.0 2017-08-03 17:52:19 +02:00
5ade413faf Update ring to v0.11.0 2017-08-03 01:14:23 +02:00
79c70f16b7 (cargo-release) start next development iteration 1.2.1-pre 2017-05-09 23:57:42 +02:00
7ec66f9ae7 Add more metadata to Cargo.toml. 2017-05-09 23:56:59 +02:00
623fc1c3cd Bump version to 1.2.0 and update changelog. 2017-05-07 23:25:46 +02:00
16f2c337f0 Use *ring* 0.9 to reduce build dependencies.
*ring* 0.9 no longer requires GNU Make, Perl, MSBuild, or a C++
compiler. Building *ring* 0.9 on Windows, in particular, is much
easier. This in turn makes it easier to build this crate.
2017-05-07 10:39:58 -10:00
b818565777 (cargo-release) start next development iteration 1.1.1-pre 2017-02-15 23:42:59 +01:00
9946aa8c6a Bump version to v1.1.0. 2017-02-15 23:11:45 +01:00