2018-12-21 |
whitequark | memory_collect: do not truncate 'x from \INIT. |
commit | commitdiff | tree |
2018-12-19 |
Clifford Wolf | Merge pull request #752 from Icenowy/anlogic-lut-cost |
commit | commitdiff | tree |
2018-12-19 |
Clifford Wolf | Merge pull request #753 from Icenowy/anlogic-makefile-fix |
commit | commitdiff | tree |
2018-12-19 |
Clifford Wolf | Merge pull request #749 from Icenowy/anlogic-dram-fix |
commit | commitdiff | tree |
2018-12-19 |
Icenowy Zheng | anlogic: fix Makefile.inc |
commit | commitdiff | tree |
2018-12-19 |
Icenowy Zheng | Anlogic: let LUT5/6 have more cost than LUT4- |
commit | commitdiff | tree |
2018-12-18 |
Clifford Wolf | Merge pull request #748 from makaimann/add-btor-ops |
commit | commitdiff | tree |
2018-12-18 |
Clifford Wolf | Merge pull request #751 from daveshah1/fix_589 |
commit | commitdiff | tree |
2018-12-18 |
David Shah | memory_dff: Fix typo when checking init value |
commit | commitdiff | tree |
2018-12-18 |
Clifford Wolf | Fix segfault in AST simplify |
commit | commitdiff | tree |
2018-12-18 |
Clifford Wolf | Improve src tagging (using names and attrs) of cells... |
commit | commitdiff | tree |
2018-12-18 |
Icenowy Zheng | anlogic: fix dbits of Anlogic Eagle DRAM16X4 |
commit | commitdiff | tree |
2018-12-17 |
makaimann | Add btor ops for $mul, $div, $mod and $concat |
commit | commitdiff | tree |
2018-12-17 |
Clifford Wolf | Merge pull request #746 from Icenowy/anlogic-dram |
commit | commitdiff | tree |
2018-12-17 |
Clifford Wolf | Merge pull request #742 from whitequark/changelog |
commit | commitdiff | tree |
2018-12-17 |
Clifford Wolf | Merge pull request #741 from whitequark/ilang_slice_sigspec |
commit | commitdiff | tree |
2018-12-17 |
Clifford Wolf | Merge pull request #744 from whitequark/write_verilog_... |
commit | commitdiff | tree |
2018-12-17 |
Icenowy Zheng | anlogic: add support for Eagle Distributed RAM |
commit | commitdiff | tree |
2018-12-17 |
Icenowy Zheng | Revert "Leave only real black box cells" |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #745 from YosysHQ/revert-714-abc_pre... |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Revert "Proof-of-concept: preserve naming through ABC... |
commit | commitdiff | tree |
2018-12-16 |
whitequark | write_verilog: handle the $shift cell. |
commit | commitdiff | tree |
2018-12-16 |
whitequark | Update CHANGELOG. |
commit | commitdiff | tree |
2018-12-16 |
whitequark | read_ilang: allow slicing sigspecs. |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #736 from whitequark/select_assert_list |
commit | commitdiff | tree |
2018-12-16 |
whitequark | select: print selection if a -assert-* flag causes... |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Rename "fine:" label to "map:" in "synth_ice40" |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #704 from webhat/feature/fix-awk |
commit | commitdiff | tree |
2018-12-16 |
whitequark | write_verilog: add a missing newline. |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #738 from smunaut/issue_737 |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #735 from daveshah1/trifixes |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #739 from whitequark/patch-1 |
commit | commitdiff | tree |
2018-12-16 |
whitequark | Add .editorconfig file. |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Fix equiv_opt indenting |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #724 from whitequark/equiv_opt |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #734 from grahamedgecombe/fix-shuffl... |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #730 from smunaut/ffssr_dont_touch |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #729 from whitequark/write_verilog_i... |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #725 from olofk/ram4k-init |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #714 from daveshah1/abc_preserve_naming |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #723 from whitequark/synth_ice40_map... |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #722 from whitequark/rename_src |
commit | commitdiff | tree |
2018-12-16 |
Clifford Wolf | Merge pull request #720 from whitequark/master |
commit | commitdiff | tree |
2018-12-14 |
Sylvain Munaut | verilog_parser: Properly handle recursion when processi... |
commit | commitdiff | tree |
2018-12-12 |
David Shah | deminout: Consider $tribuf cells |
commit | commitdiff | tree |
2018-12-12 |
David Shah | deminout: Don't demote constant-driven inouts to inputs |
commit | commitdiff | tree |
2018-12-11 |
Graham Edgecombe | memory_bram: Fix initdata bit order after shuffling |
commit | commitdiff | tree |
2018-12-10 |
Clifford Wolf | Add yosys-smtbmc support for btor witness |
commit | commitdiff | tree |
2018-12-08 |
Sylvain Munaut | ice40: Honor the "dont_touch" attribute in FFSSR pass |
commit | commitdiff | tree |
2018-12-08 |
Clifford Wolf | Add "yosys-smtbmc --btorwit" skeleton |
commit | commitdiff | tree |
2018-12-08 |
Clifford Wolf | Fix btor init value handling |
commit | commitdiff | tree |
2018-12-07 |
whitequark | write_verilog: correctly map RTLIL `sync init`. |
commit | commitdiff | tree |
2018-12-07 |
whitequark | equiv_opt: pass -D EQUIV when techmapping. |
commit | commitdiff | tree |
2018-12-07 |
whitequark | equiv_opt: new command, for verifying optimization... |
commit | commitdiff | tree |
2018-12-07 |
David Shah | Merge pull request #727 from whitequark/opt_lut |
commit | commitdiff | tree |
2018-12-07 |
whitequark | opt_lut: leave intact LUTs with cascade feeding module... |
commit | commitdiff | tree |
2018-12-07 |
whitequark | opt_lut: show original truth table for both cells. |
commit | commitdiff | tree |
2018-12-07 |
whitequark | opt_lut: add -limit option, for debugging misoptimizations. |
commit | commitdiff | tree |
2018-12-06 |
Olof Kindgren | Only use non-blocking assignments of SB_RAM40_4K for... |
commit | commitdiff | tree |
2018-12-06 |
David Shah | abc: Preserve naming through ABC using 'dress' command |
commit | commitdiff | tree |
2018-12-06 |
whitequark | synth_ice40: split `map_gates` off `fine`. |
commit | commitdiff | tree |
2018-12-06 |
Clifford Wolf | Add missing .gitignore |
commit | commitdiff | tree |
2018-12-06 |
Clifford Wolf | Bugfix in opt_expr handling of a<0 and a>=0 |
commit | commitdiff | tree |
2018-12-06 |
Clifford Wolf | Verific updates |
commit | commitdiff | tree |
2018-12-05 |
whitequark | rename: add -src, for inferring names from source locat... |
commit | commitdiff | tree |
2018-12-05 |
whitequark | lut2mux: handle 1-bit INIT constant in $lut cells. |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: simplify type conversion. NFC. |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #709 from smunaut/issue_708 |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #718 from whitequark/gate2lut |
commit | commitdiff | tree |
2018-12-05 |
whitequark | synth_ice40: add -noabc option, to use built-in LUT... |
commit | commitdiff | tree |
2018-12-05 |
whitequark | gate2lut: new techlib, for converting Yosys gates to... |
commit | commitdiff | tree |
2018-12-05 |
whitequark | Fix typo. |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #713 from Diego-HR/master |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #712 from mmicko/anlogic-support |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Rename opt_lut.cpp to opt_lut.cc |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #717 from whitequark/opt_lut |
commit | commitdiff | tree |
2018-12-05 |
Clifford Wolf | Merge pull request #716 from whitequark/ice40_unlut |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: add -dlogic, to avoid disturbing logic such... |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: always prefer to eliminate 1-LUTs. |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: collect and display statistics. |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: refactor to use a worker. NFC. |
commit | commitdiff | tree |
2018-12-05 |
whitequark | synth_ice40: add -relut option, to run ice40_unlut... |
commit | commitdiff | tree |
2018-12-05 |
whitequark | opt_lut: new pass, to combine LUTs for tighter packing. |
commit | commitdiff | tree |
2018-12-05 |
whitequark | Extract ice40_unlut pass from ice40_opt. |
commit | commitdiff | tree |
2018-12-05 |
Serge Bazanski | Merge pull request #719 from YosysHQ/q3k/flailing-aroun... |
commit | commitdiff | tree |
2018-12-05 |
Sergiusz Bazanski | travis/osx: fix, use clang instead of gcc |
commit | commitdiff | tree |
2018-12-04 |
Clifford Wolf | Fix typo |
commit | commitdiff | tree |
2018-12-04 |
Clifford Wolf | Merge pull request #702 from smunaut/min_ce_use |
commit | commitdiff | tree |
2018-12-04 |
Diego H | Changes in GoWin synth commands and ALU primitive support |
commit | commitdiff | tree |
2018-12-02 |
Miodrag Milanovic | Leave only real black box cells |
commit | commitdiff | tree |
2018-12-01 |
Miodrag Milanovic | Initial support for Anlogic FPGA |
commit | commitdiff | tree |
2018-12-01 |
Clifford Wolf | Merge pull request #676 from rafaeltp/master |
commit | commitdiff | tree |
2018-11-29 |
Clifford Wolf | Improve ConstEval error handling for non-eval cell... |
commit | commitdiff | tree |
2018-11-27 |
Sylvain Munaut | ice40: Add option to only use CE if it'd be use by... |
commit | commitdiff | tree |
2018-11-27 |
Sylvain Munaut | dff2dffe: Add option for unmap to only remove DFFE... |
commit | commitdiff | tree |
2018-11-24 |
Sylvain Munaut | Make return value of $clog2 signed |
commit | commitdiff | tree |
2018-11-20 |
Clifford Wolf | Add iteration limit to "opt_muxtree" |
commit | commitdiff | tree |
2018-11-19 |
Daniël W. Crompton | Using awk rather than gawk |
commit | commitdiff | tree |
2018-11-13 |
Clifford Wolf | Update ABC to git rev 2ddc57d |
commit | commitdiff | tree |
2018-11-12 |
Clifford Wolf | Add "write_aiger -I -O -B" |
commit | commitdiff | tree |
next |