| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| | | * | | | | | Cleanup abc9, update doc for -keepff option | Eddie Hung | 2020-01-01 | 1 | -6/+5 |
| | | * | | | | | Restore abc9 -keepff | Eddie Hung | 2020-01-01 | 4 | -128/+46 |
| | | * | | | | | attributes.count() -> get_bool_attribute() | Eddie Hung | 2020-01-01 | 2 | -3/+3 |
| | | * | | | | | Re-arrange FD order | Eddie Hung | 2019-12-31 | 3 | -182/+182 |
| | | * | | | | | Missing character | Eddie Hung | 2019-12-31 | 1 | -1/+1 |
| | | * | | | | | Cleanup xilinx boxes | Eddie Hung | 2019-12-31 | 2 | -391/+425 |
| | | * | | | | | Cleanup ice40 boxes | Eddie Hung | 2019-12-31 | 3 | -30/+43 |
| | | * | | | | | Cleanup ecp5 boxes | Eddie Hung | 2019-12-31 | 4 | -35/+31 |
| | | * | | | | | parse_xaiger to not take box_lookup | Eddie Hung | 2019-12-31 | 4 | -63/+37 |
| | | * | | | | | parse_xaiger to reorder ports too | Eddie Hung | 2019-12-31 | 1 | -41/+26 |
| | | * | | | | | Add some abc9 dff tests | Eddie Hung | 2019-12-31 | 1 | -0/+55 |
| | | * | | | | | Do not re-order carry chain ports, just precompute iteration order | Eddie Hung | 2019-12-31 | 2 | -44/+32 |
| | | * | | | | | Update abc9_xc7.box comments | Eddie Hung | 2019-12-31 | 1 | -18/+18 |
| | | * | | | | | FDCE ports to be alphabetical | Eddie Hung | 2019-12-31 | 1 | -3/+3 |
| | | * | | | | | Fix attributes on $__ABC9_ASYNC[01] whitebox | Eddie Hung | 2019-12-31 | 1 | -2/+2 |
| | | * | | | | | Fix incorrect $__ABC9_ASYNC[01] box | Eddie Hung | 2019-12-31 | 1 | -2/+2 |
| | | * | | | | | write_xaiger: be more precise with ff_bits, remove ff_aig_map | Eddie Hung | 2019-12-31 | 1 | -21/+19 |
| | | * | | | | | Retry getting rid of write_xaiger's holes_mode | Eddie Hung | 2019-12-31 | 1 | -81/+41 |
| | | * | | | | | Revert "Get rid of holes_mode" | Eddie Hung | 2019-12-30 | 1 | -35/+70 |
| | | * | | | | | Get rid of holes_mode | Eddie Hung | 2019-12-30 | 1 | -70/+35 |
| | | * | | | | | Add -D DFF_MODE to abc9_map test | Eddie Hung | 2019-12-30 | 1 | -4/+4 |
| | | * | | | | | Remove delay targets doc | Eddie Hung | 2019-12-30 | 1 | -9/+0 |
| | | * | | | | | write_xaiger to use scratchpad for stats; cleanup abc9 | Eddie Hung | 2019-12-30 | 2 | -190/+20 |
| | | * | | | | | Remove submod changes | Eddie Hung | 2019-12-30 | 2 | -201/+37 |
| | | * | | | | | Remove unused | Eddie Hung | 2019-12-30 | 1 | -5/+0 |
| | | * | | | | | Do not offset FD* box timings due to -46ps Tsu | Eddie Hung | 2019-12-30 | 1 | -12/+21 |
| | | * | | | | | Call "proc" if processes inside whiteboxes | Eddie Hung | 2019-12-30 | 1 | -1/+1 |
| | | * | | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-30 | 42 | -211/+1731 |
| | | |\ \ \ \ \ |
|
| | | * | | | | | | Add CHANGELOG entry, add abc9_{flop,keep} attr to README.md | Eddie Hung | 2019-12-30 | 2 | -0/+7 |
| | | * | | | | | | Tidy up abc9_map.v | Eddie Hung | 2019-12-30 | 1 | -103/+103 |
| | | * | | | | | | Add "synth_xilinx -dff" option, cleanup abc9 | Eddie Hung | 2019-12-30 | 4 | -53/+120 |
| | | * | | | | | | Grammar | Eddie Hung | 2019-12-30 | 1 | -1/+1 |
| | | * | | | | | | Really fix it! | Eddie Hung | 2019-12-27 | 1 | -10/+7 |
| | | * | | | | | | write_xaiger: fix arrival times for non boxes | Eddie Hung | 2019-12-27 | 1 | -18/+25 |
| | | * | | | | | | Disable clock domain partitioning in Yosys pass, let ABC do it | Eddie Hung | 2019-12-23 | 1 | -6/+22 |
| | | * | | | | | | write_xaiger to opt instead of just clean whiteboxes | Eddie Hung | 2019-12-23 | 1 | -1/+1 |
| | | * | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-20 | 1 | -24/+10 |
| | | |\ \ \ \ \ \ |
|
| | | * \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-20 | 11 | -216/+339 |
| | | |\ \ \ \ \ \ \ |
|
| | | * | | | | | | | | Add RAM{32,64}M to abc9_map.v | Eddie Hung | 2019-12-19 | 1 | -0/+78 |
| | | * | | | | | | | | Split into $__ABC9_ASYNC[01], do not add cell->type to clkdomain_t | Eddie Hung | 2019-12-19 | 6 | -41/+60 |
| | | * | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-19 | 47 | -161/+2030 |
| | | |\ \ \ \ \ \ \ \ |
|
| | | * | | | | | | | | | Bump ABC again | Eddie Hung | 2019-12-18 | 1 | -1/+1 |
| | | * | | | | | | | | | Remove &verify -s | Eddie Hung | 2019-12-17 | 1 | -1/+1 |
| | | * | | | | | | | | | Bump ABC for upstream fix | Eddie Hung | 2019-12-17 | 1 | -1/+1 |
| | | * | | | | | | | | | Use pool<> instead of std::set<> to preserver ordering | Eddie Hung | 2019-12-17 | 1 | -6/+6 |
| | | * | | | | | | | | | aiger frontend to user shorter, $-prefixed, names | Eddie Hung | 2019-12-17 | 1 | -14/+14 |
| | | * | | | | | | | | | Cleanup xaiger, remove unnecessary complexity with inout | Eddie Hung | 2019-12-17 | 2 | -84/+24 |
| | | * | | | | | | | | | read_xaiger to cope with optional '\n' after 'c' | Eddie Hung | 2019-12-17 | 1 | -2/+2 |
| | | * | | | | | | | | | Do not sigmap | Eddie Hung | 2019-12-17 | 1 | -1/+1 |
| | | * | | | | | | | | | Revert "Use sigmap signal" | Eddie Hung | 2019-12-17 | 1 | -1/+1 |
