aboutsummaryrefslogtreecommitdiffstats
path: root/backends/protobuf/protobuf.cc
Commit message (Expand)AuthorAgeFilesLines
* Use C++11 final/override keywords.whitequark2020-06-181-4/+4
* 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
* Add Protobuf backendSerge Bazanski2018-06-191-0/+370