projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
abc9: generate $abc9_holes design instead of <name>$holes
[yosys.git] / techlibs / common /
2020-05-14 Eddie Hungabc9_ops: add 'dff' label for auto handling of (* abc9_... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042 tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2050 from YosysHQ/eddie/opt_clean_fixes tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-05 Eddie Hungtechlibs/common: more robustness when *_WIDTH = 0 tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl tree | commitdiff
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... tree | commitdiff
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics tree | commitdiff
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity tree | commitdiff
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix tree | commitdiff
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make... tree | commitdiff
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-15 Marcelina KościelnickaFix the truth table for $_SR_* cells. tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-09 whitequarkMerge pull request #1857 from whitequark/splitnets... tree | commitdiff
2020-04-09 whitequarkMerge pull request #1875 from whitequark/read_ilang... tree | commitdiff
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu tree | commitdiff
2020-04-03 Eddie Hungcmp2lcu: rename _90_lcu_cmp -> _80_lcu_cmp tree | commitdiff
2020-04-03 Eddie Hungcmp2lcu: fail if `LUT_WIDTH < 2 tree | commitdiff
2020-04-03 Eddie Hungsynth: only techmap cmp2{lut,lcu} if -lut tree | commitdiff
2020-04-03 Eddie Hungsynth: use +/cmp2lcu.v in generic 'synth' too tree | commitdiff
2020-04-03 Eddie HungCleanup +/cmp2lut.v tree | commitdiff
2020-04-03 Eddie Hung+/cmp2lcu.v to work efficiently for fully/partially... tree | commitdiff
2020-04-03 Eddie HungRefactor +/cmp2lcu.v into recursive techmap tree | commitdiff
2020-04-03 Eddie HungCleanup tree | commitdiff
2020-04-03 Eddie HungCleanup cmp2lcu.v tree | commitdiff
2020-04-03 Eddie Hungtechmap +/cmp2lcu.v for decomposing arithmetic compares... tree | commitdiff
2020-04-03 Eddie Hungcmp2lut: comment out unused since 362f4f9 tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings tree | commitdiff
2020-04-02 Marcin Kościelnickisimcells.v: Generate the fine FF cell types by a python... tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization tree | commitdiff
2020-03-14 Miodrag MilanovicFix invalid verilog syntax tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-10 David ShahMerge pull request #1721 from YosysHQ/dave/tribuf-unused tree | commitdiff
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-04 Eddie HungMerge pull request #1735 from YosysHQ/eddie/abc9_dsp48e1 tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1718 from boqwxp/precise_locations tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1681 from YosysHQ/eddie/fix1663 tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po tree | commitdiff
2020-03-02 Eddie HungMerge pull request #1724 from YosysHQ/eddie/abc9_specify tree | commitdiff
2020-02-28 Dan RavensloftAdd -flowmap to synth and synth_ice40 tree | commitdiff
2020-02-27 Eddie HungCreate +/abc9_model.v for $__ABC9_{DELAY,FF_} tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing tree | commitdiff
2020-02-10 Eddie HungMerge pull request #1670 from rodrigomelo9/master tree | commitdiff
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs tree | commitdiff
2020-02-07 Eddie HungMerge pull request #1687 from YosysHQ/eddie/fix_ystests tree | commitdiff
2020-02-07 Eddie Hungtechmap: fix shiftx2mux decomposition tree | commitdiff
2020-02-06 Eddie HungMerge pull request #1684 from YosysHQ/eddie/xilinx_arit... tree | commitdiff
2020-02-06 Eddie Hungshiftx2mux: fix select out of bounds tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1650 from YosysHQ/eddie/shiftx2mux tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-27 Eddie HungMerge branch 'eddie/abc9_refactor' into eddie/abc9_required tree | commitdiff
2020-01-22 Eddie HungExplicitly create separate $mux cells tree | commitdiff
2020-01-21 Eddie HungFix tests -- when Y_WIDTH is non-pow-2 tree | commitdiff
2020-01-21 Eddie HungMove from +/shiftx2mux.v into +/techmap.v; cleanup tree | commitdiff
2020-01-21 Eddie HungNew techmap +/shiftx2mux.v which decomposes LSB first... tree | commitdiff
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-15 Eddie Hungabc9_ops: -write_box is empty, output a dummy box to... tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1444 from btut/feature/python_wrapp... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1465 from YosysHQ/dave/ice40_timing_sim tree | commitdiff
2019-11-14 Clifford WolfMerge branch 'label-bads-btor' of https://github.com... tree | commitdiff
2019-11-13 whitequarkMerge pull request #1488 from whitequark/flowmap-fixes tree | commitdiff
2019-11-12 Clifford WolfMerge pull request #1484 from YosysHQ/clifford/cmp2luteqne tree | commitdiff
2019-11-11 Clifford WolfDo not map $eq and $ne in cmp2lut, only proper arithmet... tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-22 Clifford WolfMerge pull request #1452 from nakengelhardt/fix_dsp_mem_reg tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-19 Miodrag MilanovićMerge pull request #1457 from xobs/python-binary-name tree | commitdiff
2019-10-19 Sean CrossMakefile: don't assume python is called `python3` tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
next