projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2132 from YosysHQ/eddie/verific_initial
[yosys.git] / techlibs / intel /
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types tree | commitdiff
2020-06-23 Marcelina KościelnickaUpdate dff2dffe, dff2dffs, zinit to new FF types. tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning tree | commitdiff
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master tree | commitdiff
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl tree | commitdiff
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection tree | commitdiff
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr tree | commitdiff
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector... tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap tree | commitdiff
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc tree | commitdiff
2020-05-18 Marcelina KościelnickaAdd force_downto and force_upto wire attributes. 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 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti... tree | commitdiff
2020-04-15 Marcelina KościelnickaGet rid of dffsr2dff. tree | commitdiff
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro... tree | commitdiff
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876 tree | commitdiff
2020-04-15 Dan Ravensloftsynth_intel_alm: alternative synthesis for Intel FPGAs tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init 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-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental tree | commitdiff
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master tree | commitdiff
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix tree | commitdiff
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... tree | commitdiff
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Claire WolfAdd log_experimental() and experimental() API and ... tree | commitdiff
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... tree | commitdiff
2020-01-06 Eddie HungMerge pull request #1617 from YosysHQ/eddie/abc9_dsp_re... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 whitequarkMerge pull request #1604 from whitequark/unify-ram... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-02 Clifford WolfMerge pull request #1609 from YosysHQ/clifford/fix1596 tree | commitdiff
2020-01-02 Eddie HungMerge pull request #1601 from YosysHQ/eddie/synth_retime tree | commitdiff
2020-01-01 whitequarkHarmonize BRAM/LUTRAM descriptions across all of Yosys. tree | commitdiff
2019-12-30 Eddie HungUpdate doc that "-retime" calls abc with "-dff -D 1" tree | commitdiff
2019-12-30 Eddie HungRevert "Revert "synth_* with -retime option now calls... tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1558 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2019-12-18 David ShahMerge pull request #1563 from YosysHQ/dave/async-prld tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-12-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-12 Diego HMerge https://github.com/YosysHQ/yosys into bram_xilinx tree | commitdiff
2019-12-11 David ShahMerge pull request #1564 from ZirconiumX/intel_housekeeping tree | commitdiff
2019-12-10 Dan Ravensloftsynth_intel: a10gx -> arria10gx tree | commitdiff
2019-12-10 Dan Ravensloftsynth_intel: cyclone10 -> cyclone10lp tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-08-30 David ShahMerge branch 'master' into xc7dsp tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255 tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share tree | commitdiff
next