Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1413 from YosysHQ/mmicko/backend_binary_out | Miodrag Milanović | 2019-09-29 | 5 | -7/+7 |
|\ | |||||
| * | Add aiger and protobuf backends binary support | Miodrag Milanovic | 2019-09-28 | 2 | -3/+3 |
| * | Support binary files for backends, fixes #1407 | Miodrag Milanovic | 2019-09-28 | 3 | -4/+4 |
* | | Merge pull request #1411 from aman-goel/YosysHQ-master | Clifford Wolf | 2019-09-29 | 1 | -1/+4 |
|\ \ | |/ |/| | |||||
| * | Corrects btor2 backend | Aman Goel | 2019-09-27 | 1 | -1/+4 |
| * | Merge pull request #7 from YosysHQ/master | Aman Goel | 2019-09-27 | 679 | -8313/+71733 |
| |\ | |||||
* | | | Fix box name | Eddie Hung | 2019-09-27 | 1 | -1/+1 |
* | | | Fix _TECHMAP_REMOVEINIT_ handling. | Marcin Kościelnicki | 2019-09-27 | 2 | -15/+29 |
| |/ |/| | |||||
* | | Merge pull request #1409 from YosysHQ/mmicko/fix_getopt_difference | Miodrag Milanović | 2019-09-27 | 1 | -1/+1 |
|\ \ | |||||
| * | | Change order of parameters, to work on other os | Miodrag Milanovic | 2019-09-27 | 1 | -1/+1 |
* | | | Merge pull request #1404 from YosysHQ/fix_gzip_macos | Clifford Wolf | 2019-09-27 | 1 | -3/+11 |
|\ \ \ | |/ / |/| | | |||||
| * | | Make read/write gzip files on macos works, fixes #1357 | Miodrag Milanovic | 2019-09-26 | 1 | -3/+11 |
* | | | Missing an '&' | Eddie Hung | 2019-09-26 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #1401 from SergeyDegtyar/SergeyDegtyar/ice40 | Eddie Hung | 2019-09-25 | 2 | -19/+14 |
|\ \ | |||||
| * | | Change sync controls to async. | SergeyDegtyar | 2019-09-25 | 2 | -8/+8 |
| * | | adffs test update (equiv_opt -multiclock). | SergeyDegtyar | 2019-09-24 | 2 | -18/+13 |
* | | | Merge pull request #1402 from YosysHQ/clifford/portlist | Clifford Wolf | 2019-09-25 | 2 | -0/+94 |
|\ \ \ | |||||
| * | | | Improve "portlist" command | Clifford Wolf | 2019-09-25 | 1 | -9/+26 |
| * | | | Add "portlist" command | Clifford Wolf | 2019-09-24 | 2 | -0/+77 |
|/ / / | |||||
* | | | Merge pull request #1399 from nakengelhardt/fix-show-macos | Miodrag Milanović | 2019-09-23 | 2 | -0/+9 |
|\ \ \ | |||||
| * | | | add xdot dependency to Brewfile | N. Engelhardt | 2019-09-23 | 1 | -0/+1 |
| * | | | fix show command for macos | N. Engelhardt | 2019-09-23 | 1 | -0/+8 |
|/ / / | |||||
* | | | Merge pull request #1392 from YosysHQ/eddie/fix1391 | Clifford Wolf | 2019-09-21 | 2 | -1/+69 |
|\ \ \ | |||||
| * | | | Hell let's add the original #1381 testcase too | Eddie Hung | 2019-09-20 | 1 | -3/+22 |
| * | | | Revert abc9.cc | Eddie Hung | 2019-09-20 | 1 | -1/+1 |
| * | | | Add testcase | Eddie Hung | 2019-09-20 | 1 | -0/+43 |
| * | | | Trim mismatched connection to be same (smallest) size | Eddie Hung | 2019-09-20 | 1 | -0/+6 |
| * | | | Fix first testcase in #1391 | Eddie Hung | 2019-09-20 | 2 | -2/+2 |
|/ / / | |||||
* | | | Merge pull request #1386 from YosysHQ/clifford/fix1360 | Clifford Wolf | 2019-09-20 | 2 | -18/+30 |
|\ \ \ | |||||
| * | | | Fix handling of read_verilog config in AstModule::reprocess_module(), fixes #... | Clifford Wolf | 2019-09-20 | 2 | -18/+30 |
|/ / / | |||||
* | | | Update CHANGELOG | Clifford Wolf | 2019-09-20 | 1 | -0/+2 |
* | | | Add "add -mod" | Clifford Wolf | 2019-09-20 | 1 | -0/+18 |
* | | | Merge pull request #1384 from YosysHQ/clifford/fix1381 | Clifford Wolf | 2019-09-20 | 1 | -5/+49 |
|\ \ \ | |||||
| * | | | Add techmap_autopurge attribute, fixes #1381 | Clifford Wolf | 2019-09-19 | 1 | -5/+49 |
|/ / / | |||||
* | | | Use extractinv for synth_xilinx -ise | Marcin Kościelnicki | 2019-09-19 | 8 | -90/+502 |
* | | | Added extractinv pass | Marcin Kościelnicki | 2019-09-19 | 5 | -0/+172 |
* | | | Document (* gentb_skip *) attr for test_autotb | Eddie Hung | 2019-09-18 | 1 | -0/+3 |
* | | | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext | Eddie Hung | 2019-09-18 | 6 | -14/+291 |
|\ \ \ | |||||
| * | | | Oops | Eddie Hung | 2019-09-13 | 1 | -1/+1 |
| * | | | Add counter-example from @cliffordwolf | Eddie Hung | 2019-09-13 | 1 | -0/+24 |
| * | | | Revert "Make one check $shift(x)? only; change testcase to be 8b" | Eddie Hung | 2019-09-13 | 2 | -5/+4 |
| * | | | Tidy up | Eddie Hung | 2019-09-11 | 1 | -10/+16 |
| * | | | Fix UB | Eddie Hung | 2019-09-11 | 1 | -2/+2 |
| * | | | Cope with presence of reset muxes too | Eddie Hung | 2019-09-11 | 2 | -4/+64 |
| * | | | Cleanup | Eddie Hung | 2019-09-11 | 1 | -25/+22 |
| * | | | Add more tests | Eddie Hung | 2019-09-11 | 1 | -0/+32 |
| * | | | Only display log message if did_something | Eddie Hung | 2019-09-11 | 1 | -1/+1 |
| * | | | Rename dffmuxext -> dffmux, also remove constants in dff+mux | Eddie Hung | 2019-09-11 | 4 | -57/+91 |
| * | | | proc instead of prep | Eddie Hung | 2019-09-11 | 1 | -2/+2 |
| * | | | Add unsigned case | Eddie Hung | 2019-09-11 | 1 | -0/+17 |