projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge https://github.com/YosysHQ/yosys into xaig
[yosys.git] / frontends / aiger /
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-12 Eddie HungAdd support for read_aiger -wideports tree | commitdiff
2019-02-12 Eddie HungAdd support for read_aiger -map tree | commitdiff
2019-02-12 Eddie HungParse 'm' in xaiger tree | commitdiff
2019-02-11 Eddie HungAdd read_xaiger tree | commitdiff
2019-02-08 Eddie HungaddDff -> addDffGate as per @daveshah1 tree | commitdiff
2019-02-08 Eddie HungFix tabulation tree | commitdiff
2019-02-08 Eddie Hung-module_name arg to go before -clk_name tree | commitdiff
2019-02-08 Eddie HungAllow module name to be determined by argument too tree | commitdiff
2019-02-08 Eddie HungRefactor into AigerReader class tree | commitdiff
2019-02-08 Eddie HungParse binary AIG files tree | commitdiff
2019-02-08 Eddie HungRefactor to parse_aiger_header() tree | commitdiff
2019-02-08 Eddie HungAdd comment tree | commitdiff
2019-02-08 Eddie HungHandle reset logic in latches tree | commitdiff
2019-02-08 Eddie HungChange literal vars from int to unsigned tree | commitdiff
2019-02-08 Eddie HungCreate clk outside of latch loop tree | commitdiff
2019-02-08 Eddie HungHandle latch symbols too tree | commitdiff
2019-02-08 Eddie HungRemove return after log_error tree | commitdiff
2019-02-08 Eddie HungAdd support for symbol tables tree | commitdiff
2019-02-08 Eddie HungStub for binary AIGER tree | commitdiff
2019-02-06 Eddie HungRefactor tree | commitdiff
2019-02-06 Eddie HungMerge branch 'dff_init' of https://github.com/eddiehung... tree | commitdiff
2019-02-06 Eddie HungWIP tree | commitdiff