projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add ability to override verilog mode for verific -f command
[yosys.git]
/
tests
/
opt
/
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
tree
|
commitdiff
2022-01-30
Marcelina Kościelnicka
opt_reduce: Add $bmux and $demux optimization patterns.
tree
|
commitdiff
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
tree
|
commitdiff
2021-12-20
Marcelina Kościelnicka
memory_share: Fix SAT-based sharing for wide ports.
tree
|
commitdiff
2021-10-21
Marcelina Kościelnicka
extract_reduce: Refactor and fix input signal construction.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
memory_share: Add -nosat and -nowiden options.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
memory_dff: Recognize soft transparency logic.
tree
|
commitdiff
2021-08-13
Marcelina Kościelnicka
Add new opt_mem_priority pass.
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
proc_memwr: Use the v2 memwr cell.
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
Add v2 memory cells.
tree
|
commitdiff
2021-08-07
Marcelina Kościelnicka
opt_merge: Use FfInitVals.
tree
|
commitdiff
2021-07-28
Marcelina Kościelnicka
verilog: Emit $meminit_v2 cell.
tree
|
commitdiff
2021-07-27
Marcelina Kościelnicka
opt_expr: Propagate constants to port connections.
tree
|
commitdiff
2021-06-11
Marcelina Kościelnicka
Add regression test for #2824.
tree
|
commitdiff
2021-05-31
Marcelina Kościelnicka
memory_map: Improve start_offset handling.
tree
|
commitdiff
2021-05-25
Marcelina Kościelnicka
opt_mem_feedback: Respect write port priority.
tree
|
commitdiff
2021-05-24
Marcelina Kościelnicka
opt_mem_feedback: Rewrite feedback path finding logic.
tree
|
commitdiff
2021-05-23
Marcelina Kościelnicka
Add new helper class for merging FFs into cells, use...
tree
|
commitdiff
2021-05-23
Marcelina Kościelnicka
opt_mem: Remove write ports with const-0 EN.
tree
|
commitdiff
2021-05-04
Marcelina Kościelnicka
opt_dff: Fix NOT gates wired in reverse.
tree
|
commitdiff
2021-03-15
Marcelina Kościelnicka
opt_clean: Remove init attribute bits together with...
tree
|
commitdiff
2021-03-15
Marcelina Kościelnicka
rtlil: Disallow 0-width chunks in SigSpec.
tree
|
commitdiff
2021-03-11
whitequark
Merge pull request #2642 from whitequark/cxxrtl-noproc...
tree
|
commitdiff
2021-03-09
whitequark
Merge pull request #2643 from zachjs/fix-param-no-defau...
tree
|
commitdiff
2021-03-08
Marcelina Kościelnicka
memory_dff: Remove now-useless write port handling.
working-ls180
tree
|
commitdiff
2021-03-01
Claire Xen
Merge pull request #2523 from tomverbeure/define_synthesis
tree
|
commitdiff
2021-03-01
Claire Xen
Merge pull request #2524 from bkbncn/patch-1
tree
|
commitdiff
2021-02-12
gatecat
Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct
tree
|
commitdiff
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
tree
|
commitdiff
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
tree
|
commitdiff
2021-01-20
Miodrag Milanović
Merge pull request #2536 from TobiasFaller/master
tree
|
commitdiff
2021-01-14
Marcelina Kościelnicka
opt_share: Fix X and CO signal width for shifted $alu...
tree
|
commitdiff
2020-11-25
Claire Xen
Merge pull request #2133 from dh73/nodev_head
tree
|
commitdiff
2020-11-24
Miodrag Milanović
Merge pull request #2295 from epfl-vlsc/firrtl_blackbox...
tree
|
commitdiff
2020-10-20
clairexen
Merge pull request #2405 from byuccl/fix_xilinx_cells
tree
|
commitdiff
2020-10-19
Miodrag Milanović
Merge pull request #2397 from daveshah1/nexus
tree
|
commitdiff
2020-10-15
clairexen
Merge pull request #2398 from jakobwenzel/smtbmc-escape
tree
|
commitdiff
2020-10-08
Marcelina Kościelnicka
opt_clean: Better memory handling.
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2378 from udif/pr_dollar_high_low
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2380 from Xiretza/parallel-tests
tree
|
commitdiff
2020-09-26
Xiretza
tests: add gitignores for auto-generated makefiles
tree
|
commitdiff
2020-09-21
Xiretza
tests: Centralize test collection and Makefile generation
tree
|
commitdiff
2020-09-17
clairexen
Merge pull request #2329 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-09-17
clairexen
Merge pull request #2330 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-08-22
clairexen
Merge pull request #2349 from nmoroze/smt2-bugfix
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2347 from YosysHQ/mwk/techmap-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2344 from YosysHQ/mwk/opt_share...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2337 from YosysHQ/mwk/clean-keep...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2333 from YosysHQ/mwk/peepopt-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2327 from YosysHQ/mwk/techmap-const...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
tree
|
commitdiff
2020-08-19
clairexen
Merge pull request #2122 from PeterCrozier/struct_array2
tree
|
commitdiff
2020-08-18
Claire Wolf
Merge branch 'const-func-block-var' of https://github...
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2281 from zachjs/const-real
tree
|
commitdiff
2020-08-17
Marcelina Kościelnicka
opt_share: Refactor, fix some bugs.
tree
|
commitdiff
2020-08-07
Marcelina Kościelnicka
peepopt: Remove now-redundant dffmux pattern.
tree
|
commitdiff
2020-08-04
Marcelina Kościelnicka
peepopt.muldiv: Add a signedness check.
tree
|
commitdiff
2020-07-30
Marcelina Kościelnicka
Add opt_dff pass.
tree
|
commitdiff
2020-07-29
Marcelina Kościelnicka
opt_expr: Fix handling of $_XNOR_ cells with A = B.
tree
|
commitdiff
2020-07-26
clairexen
Merge pull request #2299 from zachjs/arg-loop
tree
|
commitdiff
2020-07-24
Marcelina Kościelnicka
clk2fflogic: Support all FF types.
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2229 from Ravenslofty/sf2_remove_sf...
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2238 from YosysHQ/mwk/dfflegalize...
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2226 from YosysHQ/mwk/nuke-efinix...
tree
|
commitdiff
2020-07-05
Marcelina Kościelnicka
Merge pull request #2236 from YosysHQ/mwk/dfflegalize...
tree
|
commitdiff
2020-07-05
whitequark
Merge pull request #2227 from Ravenslofty/ccache
tree
|
commitdiff
2020-07-05
Marcelina Kościelnicka
Merge pull request #2232 from YosysHQ/mwk/gowin-sim...
tree
|
commitdiff
2020-07-05
Marcelina Kościelnicka
opt_expr: Fix crash on $mul optimization with more...
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
tree
|
commitdiff
2020-06-26
whitequark
Merge pull request #2188 from antmicro/missing-operators
tree
|
commitdiff
2020-06-25
Kamil Rakoczy
Add sub-assign and and-assign tests
tree
|
commitdiff
2020-06-25
Kamil Rakoczy
Move combined assign tests to single file
tree
|
commitdiff
2020-06-24
Kamil Rakoczy
Add xor-assignment test
tree
|
commitdiff
2020-06-24
Kamil Rakoczy
Add or-assignment and plus-assignment tests
tree
|
commitdiff
2020-06-10
whitequark
Merge pull request #2134 from whitequark/cxxrtl-opt...
tree
|
commitdiff
2020-06-10
clairexen
Merge pull request #2131 from YosysHQ/claire/preserveffs
tree
|
commitdiff
2020-06-09
Claire Wolf
Fix tests/opt/opt_rmdff
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-06-03
Peter Crozier
Merge branch 'master' into struct
tree
|
commitdiff
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
tree
|
commitdiff
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
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-14
Eddie Hung
Merge pull request #2055 from YosysHQ/eddie/logger_multiple
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
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
Eddie Hung
opt_clean: improve warning message
tree
|
commitdiff
2020-05-14
Eddie Hung
opt_clean: add init test
tree
|
commitdiff
next