| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-06-10 | 1 | -1/+6 |
|\ |
|
| * | Add some more comments | Eddie Hung | 2019-06-10 | 1 | -1/+6 |
* | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-06-07 | 28 | -33/+138 |
|\| |
|
| * | Test *.aag too, by using *.aig as reference | Eddie Hung | 2019-06-07 | 1 | -0/+19 |
| * | Use ABC to convert from AIGER to Verilog | Eddie Hung | 2019-06-07 | 1 | -2/+3 |
| * | Use ABC to convert AIGER to Verilog, then sat against Yosys | Eddie Hung | 2019-06-07 | 1 | -21/+15 |
| * | Add symbols to AIGER test inputs for ABC | Eddie Hung | 2019-06-07 | 22 | -8/+40 |
| * | Merge pull request #1077 from YosysHQ/clifford/pr983 | Clifford Wolf | 2019-06-07 | 2 | -0/+31 |
| |\ |
|
| | * | Merge branch 'pr_elab_sys_tasks' of https://github.com/udif/yosys into cliffo... | Clifford Wolf | 2019-06-07 | 2 | -0/+31 |
| | |\ |
|
| | | * | Initial implementation of elaboration system tasks | Udi Finkelstein | 2019-05-03 | 2 | -0/+31 |
| * | | | Rename implicit_ports.sv test to implicit_ports.v | Clifford Wolf | 2019-06-07 | 1 | -0/+0 |
| |/ / |
|
| * | | Cleanup tux3-implicit_named_connection | Clifford Wolf | 2019-06-07 | 2 | -12/+1 |
| * | | Merge branch 'implicit_named_connection' of https://github.com/tux3/yosys int... | Clifford Wolf | 2019-06-07 | 4 | -3/+42 |
| |\ \ |
|
| | * | | SystemVerilog support for implicit named port connections | tux3 | 2019-06-06 | 4 | -3/+42 |
* | | | | Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux | Eddie Hung | 2019-06-06 | 2 | -0/+41 |
|\ \ \ \ |
|
| * | | | | Fix and test for balanced case | Eddie Hung | 2019-06-06 | 2 | -0/+41 |
* | | | | | Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux | Eddie Hung | 2019-06-06 | 15 | -0/+512 |
|\| | | | |
|
| * | | | | Fix warnings | Eddie Hung | 2019-06-06 | 2 | -3/+3 |
| * | | | | Support cascading $pmux.A with $mux.A and $mux.B | Eddie Hung | 2019-06-06 | 2 | -0/+40 |
| * | | | | Add non exclusive test | Eddie Hung | 2019-06-06 | 2 | -0/+56 |
| * | | | | One more and tidy up | Eddie Hung | 2019-06-06 | 2 | -6/+28 |
| * | | | | Add a few more special case tests | Eddie Hung | 2019-06-06 | 2 | -0/+51 |
| * | | | | Add tests, fix for != | Eddie Hung | 2019-06-06 | 2 | -0/+78 |
| |/ / / |
|
| * | | | Moved tests that fail with Icarus Verilog to /tests/various. Those tests are ... | Maciej Kurc | 2019-06-04 | 4 | -0/+46 |
| * | | | Added tests for attributes | Maciej Kurc | 2019-06-03 | 9 | -0/+219 |
| |/ / |
|
* | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-06-03 | 1 | -0/+4 |
|\| | |
|
| * | | Merge pull request #1049 from YosysHQ/clifford/fix1047 | Clifford Wolf | 2019-05-28 | 1 | -0/+4 |
| |\ \ |
|
| | * | | Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047 | Clifford Wolf | 2019-05-28 | 1 | -0/+4 |
* | | | | Rename to #23 | Eddie Hung | 2019-05-29 | 1 | -3/+3 |
* | | | | Add abc_test024 | Eddie Hung | 2019-05-29 | 1 | -6/+19 |
* | | | | Add abc9_test022 | Eddie Hung | 2019-05-28 | 1 | -0/+22 |
* | | | | From master | Eddie Hung | 2019-05-28 | 1 | -1/+1 |
* | | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-05-28 | 3 | -27/+84 |
|\| | | |
|
| * | | | Add actual wandwor test that is part of "make test" | Clifford Wolf | 2019-05-28 | 2 | -33/+36 |
| * | | | Merge branch 'master' into wandwor | Stefan Biereigel | 2019-05-27 | 2 | -0/+76 |
| |\| | |
|
| | * | | 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 |
| | * | | Fix duplicate driver | Eddie Hung | 2019-05-24 | 1 | -15/+15 |
| * | | | reformat wand/wor test | Stefan Biereigel | 2019-05-27 | 1 | -22/+21 |
| * | | | remove port direction workaround from test case | Stefan Biereigel | 2019-05-27 | 1 | -2/+1 |
| * | | | add simple test case for wand/wor | Stefan Biereigel | 2019-05-23 | 1 | -0/+35 |
* | | | | Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux | Eddie Hung | 2019-05-23 | 2 | -0/+55 |
|\ \ \ \
| | |/ /
| |/| | |
|
| * | | | Add opt_rmdff tests | Eddie Hung | 2019-05-23 | 2 | -0/+55 |
| |/ / |
|
* | | | Merge remote-tracking branch 'origin/master' into xc7mux | Eddie Hung | 2019-05-21 | 10 | -5/+225 |
|\| | |
|
| * | | Added tests for Verilog frontent for attributes on parameters and localparams | Maciej Kurc | 2019-05-16 | 2 | -0/+22 |
| * | | Add test case from #997 | Clifford Wolf | 2019-05-07 | 1 | -0/+12 |
| * | | Merge pull request #946 from YosysHQ/clifford/specify | Clifford Wolf | 2019-05-06 | 2 | -0/+86 |
| |\ \ |
|
| | * | | Improve tests/various/specify.ys | Clifford Wolf | 2019-05-06 | 1 | -2/+32 |