62ba4ea8b2
rustfmt
2018-07-19 10:23:33 +01:00
51800be20c
read protoc version pin instead of reading from env vars
2018-07-19 10:23:33 +01:00
b4ee79f184
make protobuf build persistent on travis ci
2018-07-19 10:23:33 +01:00
473ea4001c
pin protoc version
2018-07-19 10:23:33 +01: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
75e2070f38
try to identify the travis build errors
2018-07-19 10:23:33 +01:00
67d69f9865
let travis ci to handle protobuf schema generation in rustfmt target
2018-07-19 10:23:33 +01:00
3bfe2f2df4
check in rustfmt.toml, so that generated protobuf schemata are ignored by rustfmt
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
7befdf94a2
fix formatting according to 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
f737c89da5
Let rustfmt
fail
2018-07-19 10:23:33 +01:00
8561d21db2
Assert protoc version while building with cargo
2018-07-19 10:23:33 +01:00
622a8d7256
pin protoc to 3.5.1
2018-07-19 10:23:33 +01:00
2356719da9
allow rustfmt to fail
2018-07-19 10:23:33 +01:00
0a6e54fc11
automatically build protobuf on travis-ci
2018-07-19 10:23:33 +01:00
b14c066db9
Run clippy on features code too
2018-05-16 10:18:52 +02:00
00bd5c8ce5
Add clippy to Travis
...
Since clippy builds against nightly, but also has a tendency to break, we're
pinning a version, which can be periodically updated.
2018-05-16 10:18:52 +02:00
cde4a6941d
Serde tests and minor fix
...
* Got rid of the double reference in the serialize function.
* Added tests for mod algorithm_serde. Had to place them where they are because the module is private. We could reorganize public/ privateness of modules so they could be in the tests module though if preferred.
* Ran rustfmt so Travis will pass.
2018-05-16 10:18:12 +02:00
31e26341c9
Apply Clippy's suggestions
2018-05-15 18:24:32 +02:00
cb390162df
Update Travis config
2018-05-15 18:19:52 +02:00
5e3ed116f1
Rustfmt
2018-05-15 18:17:36 +02: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
b20059f773
Update changelog
2018-05-15 13:08:41 +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
41326e013c
Update CHANGELOG.
2017-09-24 15:11:37 +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
6c9a44def4
Take hashing algorithm into account for Eq/Ord impls.
2017-09-24 14:28:48 +02:00
4b364c2743
Remove documentation from master branch. See gh-pages branch instead.
2017-09-24 14:17:01 +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
e589c4512d
Add missing PartialEq, Eq, PartialOrd, Ord and Hash impls.
2017-09-24 14:03:25 +02:00
958c8c8353
Formatting.
2017-09-24 13:10:40 +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