2019-06-14 |
Bogdan Vukobratovic | Merge remote-tracking branch 'upstream/master' |
commit | commitdiff | tree |
2019-06-14 |
Bogdan Vukobratovic | Prepare for situation when port of the signal cannot... |
commit | commitdiff | tree |
2019-06-14 |
Bogdan Vukobratovic | Some cleanup, revert sat.cc |
commit | commitdiff | tree |
2019-06-13 |
Bogdan Vukobratovic | Implement disconnection of constant register bits |
commit | commitdiff | tree |
2019-06-13 |
Bogdan Vukobratovic | Pass SigBit by value to Netlist algorithms |
commit | commitdiff | tree |
2019-06-13 |
Serge Bazanski | Merge pull request #829 from abdelrahmanhosny/master |
commit | commitdiff | tree |
2019-06-12 |
Bogdan Vukobratovic | Rename satgen_algo.h -> algo.h, code cleanup and refact... |
commit | commitdiff | tree |
2019-06-11 |
Bogdan Vukobratovic | Generate satgen instance instead of calling sat pass |
commit | commitdiff | tree |
2019-06-10 |
Bogdan Vukobratovic | Refactor driver map generation |
commit | commitdiff | tree |
2019-06-10 |
Eddie Hung | Add some more comments |
commit | commitdiff | tree |
2019-06-10 |
David Shah | Merge pull request #1082 from corecode/u4k |
commit | commitdiff | tree |
2019-06-10 |
Simon Schubert | ice40/cells_sim.v: Add support for RGB_DRV/LED_DRV_CUR... |
commit | commitdiff | tree |
2019-06-08 |
Clifford Wolf | Merge pull request #1078 from YosysHQ/eddie/muxcover_costs |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing from spaces to tabs |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add read_aiger to CHANGELOG |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix spacing (entire file is wrong anyway, will fix... |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Remove unnecessary std::getline() for ASCII |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Test *.aag too, by using *.aig as reference |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Fix read_aiger -- create zero driver, fix init width... |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert from AIGER to Verilog |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Use ABC to convert AIGER to Verilog, then sat against... |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Add symbols to AIGER test inputs for ABC |
commit | commitdiff | tree |
2019-06-07 |
Eddie Hung | Allow muxcover costs to be changed |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge pull request #1077 from YosysHQ/clifford/pr983 |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Rename implicit_ports.sv test to implicit_ports.v |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Fixes and cleanups in AST_TECALL handling |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge branch 'pr_elab_sys_tasks' of https://github... |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge branch 'tux3-implicit_named_connection' |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge pull request #1076 from thasti/centos7-build-fix |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Cleanup tux3-implicit_named_connection |
commit | commitdiff | tree |
2019-06-07 |
Clifford Wolf | Merge branch 'implicit_named_connection' of https:... |
commit | commitdiff | tree |
2019-06-07 |
Stefan Biereigel | remove boost/log/exceptions.hpp from wrapper generator |
commit | commitdiff | tree |
2019-06-06 |
tux3 | SystemVerilog support for implicit named port connections |
commit | commitdiff | tree |
2019-06-06 |
Clifford Wolf | Merge pull request #1060 from antmicro/parsing_attr_on_... |
commit | commitdiff | tree |
2019-06-06 |
David Shah | Merge pull request #1073 from whitequark/ecp5-diamond-iob |
commit | commitdiff | tree |
2019-06-06 |
whitequark | ECP5: implement all Diamond I/O buffer primitives. |
commit | commitdiff | tree |
2019-06-06 |
Clifford Wolf | Merge pull request #1071 from YosysHQ/eddie/fix_1070 |
commit | commitdiff | tree |
2019-06-06 |
Clifford Wolf | Merge pull request #1072 from YosysHQ/eddie/fix_1069 |
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Missing doc for -tech xilinx in shregmap |
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Error out if no top module given before 'sim' |
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Fix typo in opt_rmdff |
commit | commitdiff | tree |
2019-06-05 |
Eddie Hung | Merge pull request #1067 from YosysHQ/clifford/fix1065 |
commit | commitdiff | tree |
2019-06-05 |
Maciej Kurc | Fixed memory leak. |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Merge pull request #1066 from YosysHQ/clifford/fix1056 |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Major rewrite of wire selection in setundef -init |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Indent fix |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Merge pull request #999 from jakobwenzel/setundefInitFix |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Fix typo in fmcombine log message, fixes #1063 |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Suppress driver-driver conflict warning for unknown... |
commit | commitdiff | tree |
2019-06-05 |
Clifford Wolf | Remove yosys_banner() from python wrapper init, fixes... |
commit | commitdiff | tree |
2019-06-04 |
Clifford Wolf | Merge pull request #1062 from tux3/patch-1 |
commit | commitdiff | tree |
2019-06-04 |
Tux3 | README.md: Missing formatting for <tag> |
commit | commitdiff | tree |
2019-06-04 |
Maciej Kurc | Moved tests that fail with Icarus Verilog to /tests... |
commit | commitdiff | tree |
2019-06-04 |
Eddie Hung | Merge pull request #1061 from YosysHQ/eddie/techmap_and... |
commit | commitdiff | tree |
2019-06-04 |
Eddie Hung | Remove extra newline |
commit | commitdiff | tree |
2019-06-04 |
Eddie Hung | Execute techmap and arith_map simultaneously |
commit | commitdiff | tree |
2019-06-03 |
Maciej Kurc | Added tests for attributes |
commit | commitdiff | tree |
2019-06-02 |
Clifford Wolf | Only support Symbiotic EDA flavored Verific |
commit | commitdiff | tree |
2019-05-31 |
Maciej Kurc | Added support for parsing attributes on port connections. |
commit | commitdiff | tree |
2019-05-31 |
Clifford Wolf | Fix "tee" handling of log_streams |
commit | commitdiff | tree |
2019-05-30 |
Clifford Wolf | Enable Verific flag veri_elaborate_top_level_modules_ha... |
commit | commitdiff | tree |
2019-05-30 |
Clifford Wolf | Merge pull request #1057 from mmicko/fix_478 |
commit | commitdiff | tree |
2019-05-29 |
Miodrag Milanovic | Aded one more load of .conf to support change of prefix |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1049 from YosysHQ/clifford/fix1047 |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1050 from YosysHQ/clifford/wandwor |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Do not use shiftmul peepopt pattern when mul result... |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1048 from mmicko/fix_enable_pyosys |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Refactor hierarchy wand/wor handling |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Add actual wandwor test that is part of "make test" |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge branch 'wandwor' of https://github.com/thasti... |
commit | commitdiff | tree |
2019-05-28 |
Bogdan Vukobratovic | Fix the regression |
commit | commitdiff | tree |
2019-05-28 |
Miodrag Milanovic | Remove info line in 2nd load of conf file |
commit | commitdiff | tree |
2019-05-28 |
Miodrag Milanovic | Moved pyosys block in Makefile |
commit | commitdiff | tree |
2019-05-28 |
Bogdan Vukobratovic | Merge remote-tracking branch 'upstream/master' |
commit | commitdiff | tree |
2019-05-28 |
Clifford Wolf | Merge pull request #1045 from mmicko/afl-gcc-target |
commit | commitdiff | tree |
2019-05-28 |
Bogdan Vukobratovic | Optimizing DFFs whose initial value prevents their... |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | make config-afl-gcc to help creating conf file |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Added afl-gcc as target for fuzzer |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | Merge branch 'master' into wandwor |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | reformat wand/wor test |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | remove port direction workaround from test case |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | update README.md with wand/wor information |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | remove leftovers from ast data structures |
commit | commitdiff | tree |
2019-05-27 |
Stefan Biereigel | move wand/wor resolution into hierarchy pass |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1044 from mmicko/invalid_width_range |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1043 from mmicko/unsized_constant |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1026 from YosysHQ/clifford/fix1023 |
commit | commitdiff | tree |
2019-05-27 |
Clifford Wolf | Merge pull request #1030 from Kmanfi/makefile_osx |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Give error instead of asserting for invalid range,... |
commit | commitdiff | tree |
2019-05-27 |
Miodrag Milanovic | Added support for unsized constants, fixes #1022 |
commit | commitdiff | tree |
2019-05-27 |
Kaj Tuomi | Guard all Python-api related items. |
commit | commitdiff | tree |
2019-05-26 |
Clifford Wolf | Merge pull request #1035 from YosysHQ/eddie/opt_rmdff |
commit | commitdiff | tree |
2019-05-26 |
Clifford Wolf | Merge pull request #1042 from mmicko/git_ignore_python |
commit | commitdiff | tree |
2019-05-26 |
Miodrag Milanovic | Add files to ignore for python build |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Revert enable check |
commit | commitdiff | tree |
2019-05-25 |
Clifford Wolf | Merge pull request #1041 from YosysHQ/clifford/fix1040 |
commit | commitdiff | tree |
2019-05-25 |
Clifford Wolf | Fix handling of offset and upto module ports in write_b... |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix init |
commit | commitdiff | tree |
2019-05-25 |
Eddie Hung | Fix typos |
commit | commitdiff | tree |
next |