projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
[yosys.git]
/
techlibs
/
2020-05-24
Eddie Hung
Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
tree
|
commitdiff
2020-05-23
Eddie Hung
Merge pull request #2074 from YosysHQ/eddie/ecp5_cleanup
tree
|
commitdiff
2020-05-23
Eddie Hung
ecp5: cleanup unused +/ecp5/abc9_model.v
tree
|
commitdiff
2020-05-21
Eddie Hung
Merge 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. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
tree
|
commitdiff
2020-05-18
Marcelina Kościelnicka
Add force_downto and force_upto wire attributes.
tree
|
commitdiff
2020-05-18
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: use (* abc9_keep *) instead of (* abc9_scc *...
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: preserve $_DFF_?_.Q's (* init *); rely on clean...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops/xaiger: further reducing Module::derive()...
tree
|
commitdiff
2020-05-14
Eddie Hung
Cleanup; reduce Module::derive() calls
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: latches_map.v if *not* -asyncprld
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: synth_ecp5 to no longer need +/ecp5/abc9_{,un...
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: fix rebase mistake
tree
|
commitdiff
2020-05-14
Eddie Hung
xilinx: gate specify/attributes from iverilog
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: only do +/abc9_map if `DFF
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: TRELLIS_FF bypass path only in async mode
tree
|
commitdiff
2020-05-14
Eddie Hung
xilinx/ice40/ecp5: zinit requires selected wires, so...
tree
|
commitdiff
2020-05-14
Eddie Hung
xilinx/ecp5/ice40: add (* abc9_flop *) to bypass-able...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: add -prep_bypass for auto bypass boxes; refactor
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: not enough to techmap_fail on (* init=1 *), hide...
tree
|
commitdiff
2020-05-14
Eddie Hung
synth_*: no need to explicitly read +/abc9_model.v
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to error if async flop found
tree
|
commitdiff
2020-05-14
Eddie Hung
Uncomment negative setup times; clamp to zero for conne...
tree
|
commitdiff
2020-05-14
Eddie Hung
Revert "ecp5: replace ecp5_ffinit with techmap rules...
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: (* abc9_flop *) gated behind YOSYS
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: add synth_ecp5 -dff to work with -abc9
tree
|
commitdiff
2020-05-14
Eddie Hung
ice40: synth_ice40 cleanup
tree
|
commitdiff
2020-05-14
Eddie Hung
ecp5: replace ecp5_ffinit with techmap rules + dff2dffs...
tree
|
commitdiff
2020-05-14
Eddie Hung
ice40: add synth_ice40 -dff option, support with -abc9
tree
|
commitdiff
2020-05-14
Eddie Hung
ice40: split out cells_map.v into ff_map.v
tree
|
commitdiff
2020-05-14
Eddie Hung
synth_xilinx: rename dff_mode -> dff
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: add 'dff' label for auto handling of (* abc9_...
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #2045 from YosysHQ/eddie/fix2042
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2052 from YosysHQ/claire/verific_memfix
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
tree
|
commitdiff
2020-05-12
Eddie Hung
ice40: fix ICESTORM_LC process sensitivity
tree
|
commitdiff
2020-05-12
Eddie Hung
ice40: fix whitespace
tree
|
commitdiff
2020-05-12
David Shah
ecp5: Add missing SERDES parameters
tree
|
commitdiff
2020-05-08
Claire Wolf
Merge pull request #2038 from nakengelhardt/no-libdir...
tree
|
commitdiff
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
tree
|
commitdiff
2020-05-07
Dan Ravensloft
intel_alm: direct LUTRAM cell instantiation
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-06
Eddie Hung
Merge pull request #2028 from zachjs/master
tree
|
commitdiff
2020-05-05
Eddie Hung
techlibs/common: more robustness when *_WIDTH = 0
tree
|
commitdiff
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cl...
tree
|
commitdiff
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
tree
|
commitdiff
2020-05-05
Eddie Hung
Merge pull request #2026 from YosysHQ/eddie/scratchpad_...
tree
|
commitdiff
2020-05-04
Eddie Hung
synth_ice40/ecp5/xilinx: allow abc9.W to be overridden...
tree
|
commitdiff
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
tree
|
commitdiff
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
tree
|
commitdiff
2020-05-01
whitequark
Merge pull request #2001 from whitequark/wasi
tree
|
commitdiff
2020-05-01
Claire Wolf
Merge pull request #1997 from whitequark/document-ootb
tree
|
commitdiff
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
tree
|
commitdiff
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enu...
tree
|
commitdiff
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
tree
|
commitdiff
2020-04-24
whitequark
gowin,ecp5: remove generated files in `make clean`.
tree
|
commitdiff
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-04-24
Claire Wolf
Merge pull request #1995 from YosysHQ/eddie/fix_verific...
tree
|
commitdiff
2020-04-24
Dan Ravensloft
intel_alm: cleanup duplication
tree
|
commitdiff
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1989 from boqwxp/qbfsat_anyconst_so...
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1988 from boqwxp/qbfsat
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1986 from YosysHQ/eddie/verific_enum
tree
|
commitdiff
2020-04-23
Dan Ravensloft
intel_alm: work around a Quartus ICE
tree
|
commitdiff
2020-04-23
Eddie Hung
Merge pull request #1984 from YosysHQ/eddie/getParam_ex...
tree
|
commitdiff
2020-04-23
Eddie Hung
ecp5: ecp5_gsr to skip cells that don't have GSR parame...
tree
|
commitdiff
2020-04-22
Eddie Hung
xilinx: improve xilinx_dffopt message
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1983 from YosysHQ/eddie/use_default...
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
tree
|
commitdiff
2020-04-22
Eddie Hung
Cleanup use of hard-coded default parameters in light...
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
tree
|
commitdiff
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
tree
|
commitdiff
2020-04-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
tree
|
commitdiff
2020-04-21
Dan Ravensloft
intel_alm: Documentation improvements
tree
|
commitdiff
2020-04-21
Marcelina Kościelnicka
Use default parameter value in getParam
tree
|
commitdiff
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
tree
|
commitdiff
2020-04-20
Eddie Hung
abc9: tolerate ABC nonzero exit code if output.aig...
tree
|
commitdiff
2020-04-20
Eddie Hung
xilinx/ecp5: disable abc9's "&mfs" optimisation
tree
|
commitdiff
2020-04-17
whitequark
Merge pull request #1864 from boqwxp/cleanup_techmap_abc
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1947 from whitequark/cxxrtl-usability
tree
|
commitdiff
2020-04-16
Eddie Hung
Merge pull request #1928 from YosysHQ/eddie/design_delete
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1896 from boqwxp/read_stdin_repl
tree
|
commitdiff
2020-04-16
Claire Wolf
Merge pull request #1797 from epfl-vlsc/firrtl_backend_...
tree
|
commitdiff
2020-04-16
David Shah
ecp5: Force SIGNED ports to be 1 bit
tree
|
commitdiff
2020-04-16
Eddie Hung
Merge pull request #1927 from YosysHQ/eddie/design_remo...
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1915 from boqwxp/dict_move_semantics
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1900 from Xiretza/suppress-makefile...
tree
|
commitdiff
2020-04-16
whitequark
Merge 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 Hung
Merge pull request #1916 from YosysHQ/eddie/kernel_make...
tree
|
commitdiff
2020-04-15
Eddie Hung
Merge pull request #1933 from YosysHQ/eddie/zinit_more
tree
|
commitdiff
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
tree
|
commitdiff
next