achronix: Use dfflegalize.
[yosys.git] / techlibs / ecp5 /
2020-07-05 Marcelina KościelnickaMerge pull request #2236 from YosysHQ/mwk/dfflegalize...
2020-07-05 Marcelina Kościelnickaecp5: Use dfflegalize.
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused...
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types
2020-06-23 Marcelina KościelnickaUpdate dff2dffe, dff2dffs, zinit to new FF types.
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11...
2020-06-18 whitequarkUse C++11 final/override keywords.
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-24 Eddie HungMerge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
2020-05-23 Eddie HungMerge pull request #2074 from YosysHQ/eddie/ecp5_cleanup
2020-05-23 Eddie Hungecp5: cleanup unused +/ecp5/abc9_model.v
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 Hungecp5: latches_map.v if *not* -asyncprld
2020-05-14 Eddie Hungecp5: synth_ecp5 to no longer need +/ecp5/abc9_{,un...
2020-05-14 Eddie Hungecp5: fix rebase mistake
2020-05-14 Eddie Hungecp5: TRELLIS_FF bypass path only in async mode
2020-05-14 Eddie Hungxilinx/ice40/ecp5: zinit requires selected wires, so...
2020-05-14 Eddie Hungxilinx/ecp5/ice40: add (* abc9_flop *) to bypass-able...
2020-05-14 Eddie Hungabc9_ops: add -prep_bypass for auto bypass boxes; refactor
2020-05-14 Eddie Hungsynth_*: no need to explicitly read +/abc9_model.v
2020-05-14 Eddie HungRevert "ecp5: replace ecp5_ffinit with techmap rules...
2020-05-14 Eddie Hungecp5: (* abc9_flop *) gated behind YOSYS
2020-05-14 Eddie Hungecp5: add synth_ecp5 -dff to work with -abc9
2020-05-14 Eddie Hungecp5: replace ecp5_ffinit with techmap rules + dff2dffs...
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-12 David Shahecp5: Add missing SERDES parameters
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990
2020-05-06 Eddie HungMerge pull request #2028 from zachjs/master
2020-05-05 Eddie HungMerge pull request #2025 from YosysHQ/eddie/frontend_cl...
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc...
2020-05-05 Eddie HungMerge pull request #2026 from YosysHQ/eddie/scratchpad_...
2020-05-04 Eddie Hungsynth_ice40/ecp5/xilinx: allow abc9.W to be overridden...
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error...
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837
2020-04-24 whitequarkgowin,ecp5: remove generated files in `make clean`.
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
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 Eddie HungMerge pull request #1984 from YosysHQ/eddie/getParam_ex...
2020-04-23 Eddie Hungecp5: ecp5_gsr to skip cells that don't have GSR parame...
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox
2020-04-22 Eddie HungMerge pull request #1983 from YosysHQ/eddie/use_default...
2020-04-22 Eddie HungCleanup use of hard-coded default parameters in light...
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite
2020-04-20 Eddie Hungabc9: tolerate ABC nonzero exit code if output.aig...
2020-04-20 Eddie Hungxilinx/ecp5: disable abc9's "&mfs" optimisation
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability
2020-04-16 Eddie HungMerge pull request #1928 from YosysHQ/eddie/design_delete
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 David Shahecp5: Force SIGNED ports to be 1 bit
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 Marcelina KościelnickaGet rid of dffsr2dff.
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum
2020-04-13 whitequarkMerge pull request #1910 from boqwxp/cleanup_ilang_parser
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into...
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu
2020-04-03 whitequarkecp5: do not map FFRAM if explicitly requested otherwise.
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise...
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl...
next