Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
| | | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g; | ||||
* | aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| | | | | according to mergeability class, and init state as cell attr | ||||
* | read_aiger: also parse abc9_mergeability | Eddie Hung | 2020-01-22 | 1 | -0/+1 |
| | |||||
* | read_aiger: uniquify wires with $aiger<autoidx> prefix | Eddie Hung | 2020-01-13 | 1 | -0/+3 |
| | |||||
* | parse_xaiger to not take box_lookup | Eddie Hung | 2019-12-31 | 1 | -1/+1 |
| | |||||
* | Run "clean" on mapped_mod in its own design | Eddie Hung | 2019-08-07 | 1 | -1/+1 |
| | |||||
* | Consistency | Eddie Hung | 2019-06-12 | 1 | -1/+1 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-12 | 1 | -0/+4 |
|\ | |||||
| * | Fix read_aiger -- create zero driver, fix init width, parse 'b' | Eddie Hung | 2019-06-07 | 1 | -0/+1 |
| | | |||||
* | | Merge branch 'master' into xaig | Eddie Hung | 2019-04-08 | 1 | -0/+1 |
|\| | |||||
| * | Add author name | Eddie Hung | 2019-03-19 | 1 | -0/+1 |
| | | |||||
* | | Use ConstEval to compute LUT masks | Eddie Hung | 2019-02-13 | 1 | -2/+2 |
| | | |||||
* | | Add support for read_aiger -wideports | Eddie Hung | 2019-02-12 | 1 | -1/+2 |
| | | |||||
* | | Add support for read_aiger -map | Eddie Hung | 2019-02-12 | 1 | -1/+2 |
| | | |||||
* | | Add read_xaiger | Eddie Hung | 2019-02-11 | 1 | -2/+3 |
|/ | |||||
* | Allow module name to be determined by argument too | Eddie Hung | 2019-02-08 | 1 | -2/+2 |
| | |||||
* | Refactor into AigerReader class | Eddie Hung | 2019-02-08 | 1 | -1/+20 |
| | |||||
* | WIP | Eddie Hung | 2019-02-06 | 1 | -0/+31 |