aboutsummaryrefslogtreecommitdiffstats
path: root/backends/protobuf/protobuf.cc
Commit message (Expand)AuthorAgeFilesLines
* backends: protobuf: removed protobuf backendAki Van Ness2022-10-101-371/+0
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* 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