aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Expand)AuthorAgeFilesLines
* Add author nameEddie Hung2019-03-191-0/+1
* Fix for using POSIX basenameEddie Hung2019-02-191-2/+4
* Missing OSX headers?Eddie Hung2019-02-171-0/+5
* read_aiger to ignore line after ands for ascii, not binaryEddie Hung2019-02-171-2/+1
* Merge branch 'read_aiger' of github.com:eddiehung/yosys into read_aigerEddie Hung2019-02-121-3/+1
|\
| * Do not break for constraintsEddie Hung2019-02-111-1/+0
| * 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
* | Use module->add{Not,And}Gate() functionsEddie Hung2019-02-121-8/+2
|/
* 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-082-14/+44
* Refactor into AigerReader classEddie Hung2019-02-082-79/+92
* 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-063-0/+247