| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | | | | | | | 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 |
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-07-10 | 3 | -85/+24 |
| |\ \ \ \ \ \ \ |
|
| * \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-07-02 | 1 | -0/+2 |
| |\ \ \ \ \ \ \ \ |
|
| * | | | | | | | | | 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 | 9 | -77/+189 |
| |\ \ \ \ \ \ \ \ \ |
|
| * | | | | | | | | | | 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 |
* | | | | | | | | | | | Merge pull request #1350 from YosysHQ/clifford/fixsby59 | Clifford Wolf | 2019-09-05 | 1 | -7/+18 |
|\ \ \ \ \ \ \ \ \ \ \
| |_|_|_|_|_|_|_|_|_|/
|/| | | | | | | | | | |
|
| * | | | | | | | | | | Properly construct $live and $fair cells from "if (...) assume/assert (s_even... | Clifford Wolf | 2019-09-02 | 1 | -7/+18 |
| | |_|_|_|_|_|_|_|/
| |/| | | | | | | | |
|
* | | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/deferred_top | Eddie Hung | 2019-09-03 | 1 | -1/+1 |
|\| | | | | | | | | |
|
| * | | | | | | | | | parse_xaiger() to do "clean -purge" | Eddie Hung | 2019-08-29 | 1 | -1/+1 |
| | |_|_|_|_|_|_|/
| |/| | | | | | | |
|
* | | | | | | | | | Remove newline | Eddie Hung | 2019-08-29 | 1 | -1/+0 |
* | | | | | | | | | Restore non-deferred code, deferred case to ignore non constant attr | Eddie Hung | 2019-08-29 | 1 | -5/+12 |
* | | | | | | | | | read_verilog -defer should still populate module attributes | Eddie Hung | 2019-08-28 | 1 | -5/+6 |
|/ / / / / / / / |
|
* | | | | | | | | Do not propagate mem2reg attribute through to result | Eddie Hung | 2019-08-22 | 1 | -1/+2 |
* | | | | | | | | mem2reg to preserve user attributes and src | Eddie Hung | 2019-08-21 | 1 | -0/+4 |
| |_|_|_|_|_|/
|/| | | | | | |
|
* | | | | | | | Merge pull request #1308 from jakobwenzel/real_params | Clifford Wolf | 2019-08-20 | 1 | -1/+4 |
|\ \ \ \ \ \ \ |
|
| * | | | | | | | handle real values when deriving ast modules | Jakob Wenzel | 2019-08-19 | 1 | -1/+4 |
| | |_|_|_|_|/
| |/| | | | | |
|
* / | | | | | | Fix typo | Eddie Hung | 2019-08-19 | 1 | -1/+1 |
|/ / / / / / |
|
* | | | | | | Merge branch 'master' into eddie/pr1266_again | whitequark | 2019-08-18 | 4 | -15/+12 |
|\ \ \ \ \ \ |
|
| * \ \ \ \ \ | Merge pull request #1283 from YosysHQ/clifford/fix1255 | Clifford Wolf | 2019-08-17 | 2 | -13/+10 |
| |\ \ \ \ \ \
| | |_|_|_|_|/
| |/| | | | | |
|
| | * | | | | | Fix erroneous ifndef-NDEBUG in verific.cc | Clifford Wolf | 2019-08-17 | 1 | -3/+1 |
| | * | | | | | Remove unused variable | Eddie Hung | 2019-08-16 | 1 | -5/+0 |
| | * | | | | | Fix various NDEBUG compiler warnings, closes #1255 | Clifford Wolf | 2019-08-13 | 2 | -9/+13 |
| * | | | | | | Change signature of parse_blif to take IdString | Eddie Hung | 2019-08-15 | 2 | -2/+2 |
| |/ / / / / |
|
* / / / / / | Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad... | Eddie Hung | 2019-08-12 | 1 | -1/+1 |
|/ / / / / |
|
* | | | | | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER" | David Shah | 2019-08-10 | 1 | -1/+1 |
* | | | | | Merge pull request #1258 from YosysHQ/eddie/cleanup | Clifford Wolf | 2019-08-10 | 8 | -49/+49 |
|\ \ \ \ \ |
|
| * | | | | | substr() -> compare() | Eddie Hung | 2019-08-07 | 5 | -12/+12 |
| * | | | | | RTLIL::S{0,1} -> State::S{0,1} | Eddie Hung | 2019-08-07 | 2 | -19/+19 |
| * | | | | | Merge remote-tracking branch 'origin/master' into eddie/cleanup | Eddie Hung | 2019-08-07 | 2 | -38/+36 |
| |\ \ \ \ \ |
|
| * | | | | | | stoi -> atoi | Eddie Hung | 2019-08-07 | 3 | -5/+5 |
| * | | | | | | IdString::str().substr() -> IdString::substr() | Eddie Hung | 2019-08-06 | 1 | -1/+1 |
| * | | | | | | Use std::stoi instead of atoi(<str>.c_str()) | Eddie Hung | 2019-08-06 | 3 | -5/+5 |
| * | | | | | | RTLIL::S{0,1} -> State::S{0,1} | Eddie Hung | 2019-08-06 | 1 | -16/+16 |
| * | | | | | | Use State::S{0,1} | Eddie Hung | 2019-08-06 | 1 | -1/+1 |
* | | | | | | | Merge pull request #1261 from YosysHQ/clifford/verific_init | Clifford Wolf | 2019-08-10 | 2 | -7/+60 |
|\ \ \ \ \ \ \ |
|
| * | | | | | | | Automatically prune init attributes in verific front-end, fixes #1237 | Clifford Wolf | 2019-08-07 | 2 | -7/+60 |
| | |/ / / / /
| |/| | | | | |
|
* | | | | | | | Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro | Eddie Hung | 2019-08-09 | 1 | -0/+1 |
* | | | | | | | Allow whitebox modules to be overwritten | Eddie Hung | 2019-08-07 | 1 | -1/+1 |
* | | | | | | | Run "clean" on mapped_mod in its own design | Eddie Hung | 2019-08-07 | 2 | -24/+10 |
|/ / / / / / |
|
* | | | | | | Merge pull request #1252 from YosysHQ/clifford/fix1231 | Clifford Wolf | 2019-08-07 | 1 | -15/+2 |
|\ \ \ \ \ \ |
|
| * | | | | | | Fix handling of functions/tasks without top-level begin-end block, fixes #1231 | Clifford Wolf | 2019-08-06 | 1 | -15/+2 |
| |/ / / / / |
|