projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3247 from jix/smtbmc-keepgoing
[yosys.git] / techlibs / intel /
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-03-17 gatecatBlackbox all whiteboxes after synthesis tree | commitdiff
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-11-24 whitequarkMerge pull request #2428 from whitequark/check-processes tree | commitdiff
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox... tree | commitdiff
2020-11-18 Miodrag MilanovićMerge pull request #2441 from YosysHQ/dave/nexus_dsp_sim tree | commitdiff
2020-11-18 Miodrag MilanovicFix duplicated parameter name typo tree | commitdiff
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... tree | commitdiff
2020-08-26 whitequarkMerge pull request #2351 from pbsds/proc_nomux tree | commitdiff
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix tree | commitdiff
2020-08-20 Marcelina Kościelnickasynth_intel: Remove incomplete Arria 10 GX support. tree | commitdiff
2020-08-20 Dan Ravensloftintel: move Cyclone V support to intel_alm tree | commitdiff
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift... tree | commitdiff
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const... tree | commitdiff
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv... tree | commitdiff
2020-08-20 clairexenMerge pull request #2319 from YosysHQ/mwk/techmap-cellt... tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 clairexenMerge pull request #2317 from zachjs/expand-genblock tree | commitdiff
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... tree | commitdiff
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real tree | commitdiff
2020-08-07 Marcelina KościelnickaReplace opt_rmdff with opt_dff. tree | commitdiff
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... tree | commitdiff
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts tree | commitdiff
2020-07-13 Marcelina Kościelnickaintel: Use dfflegalize. tree | commitdiff
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
next