| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Pass SigBit by value to Netlist algorithms | Bogdan Vukobratovic | 2019-06-13 | 1 | -65/+84 |
| * | Rename satgen_algo.h -> algo.h, code cleanup and refactoring | Bogdan Vukobratovic | 2019-06-12 | 4 | -279/+265 |
| * | Generate satgen instance instead of calling sat pass | Bogdan Vukobratovic | 2019-06-11 | 2 | -24/+129 |
| * | Refactor driver map generation | Bogdan Vukobratovic | 2019-06-10 | 1 | -0/+158 |
| * | Fix the regression | Bogdan Vukobratovic | 2019-05-28 | 1 | -1/+2 |
| * | Merge remote-tracking branch 'upstream/master' | Bogdan Vukobratovic | 2019-05-28 | 1 | -1/+11 |
| |\ |
|
| | * | Merge pull request #1045 from mmicko/afl-gcc-target | Clifford Wolf | 2019-05-28 | 1 | -1/+11 |
| | |\ |
|
| | | * | make config-afl-gcc to help creating conf file | Miodrag Milanovic | 2019-05-27 | 1 | -1/+4 |
| | | * | Added afl-gcc as target for fuzzer | Miodrag Milanovic | 2019-05-27 | 1 | -0/+7 |
| | |/ |
|
| * / | Optimizing DFFs whose initial value prevents their value from changing | Bogdan Vukobratovic | 2019-05-28 | 4 | -3/+78 |
| |/ |
|
| * | Merge pull request #1044 from mmicko/invalid_width_range | Clifford Wolf | 2019-05-27 | 1 | -1/+2 |
| |\ |
|
| | * | Give error instead of asserting for invalid range, fixes #947 | Miodrag Milanovic | 2019-05-27 | 1 | -1/+2 |
| * | | Merge pull request #1043 from mmicko/unsized_constant | Clifford Wolf | 2019-05-27 | 5 | -13/+45 |
| |\ \ |
|
| | * | | Added support for unsized constants, fixes #1022 | Miodrag Milanovic | 2019-05-27 | 5 | -13/+45 |
| | |/ |
|
| * | | Merge pull request #1026 from YosysHQ/clifford/fix1023 | Clifford Wolf | 2019-05-27 | 2 | -2/+12 |
| |\ \ |
|
| | * | | Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023 | Clifford Wolf | 2019-05-22 | 1 | -2/+3 |
| | * | | Fix handling of warning and error messages within log_make_debug-blocks | Clifford Wolf | 2019-05-22 | 1 | -0/+9 |
| * | | | Merge pull request #1030 from Kmanfi/makefile_osx | Clifford Wolf | 2019-05-27 | 1 | -5/+37 |
| |\ \ \
| |_|/
|/| | |
|
| | * | | Guard all Python-api related items. | Kaj Tuomi | 2019-05-27 | 1 | -0/+6 |
| | * | | OS X related fixes. | Kaj Tuomi | 2019-05-22 | 1 | -5/+31 |
| | |/ |
|
| * | | Merge pull request #1035 from YosysHQ/eddie/opt_rmdff | Clifford Wolf | 2019-05-26 | 3 | -4/+144 |
| |\ \ |
|
| | * | | Revert enable check | Eddie Hung | 2019-05-25 | 1 | -3/+1 |
| | * | | Fix init | Eddie Hung | 2019-05-24 | 1 | -27/+27 |
| | * | | Fix typos | Eddie Hung | 2019-05-24 | 1 | -6/+6 |
| | * | | Add more tests | Eddie Hung | 2019-05-24 | 2 | -20/+41 |
| | * | | Call proc | Eddie Hung | 2019-05-24 | 1 | -1/+1 |
| | * | | opt_rmdff to optimise even in presence of enable signal, even removing | Eddie Hung | 2019-05-24 | 1 | -12/+29 |
| | * | | Fix duplicate driver | Eddie Hung | 2019-05-24 | 1 | -15/+15 |
| | * | | Add comments | Eddie Hung | 2019-05-24 | 1 | -1/+22 |
| | * | | Resolve @cliffordwolf review, set even if !has_init | Eddie Hung | 2019-05-24 | 1 | -2/+1 |
| | * | | Fix spacing | Eddie Hung | 2019-05-23 | 1 | -2/+2 |
| | * | | Add opt_rmdff tests | Eddie Hung | 2019-05-23 | 2 | -0/+55 |
| | * | | opt_rmdff to work on $dffe and $_DFFE_* | Eddie Hung | 2019-05-23 | 1 | -3/+32 |
| * | | | Merge pull request #1042 from mmicko/git_ignore_python | Clifford Wolf | 2019-05-26 | 1 | -0/+3 |
| |\ \ \ |
|
| | * | | | Add files to ignore for python build | Miodrag Milanovic | 2019-05-26 | 1 | -0/+3 |
| |/ / / |
|
| * | | | Merge pull request #1041 from YosysHQ/clifford/fix1040 | Clifford Wolf | 2019-05-25 | 1 | -6/+20 |
| |\ \ \ |
|
| | * | | | Fix handling of offset and upto module ports in write_blif, fixes #1040 | Clifford Wolf | 2019-05-25 | 1 | -6/+20 |
| |/ / / |
|
| * | | | Add proper error message for btor recursion_guard | Clifford Wolf | 2019-05-24 | 1 | -1/+7 |
| * | | | Merge pull request #1036 from YosysHQ/eddie/xilinx_dram | Eddie Hung | 2019-05-23 | 1 | -0/+4 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | Add "min bits" and "min wports" to xilinx dram rules | Eddie Hung | 2019-05-23 | 1 | -0/+4 |
| |/ / |
|
| * | | Merge pull request #1031 from mdaiter/optimizeLookupTableBtor | Clifford Wolf | 2019-05-23 | 1 | -6/+4 |
| |\ \
| |/
|/| |
|
| | * | Optimize numberOfPermutations | Matthew Daiter | 2019-05-22 | 1 | -6/+4 |
| * | | Merge pull request #1019 from YosysHQ/clifford/fix1016 | Clifford Wolf | 2019-05-22 | 2 | -3/+13 |
| |\ \ |
|
| | * | | Add "wreduce -keepdc", fixes #1016 | Clifford Wolf | 2019-05-20 | 2 | -3/+13 |
| * | | | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg | Clifford Wolf | 2019-05-22 | 1 | -3/+7 |
| |\ \ \
| |_|/
|/| | |
|
| | * | | Fix static shift operands, neg result type, minor formatting | Jim Lawson | 2019-05-21 | 1 | -3/+7 |
| | * | | Merge remote-tracking branch 'upstream/master' | Jim Lawson | 2019-05-21 | 66 | -629/+2298 |
| | |\| |
|
| | * | | Merge remote-tracking branch 'upstream/master' | Jim Lawson | 2019-05-02 | 5 | -60/+66 |
| | |\ \ |
|
| | * \ \ | Merge remote-tracking branch 'upstream/master' | Jim Lawson | 2019-05-01 | 6 | -5/+68 |
| | |\ \ \ |
|
| | * \ \ \ | Merge remote-tracking branch 'upstream/master' | Jim Lawson | 2019-04-30 | 91 | -445/+5146 |
| | |\ \ \ \ |
|
