| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 2 | -2/+2 |
| * | Provide an integer implementation of decimal_digits(). | Henner Zeller | 2021-02-01 | 1 | -2/+9 |
| * | Fix digit-formatting calculation for small numbers. | Henner Zeller | 2021-01-21 | 1 | -6/+10 |
| * | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 1 | -10/+10 |
| * | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -2/+2 |
| * | aiger: cleanup | Eddie Hung | 2020-05-25 | 1 | -2/+5 |
| * | aiger: -xaiger to return $_FF_ flops | Eddie Hung | 2020-05-14 | 1 | -15/+2 |
| * | aiger/xaiger: use odd for negedge clk, even for posedge | Eddie Hung | 2020-05-14 | 1 | -4/+3 |
| * | aiger: -xaiger to parse initial state back into (* init *) on Q wire | Eddie Hung | 2020-05-14 | 1 | -1/+2 |
| * | aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created | Eddie Hung | 2020-05-14 | 2 | -3/+24 |
| * | aiger: fixes for ports that have start_offset != 0 | Eddie Hung | 2020-05-02 | 1 | -30/+47 |
| * | aigerparse: only define __STDC_FORMAT_MACROS it not already before. | Henner Zeller | 2020-04-07 | 1 | -0/+2 |
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -23/+23 |
| * | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 1 | -6/+6 |
| * | Fix NDEBUG warnings | Eddie Hung | 2020-03-19 | 1 | -1/+1 |
| * | Add and use SigSpec::reverse() | Eddie Hung | 2020-01-28 | 1 | -3/+3 |
| * | xilinx/ice40/ecp5: undo permuting LUT masks in lut_map | Eddie Hung | 2020-01-27 | 1 | -2/+4 |
| * | read_aiger: set abc9_box_seq attr | Eddie Hung | 2020-01-24 | 1 | -0/+1 |
| * | read_aiger: also parse abc9_mergeability | Eddie Hung | 2020-01-22 | 2 | -2/+6 |
| * | read_aiger: discard LUT inputs with nodeID == 0; not < 2 | Eddie Hung | 2020-01-21 | 1 | -1/+1 |
| * | read_aiger: ignore constant inputs on LUTs | Eddie Hung | 2020-01-21 | 1 | -3/+7 |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-15 | 1 | -2/+2 |
| |\ |
|
| | * | read_aiger: $lut prefix in front | Eddie Hung | 2020-01-15 | 1 | -2/+2 |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-14 | 2 | -13/+17 |
| |\| |
|
| | * | read_aiger: also rename "$0" | Eddie Hung | 2020-01-14 | 1 | -2/+2 |
| | * | read_aiger: uniquify wires with $aiger<autoidx> prefix | Eddie Hung | 2020-01-13 | 2 | -9/+13 |
| | * | read_aiger: make $and/$not/$lut the prefix not suffix | Eddie Hung | 2020-01-13 | 1 | -5/+5 |
| * | | abc9: break SCC by setting (* keep *) on output wires | Eddie Hung | 2020-01-13 | 1 | -1/+3 |
| * | | read_aiger: more accurate debug message | Eddie Hung | 2020-01-09 | 1 | -2/+4 |
| * | | read_aiger: do not double-count outputs for flops | Eddie Hung | 2020-01-09 | 1 | -6/+0 |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-07 | 1 | -5/+20 |
| |\| |
|
| | * | read_aiger: consistency between ascii and binary; also name latches | Eddie Hung | 2020-01-07 | 1 | -3/+9 |
| | * | read_aiger: connect identical signals together | Eddie Hung | 2020-01-07 | 1 | -0/+1 |
| | * | read_aiger: cope with latches and POs with same name | Eddie Hung | 2020-01-07 | 1 | -2/+12 |
| | * | read_aiger: default -clk_name to be empty | Eddie Hung | 2020-01-07 | 1 | -1/+1 |
| * | | read_aiger fixes | Eddie Hung | 2020-01-07 | 1 | -5/+5 |
| * | | read_aiger: do not process box connections, work standalone | Eddie Hung | 2020-01-07 | 1 | -115/+46 |
| * | | read_aiger: consistency between ascii and binary | Eddie Hung | 2020-01-07 | 1 | -13/+7 |
| * | | read_aiger: add -xaiger option | Eddie Hung | 2020-01-06 | 1 | -7/+17 |
| |/ |
|
| * | parse_xaiger to not take box_lookup | Eddie Hung | 2019-12-31 | 2 | -18/+20 |
| * | parse_xaiger to reorder ports too | Eddie Hung | 2019-12-31 | 1 | -41/+26 |
| * | 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 | 1 | -23/+4 |
| * | read_xaiger to cope with optional '\n' after 'c' | Eddie Hung | 2019-12-17 | 1 | -2/+2 |
| * | Name inputs/outputs of aiger 'i%d' and 'o%d' | Eddie Hung | 2019-12-13 | 1 | -13/+6 |
| * | Call abc9 with "&write -n", and parse_xaiger() to cope | Eddie Hung | 2019-12-06 | 1 | -92/+85 |
| * | Do not connect undriven POs to 1'bx | Eddie Hung | 2019-12-06 | 1 | -8/+3 |
| * | Consistent log message, ignore 's' extension | Eddie Hung | 2019-11-20 | 1 | -2/+3 |
| * | Fix merge issues | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff | Eddie Hung | 2019-10-04 | 1 | -4/+4 |
| |\ |
|
