Commit Graph

2 Commits

Author SHA1 Message Date
011c10cd81 Add value back to Proof. 2016-11-21 22:22:37 +01: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