projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Do not optimize away FFs in "prep" and Verific fron-end
[yosys.git] / techlibs /
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... tree | commitdiff
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern... tree | commitdiff
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... 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-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-30 Eddie Hungabc9_ops: -reintegrate use SigMap to remove (* init... tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells tree | commitdiff
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4 tree | commitdiff
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 XiretzaAdd flooring division operator tree | commitdiff
2020-05-28 XiretzaAdd flooring modulo operator tree | commitdiff
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs 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-26 whitequarkMerge pull request #2090 from whitequark/cxxrtl-fixes tree | commitdiff
2020-05-25 Eddie HungMerge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy tree | commitdiff
2020-05-25 Eddie Hungxilinx: tidy up cells_sim.v a little tree | commitdiff
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection tree | commitdiff
2020-05-24 Eddie HungMerge pull request #2075 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2020-05-23 Eddie HungMerge pull request #2074 from YosysHQ/eddie/ecp5_cleanup tree | commitdiff
2020-05-23 Eddie Hungecp5: cleanup unused +/ecp5/abc9_model.v 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-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff tree | commitdiff
2020-05-14 Eddie Hungabc9: use (* abc9_keep *) instead of (* abc9_scc *... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758 tree | commitdiff
2020-05-14 Eddie Hungabc9: preserve $_DFF_?_.Q's (* init *); rely on clean... tree | commitdiff
2020-05-14 Eddie Hungabc9_ops/xaiger: further reducing Module::derive()... tree | commitdiff
2020-05-14 Eddie HungCleanup; reduce Module::derive() calls tree | commitdiff
2020-05-14 Eddie Hungecp5: latches_map.v if *not* -asyncprld tree | commitdiff
2020-05-14 Eddie Hungecp5: synth_ecp5 to no longer need +/ecp5/abc9_{,un... tree | commitdiff
2020-05-14 Eddie Hungecp5: fix rebase mistake tree | commitdiff
2020-05-14 Eddie Hungxilinx: gate specify/attributes from iverilog tree | commitdiff
2020-05-14 Eddie Hungabc9: only do +/abc9_map if `DFF tree | commitdiff
2020-05-14 Eddie Hungecp5: TRELLIS_FF bypass path only in async mode tree | commitdiff
2020-05-14 Eddie Hungxilinx/ice40/ecp5: zinit requires selected wires, so... tree | commitdiff
2020-05-14 Eddie Hungxilinx/ecp5/ice40: add (* abc9_flop *) to bypass-able... tree | commitdiff
2020-05-14 Eddie Hungabc9_ops: add -prep_bypass for auto bypass boxes; refactor tree | commitdiff
2020-05-14 Eddie Hungabc9: not enough to techmap_fail on (* init=1 *), hide... tree | commitdiff
2020-05-14 Eddie Hungsynth_*: no need to explicitly read +/abc9_model.v tree | commitdiff
2020-05-14 Eddie Hungabc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too tree | commitdiff
2020-05-14 Eddie Hungabc9_ops: -prep_dff_map to error if async flop found tree | commitdiff
2020-05-14 Eddie HungUncomment negative setup times; clamp to zero for conne... tree | commitdiff
2020-05-14 Eddie HungRevert "ecp5: replace ecp5_ffinit with techmap rules... tree | commitdiff
2020-05-14 Eddie Hungecp5: (* abc9_flop *) gated behind YOSYS tree | commitdiff
2020-05-14 Eddie Hungecp5: add synth_ecp5 -dff to work with -abc9 tree | commitdiff
2020-05-14 Eddie Hungice40: synth_ice40 cleanup tree | commitdiff
2020-05-14 Eddie Hungecp5: replace ecp5_ffinit with techmap rules + dff2dffs... tree | commitdiff
2020-05-14 Eddie Hungice40: add synth_ice40 -dff option, support with -abc9 tree | commitdiff
2020-05-14 Eddie Hungice40: split out cells_map.v into ff_map.v tree | commitdiff
2020-05-14 Eddie Hungsynth_xilinx: rename dff_mode -> dff tree | commitdiff
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-12 Eddie Hungice40: fix ICESTORM_LC process sensitivity tree | commitdiff
2020-05-12 Eddie Hungice40: fix whitespace tree | commitdiff
2020-05-12 David Shahecp5: Add missing SERDES parameters tree | commitdiff
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir... tree | commitdiff
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs tree | commitdiff
2020-05-07 Dan Ravensloftintel_alm: direct LUTRAM cell instantiation tree | commitdiff
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-06 Eddie HungMerge pull request #2028 from zachjs/master tree | commitdiff
2020-05-05 Eddie Hungtechlibs/common: more robustness when *_WIDTH = 0 tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2025 from YosysHQ/eddie/frontend_cl... tree | commitdiff
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc... tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2026 from YosysHQ/eddie/scratchpad_... tree | commitdiff
2020-05-04 Eddie Hungsynth_ice40/ecp5/xilinx: allow abc9.W to be overridden... tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu... tree | commitdiff
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help tree | commitdiff
2020-04-24 whitequarkgowin,ecp5: remove generated files in `make clean`. tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific... tree | commitdiff
2020-04-24 Dan Ravensloftintel_alm: cleanup duplication tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... tree | commitdiff
next