projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #768 from whitequark/opt_lut_elim
[yosys.git] / backends /
2018-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches tree | commitdiff
2018-12-29 Larry DoolittleSquelch a little more trailing whitespace tree | commitdiff
2018-12-23 Clifford WolfMerge pull request #761 from whitequark/proc_clean_partial tree | commitdiff
2018-12-23 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix tree | commitdiff
2018-12-18 Clifford WolfMinor style fixes tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops tree | commitdiff
2018-12-17 makaimannAdd btor ops for $mul, $div, $mod and $concat tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #746 from Icenowy/anlogic-dram tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #742 from whitequark/changelog tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #741 from whitequark/ilang_slice_sigspec tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #744 from whitequark/write_verilog_... tree | commitdiff
2018-12-16 whitequarkwrite_verilog: handle the $shift cell. tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 whitequarkwrite_verilog: add a missing newline. tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737 tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #735 from daveshah1/trifixes tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #734 from grahamedgecombe/fix-shuffl... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #730 from smunaut/ffssr_dont_touch tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #729 from whitequark/write_verilog_i... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #725 from olofk/ram4k-init tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #714 from daveshah1/abc_preserve_naming tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master tree | commitdiff
2018-12-10 Clifford WolfAdd yosys-smtbmc support for btor witness tree | commitdiff
2018-12-08 Clifford WolfAdd "yosys-smtbmc --btorwit" skeleton tree | commitdiff
2018-12-08 Clifford WolfFix btor init value handling tree | commitdiff
2018-12-07 whitequarkwrite_verilog: correctly map RTLIL `sync init`. tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-11-12 Clifford WolfAdd "write_aiger -I -O -B" tree | commitdiff
2018-11-12 Clifford WolfMerge pull request #695 from daveshah1/ecp5_bb tree | commitdiff
2018-11-07 Clifford WolfMerge pull request #693 from YosysHQ/rlimit tree | commitdiff
2018-11-07 Clifford WolfLimit stack size to 16 MB on Darwin tree | commitdiff
2018-11-06 Clifford WolfRun solver in non-incremental mode whem smtio.py is... tree | commitdiff
2018-11-06 Clifford WolfFix for improved smtio.py rlimit code tree | commitdiff
2018-11-06 Clifford WolfImprove stack rlimit code in smtio.py tree | commitdiff
2018-11-05 Clifford WolfMerge pull request #691 from arjenroodselaar/stacksize tree | commitdiff
2018-11-05 Arjen RoodselaarUse conservative stack size for SMT2 on MacOS tree | commitdiff
2018-11-04 Clifford WolfAdd proper error message for when smtbmc "append" fails tree | commitdiff
2018-11-01 Clifford WolfAdd support for signed $shift/$shiftx in smt2 back-end tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #672 from daveshah1/fix_bram tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #671 from rafaeltp/master tree | commitdiff
2018-10-18 rafaeltpadding offset info to memories tree | commitdiff
2018-10-18 rafaeltpadding offset info to memories tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #659 from rubund/sv_interfaces tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #657 from mithro/xilinx-vpr tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #664 from tklam/ignore-verilog-protect tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #660 from tklam/parse-liberty-detect... tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #663 from aman-goel/master tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #658 from daveshah1/ecp5_bram tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #638 from udif/pr_reg_wire_error tree | commitdiff
2018-10-16 Clifford WolfMerge branch 'yosys-0.8-rc' tree | commitdiff
2018-10-15 Aman GoelMinor update tree | commitdiff
2018-10-13 tklamMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2018-10-05 Clifford WolfMerge pull request #651 from ARandomOWL/stdcells_fix tree | commitdiff
2018-10-05 Clifford WolfAdd "write_edif -attrprop" tree | commitdiff
2018-10-02 Clifford WolfMerge pull request #645 from daveshah1/ecp5_dram_fix tree | commitdiff
2018-10-01 Aman GoelUpdate to .smv backend tree | commitdiff
2018-10-01 Aman GoelMerge pull request #4 from YosysHQ/master tree | commitdiff
2018-09-23 Clifford WolfMerge branch 'master' of https://github.com/mmicko... tree | commitdiff
2018-09-21 Miodrag Milanovicadded prefix to FDirection constants, fixing windows... tree | commitdiff
2018-09-19 Clifford WolfMerge pull request #633 from mmicko/master tree | commitdiff
2018-09-19 Clifford WolfMerge pull request #631 from acw1251/master tree | commitdiff
2018-09-18 acw1251Fixed typo in "verilog_write" help message tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master tree | commitdiff
2018-09-05 Clifford WolfAdd $lut support to Verilog back-end tree | commitdiff
2018-08-28 Clifford WolfMerge pull request #618 from ucb-bar/firrtl+modules... tree | commitdiff
2018-08-27 Jim LawsonMerge branch 'master' into firrtl+modules+shiftfixes tree | commitdiff
2018-08-27 Jim LawsonRemove unused functions. tree | commitdiff
2018-08-23 Jim LawsonAdd support for module instances. tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #590 from hzeller/remaining-file... tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #592 from japm48/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl tree | commitdiff
2018-08-14 Clifford WolfFix use of signed integers in JSON back-end tree | commitdiff
2018-08-14 Clifford WolfMerge pull request #602 from litghost/add_eblif_extension tree | commitdiff
2018-08-08 Clifford WolfMerge pull request #596 from litghost/extend_blif_parser tree | commitdiff
2018-08-06 Clifford WolfMerge pull request #600 from jpathy/patch-1 tree | commitdiff
2018-08-06 jpathyUse `realpath` tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2018-07-06 William D. JonesGate POSIX-only signals and resource module to only... tree | commitdiff
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' tree | commitdiff
2018-07-04 Aman GoelMerging with official repo tree | commitdiff
2018-06-20 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-06-20 Clifford WolfMerge pull request #572 from q3k/q3k/fix-protobuf-build tree | commitdiff
2018-06-20 Sergiusz BazanskiFix protobuf build tree | commitdiff
2018-06-19 Clifford WolfMerge pull request #571 from q3k/q3k/protobuf-backend tree | commitdiff
2018-06-19 Serge BazanskiAdd Protobuf backend tree | commitdiff
next