| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| * | 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 |
