aboutsummaryrefslogtreecommitdiffstats
path: root/backends/protobuf
Commit message (Expand)AuthorAgeFilesLines
* Add aiger and protobuf backends binary supportMiodrag Milanovic2019-09-281-2/+2
* Support filename rewrite in backendsBen Widawsky2019-06-181-0/+1
* Reduce amount of trailing whitespace in code baseLarry Doolittle2019-02-281-3/+3
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-4/+4
* Fix protobuf buildSergiusz Bazanski2018-06-201-1/+1
* Add Protobuf backendSerge Bazanski2018-06-193-0/+380