Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename abc_* names/attributes to more precisely be abc9_* | Eddie Hung | 2019-10-04 | 1 | -4/+4 |
| | |||||
* | Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_in | Miodrag Milanović | 2019-09-30 | 1 | -2/+6 |
|\ | | | | | Open aig frontend as binary file | ||||
| * | Fix reading aig files on windows | Miodrag Milanovic | 2019-09-29 | 1 | -1/+5 |
| | | |||||
| * | Open aig frontend as binary file | Miodrag Milanovic | 2019-09-29 | 1 | -1/+1 |
| | | |||||
| * | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext | Eddie Hung | 2019-09-18 | 1 | -1/+1 |
| |\ | | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells | ||||
* | | | Force $inout.out ports to begin with '$' to indicate internal | Eddie Hung | 2019-09-23 | 1 | -2/+2 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp | Eddie Hung | 2019-09-05 | 1 | -1/+1 |
|\ \ \ | |/ / |/| / | |/ | |||||
| * | Revert "parse_xaiger() to do "clean -purge"" | Eddie Hung | 2019-09-04 | 1 | -1/+1 |
| | | | | | | | | This reverts commit 5d16bf831688ff665b0ec2abd6835b71320b2db5. | ||||
* | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -1/+1 |
|\| | |||||
| * | parse_xaiger() to do "clean -purge" | Eddie Hung | 2019-08-29 | 1 | -1/+1 |
| | | |||||
| * | Fix typo | Eddie Hung | 2019-08-19 | 1 | -1/+1 |
| | | |||||
* | | Remove sequential extension | Eddie Hung | 2019-08-20 | 1 | -33/+2 |
| | | |||||
* | | Use abc_{map,unmap,model}.v | Eddie Hung | 2019-08-20 | 1 | -31/+10 |
| | | |||||
* | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-08-19 | 1 | -12/+9 |
|\| | |||||
| * | Remove unused variable | Eddie Hung | 2019-08-16 | 1 | -5/+0 |
| | | |||||
| * | Fix various NDEBUG compiler warnings, closes #1255 | Clifford Wolf | 2019-08-13 | 1 | -9/+11 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Set abc_flop and use it in toposort | Eddie Hung | 2019-08-19 | 1 | -0/+1 |
| | | |||||
* | | Merge branch 'eddie/abc9_refactor' into xaig_dff | Eddie Hung | 2019-08-16 | 1 | -41/+32 |
|\| | |||||
| * | Merge pull request #1258 from YosysHQ/eddie/cleanup | Clifford Wolf | 2019-08-10 | 1 | -16/+16 |
| |\ | | | | | | | Cleanup a few barnacles across codebase | ||||
| | * | RTLIL::S{0,1} -> State::S{0,1} | Eddie Hung | 2019-08-06 | 1 | -16/+16 |
| | | | |||||
| * | | Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro | Eddie Hung | 2019-08-09 | 1 | -0/+1 |
| | | | |||||
| * | | Run "clean" on mapped_mod in its own design | Eddie Hung | 2019-08-07 | 1 | -23/+9 |
| |/ | |||||
| * | Fix formatting for msys2 mingw build using GetSize | Miodrag Milanovic | 2019-08-01 | 1 | -0/+4 |
| | | |||||
| * | Fix missing semicolon in Windows-specific code in aigerparse.cc. | William D. Jones | 2019-07-14 | 1 | -2/+2 |
| | | | | | | | | Signed-off-by: William D. Jones <thor0505@comcast.net> | ||||
* | | Short out async box | Eddie Hung | 2019-07-11 | 1 | -0/+14 |
| | | |||||
* | | Missing debug message | Eddie Hung | 2019-07-11 | 1 | -0/+1 |
| | | |||||
* | | Small opt | Eddie Hung | 2019-07-10 | 1 | -2/+1 |
| | | |||||
* | | Change how to specify flops to ABC again | Eddie Hung | 2019-07-10 | 1 | -10/+6 |
| | | |||||
* | | Use split_tokens() | Eddie Hung | 2019-07-10 | 1 | -8/+8 |
| | | |||||
* | | Refactor and cope with new abc_flop format | Eddie Hung | 2019-07-01 | 1 | -9/+21 |
| | | |||||
* | | Fix spacing | Eddie Hung | 2019-07-01 | 1 | -1/+1 |
| | | |||||
* | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-07-01 | 1 | -55/+80 |
|\| | |||||
| * | Replace log_assert() with meaningful log_error() | Eddie Hung | 2019-06-28 | 1 | -1/+5 |
| | | |||||
| * | Refactor for one "abc_carry" attribute on module | Eddie Hung | 2019-06-27 | 1 | -31/+37 |
| | | |||||
| * | Remove unneeded include | Eddie Hung | 2019-06-27 | 1 | -3/+0 |
| | | |||||
| * | Reduce log_debug spam in parse_xaiger() | Eddie Hung | 2019-06-21 | 1 | -16/+19 |
| | | |||||
| * | Workaround issues exposed by gcc-4.8 | Eddie Hung | 2019-06-21 | 1 | -0/+7 |
| | | |||||
| * | Fix broken abc9.v test due to inout being 1'bx | Eddie Hung | 2019-06-20 | 1 | -3/+10 |
| | | |||||
| * | Fix issue with part of PI being 1'bx | Eddie Hung | 2019-06-20 | 1 | -4/+6 |
| | | |||||
| * | Cleanup | Eddie Hung | 2019-06-16 | 1 | -20/+1 |
| | | |||||
* | | Cleanup | Eddie Hung | 2019-06-16 | 1 | -23/+18 |
| | | |||||
* | | Read init from outputs | Eddie Hung | 2019-06-15 | 1 | -0/+4 |
| | | |||||
* | | Fix debug message | Eddie Hung | 2019-06-15 | 1 | -0/+1 |
| | | |||||
* | | Fix log_debug messages | Eddie Hung | 2019-06-15 | 1 | -17/+23 |
| | | |||||
* | | Missing close bracket | Eddie Hung | 2019-06-15 | 1 | -1/+1 |
| | | |||||
* | | read_aiger to not require clk_name for latches, plus debug | Eddie Hung | 2019-06-15 | 1 | -21/+37 |
|/ | |||||
* | Cover __APPLE__ too for little to big endian | Eddie Hung | 2019-06-14 | 1 | -4/+7 |
| | |||||
* | Further cleanup based on @daveshah1 | Eddie Hung | 2019-06-14 | 1 | -10/+20 |
| | |||||
* | Resolve comments from @daveshah1 | Eddie Hung | 2019-06-14 | 1 | -2/+2 |
| | |||||
* | Cleanup | Eddie Hung | 2019-06-14 | 1 | -7/+3 |
| |