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