Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Open aig frontend as binary file | Miodrag Milanovic | 2019-09-29 | 1 | -1/+1 |
| | |||||
* | Fix handling of read_verilog config in AstModule::reprocess_module(), fixes ↵ | Clifford Wolf | 2019-09-20 | 2 | -18/+30 |
| | | | | | | #1360 Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | 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 | ||||
| * | Revert "parse_xaiger() to do "clean -purge"" | Eddie Hung | 2019-09-04 | 1 | -1/+1 |
| | | | | | | | | This reverts commit 5d16bf831688ff665b0ec2abd6835b71320b2db5. | ||||
* | | Fix handling of range selects on loop variables, fixes #1372 | Clifford Wolf | 2019-09-16 | 1 | -2/+9 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Fix handling of z_digit "?" and fix optimization of cmp with "z" | Clifford Wolf | 2019-09-13 | 1 | -5/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Fix lexing of integer literals without radix | Clifford Wolf | 2019-09-13 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Fix lexing of integer literals, fixes #1364 | Clifford Wolf | 2019-09-12 | 2 | -3/+3 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Merge pull request #1312 from YosysHQ/xaig_arrival | Eddie Hung | 2019-09-05 | 1 | -14/+25 |
|\ \ | | | | | | | Allow arrival times of sequential outputs to be specified to abc9 | ||||
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-04 | 1 | -0/+7 |
| |\| | |||||
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -1/+1 |
| |\ \ | |||||
| * \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-23 | 1 | -0/+5 |
| |\ \ \ | |||||
| * | | | | 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-20 | 1 | -1/+4 |
| |\ \ \ \ | |||||
| * \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-08-19 | 3 | -14/+11 |
| |\ \ \ \ \ | |||||
| * | | | | | | 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 | 15 | -124/+172 |
| |\ \ \ \ \ \ | |||||
| * | | | | | | | 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 |
| | | | | | | | | |||||
| * | | | | | | | 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_eventually ...)" | ||||
| * | | | | | | | | | | Properly construct $live and $fair cells from "if (...) assume/assert ↵ | Clifford Wolf | 2019-09-02 | 1 | -7/+18 |
| | |_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (s_eventually ...)" Fixes https://github.com/YosysHQ/SymbiYosys/issues/59 Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | | | | | | | | 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 | ||||
| * | | | | | | | 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 various NDEBUG compiler warnings | ||||
| | * | | | | | Fix erroneous ifndef-NDEBUG in verific.cc | Clifford Wolf | 2019-08-17 | 1 | -3/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | | | | Remove unused variable | Eddie Hung | 2019-08-16 | 1 | -5/+0 |
| | | | | | | |