aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.h
Commit message (Expand)AuthorAgeFilesLines
* Add author nameEddie Hung2019-03-191-0/+1
* Allow module name to be determined by argument tooEddie Hung2019-02-081-2/+2
* Refactor into AigerReader classEddie Hung2019-02-081-1/+20
* WIPEddie Hung2019-02-061-0/+31