aboutsummaryrefslogtreecommitdiffstats
path: root/backends/protobuf
Commit message (Expand)AuthorAgeFilesLines
* Fix protobuf backend build dependenciesthe6p4c2021-09-171-0/+2
* 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
* Fix protobuf buildSergiusz Bazanski2018-06-201-1/+1
* Add Protobuf backendSerge Bazanski2018-06-193-0/+380