projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
tests: fix some test warnings
[yosys.git]
/
passes
/
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-23
Alberto Gonzalez
qbfsat: Remove cruft inadvertently left untouched in...
tree
|
commitdiff
2020-05-23
Alberto Gonzalez
qbfsat: Add bisection mode and make it the default.
tree
|
commitdiff
2020-05-22
whitequark
Merge pull request #2072 from whitequark/cxxrtl-dont...
tree
|
commitdiff
2020-05-22
Eddie Hung
abc9_ops: update comment
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
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
tree
|
commitdiff
2020-05-15
Alberto Gonzalez
log: Use `dict` instead of `std::vector<std::pair>...
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 #2055 from YosysHQ/eddie/logger_multiple
tree
|
commitdiff
2020-05-14
Eddie Hung
opt_expr: Sx to Sz; spotted by @Xiretza
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Eddie Hung
logger: clean up doc
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_hier to create unmap module that remove...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: preserve $_DFF_?_.Q's (* init *); rely on clean...
tree
|
commitdiff
2020-05-14
Eddie Hung
Fix broken test when ignoring abc9_flop with init ...
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
abc9: update to =_$abc9_flops pattern which includes...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: update docs
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: only do +/abc9_map if `DFF
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: rework submod -- since it won't move (* keep...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: move assert
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: put 'aigmap' back
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: fix bypass boxes using (* abc9_bypass *)
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: tidy up, suppress error if no boxes/holes
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_delays to not insert delay box if input...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: cleanup; -prep_dff -> -prep_dff_submod
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_ops: -reintegrate to handle $_FF_; cleanup
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: restore selected_modules()
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
abc9: remove redundant wbflip
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: generate $abc9_holes design instead of <name...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: more robust
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: suppress warnings when no compatible + used flop...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: cleanup
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: do away with '$abc9_cells' selection
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: use new 'design -delete' and 'select -unset'
tree
|
commitdiff
2020-05-14
Eddie Hung
submod: revert accidental change
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to warn if no specify cells
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: cleanup
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: do not use (* abc9_init *)
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: add 'dff' label for auto handling of (* abc9_...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: fix behaviour and help for -box option
tree
|
commitdiff
2020-05-14
Eddie Hung
logger: fix for multiple calls with same pattern
tree
|
commitdiff
2020-05-14
Eddie Hung
Fix whitespace
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-14
Eddie Hung
opt_clean: improve warning message
tree
|
commitdiff
2020-05-14
Eddie Hung
opt_clean: rminit without -purge; also remove if consis...
tree
|
commitdiff
2020-05-14
Eddie Hung
opt_clean: really make 'clean' identical to 'opt_clean...
tree
|
commitdiff
2020-05-08
Eddie Hung
opt_expr: consume_x to require/imply !keepdc
tree
|
commitdiff
2020-05-08
Eddie Hung
opt_expr: restore consume_x; use for coarse grained too
tree
|
commitdiff
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
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-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
tree
|
commitdiff
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-05-02
Claire Wolf
Fix the other "opt_expr -fine" bug introduced in 213a89558
tree
|
commitdiff
2020-05-02
Claire Wolf
Fix the other "opt_expr -fine" bug introduced in 213a89558
tree
|
commitdiff
2020-05-02
Eddie Hung
abc9_ops: -reintegrate to be sensitive to start_offset too
tree
|
commitdiff
2020-05-02
Claire Wolf
Add plusargs for output files in test_autotb output
tree
|
commitdiff
2020-05-02
Claire Wolf
Merge pull request #2010 from YosysHQ/claire/fixopt
tree
|
commitdiff
2020-05-01
whitequark
Merge pull request #2001 from whitequark/wasi
tree
|
commitdiff
2020-05-01
Claire Wolf
Fix "opt_expr -fine" bug introduced in 213a89558
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
whitequark
Add WASI platform support.
tree
|
commitdiff
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enu...
tree
|
commitdiff
2020-04-30
whitequark
Merge pull request #2008 from whitequark/editorconfig-abc
tree
|
commitdiff
2020-04-27
Eddie Hung
Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc
tree
|
commitdiff
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
tree
|
commitdiff
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-04-24
Eddie Hung
opt_expr: const_xnor replacement to pad Y with 1'b1
tree
|
commitdiff
2020-04-24
Eddie Hung
bugpoint: improve messaging
tree
|
commitdiff
2020-04-24
Eddie Hung
bugpoint: (* keep *) to (* bugpoint_keep *); also apply...
tree
|
commitdiff
2020-04-24
Eddie Hung
bugpoint: skip ports with (* keep *) on; add header
tree
|
commitdiff
2020-04-24
Eddie Hung
opt_expr: more fixes for $xor/$xnor
tree
|
commitdiff
2020-04-24
Eddie Hung
opt_expr: do not group by X, more fixes
tree
|
commitdiff
2020-04-23
Eddie Hung
opt_expr: improve single-bit $and/$or/$xor/$xnor cells...
tree
|
commitdiff
2020-04-23
Eddie Hung
bugpoint: improve help text
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
Alberto Gonzalez
qbfsat: Make hole name recovery more robust. Allow...
tree
|
commitdiff
2020-04-23
Eddie Hung
Merge pull request #1984 from YosysHQ/eddie/getParam_ex...
tree
|
commitdiff
2020-04-23
Alberto Gonzalez
qbfsat: Add `-assume-negative-polarity` option.
tree
|
commitdiff
2020-04-23
Eddie Hung
xilinx: xilinx_dsp_cascade to check CREG for DSP48E1...
tree
|
commitdiff
next