aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger
Commit message (Expand)AuthorAgeFilesLines
...
* 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