20 Commits

Author SHA1 Message Date
337c35319a Update Travis config 2020-07-09 23:55:55 +02:00
3b374e5a43 Update dependencies 2019-07-23 15:11:21 +02:00
1333b4a7d0 Disable Clippy for test code again.
This currently fails because of a false positive:
https://github.com/rust-lang-nursery/rust-clippy/issues/2979
2018-08-09 17:22:29 +02:00
205853656b Fix Clippy warnings in test code.
And use the same Rust nightly version for Clippy and Rustfmt.
2018-08-09 17:22:29 +02:00
4211dc1bb7 Fix Travis build config 2018-07-23 21:19:49 +02:00
2732321faf include .cargo into travis cache and trigger cargo update before building 2018-07-19 10:23:33 +01:00
fd50da5c35 purge travis ci cache 2018-07-19 10:23:33 +01:00
473ea4001c pin protoc version 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
f737c89da5 Let rustfmt fail 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
cb390162df Update Travis config 2018-05-15 18:19:52 +02:00
b395f224f5 Protocol Buffers (#9)
* Add protocol buffer messages for Proof and Lemma.

* Implement Protobuf serialization for Proof and Lemma.

* Implement Protobuf unserialization for Proof and Lemma.

* Add write_to_bytes and parse_from_bytes methods to Proof.

* Put the Protobuf-related code behind a feature flag.

* Enable more flags. See #10

* Fix clippy warnings. See #10
2016-11-21 17:18:41 +01:00
6634a824c5 Add README, LICENSE, and setup Travis. 2016-11-11 14:09:55 +01:00