aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
Commit message (Collapse)AuthorAgeFilesLines
* No increment line_count for binary ANDsEddie Hung2019-02-111-1/+1
|
* Do not ignore newline after AND in binary AIGEddie Hung2019-02-111-1/+0
|
* addDff -> addDffGate as per @daveshah1Eddie Hung2019-02-081-1/+1
|
* Fix tabulationEddie Hung2019-02-081-28/+28
|
* -module_name arg to go before -clk_nameEddie Hung2019-02-081-7/+7
|
* Allow module name to be determined by argument tooEddie Hung2019-02-081-12/+42
|
* Refactor into AigerReader classEddie Hung2019-02-081-78/+72
|
* Parse binary AIG filesEddie Hung2019-02-081-49/+164
|
* Refactor to parse_aiger_header()Eddie Hung2019-02-081-26/+32
|
* Add commentEddie Hung2019-02-081-0/+1
|
* Handle reset logic in latchesEddie Hung2019-02-081-2/+17
|
* Change literal vars from int to unsignedEddie Hung2019-02-081-1/+1
|
* Create clk outside of latch loopEddie Hung2019-02-081-7/+9
|
* Handle latch symbols tooEddie Hung2019-02-081-3/+1
|
* Remove return after log_errorEddie Hung2019-02-081-27/+9
|
* Add support for symbol tablesEddie Hung2019-02-081-1/+49
|
* Stub for binary AIGEREddie Hung2019-02-081-3/+8
|
* RefactorEddie Hung2019-02-061-1/+8
|
* WIPEddie Hung2019-02-061-0/+213