Merge pull request #2142 from whitequark/splitnets-hdlname
[yosys.git] / techlibs / intel_alm /
2020-06-18 whitequarkMerge pull request #2142 from whitequark/splitnets...
2020-06-13 whitequarkMerge pull request #2145 from whitequark/cxxrtl-splitnets
2020-06-12 whitequarkMerge pull request #2149 from whitequark/cxxrtl-unbuffe...
2020-06-11 Dan Ravensloftintel_alm: fix DFFE matching
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil...
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master
2020-06-03 Peter CrozierMerge branch 'master' into struct
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector...
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc
2020-05-18 Marcelina KościelnickaAdd force_downto and force_upto wire attributes.
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758
2020-05-14 Eddie Hungsynth_*: no need to explicitly read +/abc9_model.v
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir...
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs
2020-05-07 Dan Ravensloftintel_alm: direct LUTRAM cell instantiation
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error...
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu...
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific...
2020-04-24 Dan Ravensloftintel_alm: cleanup duplication
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so...
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum
2020-04-23 Dan Ravensloftintel_alm: work around a Quartus ICE
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim...
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go...
2020-04-21 Dan Ravensloftintel_alm: Documentation improvements
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_...
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo...
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile...
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make...
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti...
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro...
2020-04-15 Dan Ravensloftsynth_intel_alm: VQM support
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876
2020-04-15 Dan Ravensloftsynth_intel_alm: alternative synthesis for Intel FPGAs