projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
opt_merge: Add `-keepdc` option required for formal verification
[yosys.git]
/
tests
/
verilog
/
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
tree
|
commitdiff
2022-02-14
Zachary Snow
verilog: support for time scale delay values
tree
|
commitdiff
2022-02-14
Kamil Rakoczy
Fix access to whole sub-structs (#3086)
tree
|
commitdiff
2022-02-11
Zachary Snow
verilog: fix dynamic dynamic range asgn elab
tree
|
commitdiff
2022-02-11
Zachary Snow
verilog: fix const func eval with upto variables
tree
|
commitdiff
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
tree
|
commitdiff
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2022-01-17
N. Engelhardt
Merge pull request #3145 from nakengelhardt/advertise_s...
tree
|
commitdiff
2022-01-08
Zachary Snow
sv: auto add nosync to certain always_comb local vars
tree
|
commitdiff
2022-01-08
Zachary Snow
sv: fix size cast internal expression extension
tree
|
commitdiff
2022-01-03
Zachary Snow
fixup verilog doubleslash test
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3114 from whitequark/issue-3113
tree
|
commitdiff
2021-12-16
Thomas Sailer
preprocessor: do not destroy double slash escaped ident...
tree
|
commitdiff
2021-10-26
Zachary Snow
verilog: use derived module info to elaborate cell...
tree
|
commitdiff
2021-09-24
Claire Xen
Merge pull request #3014 from YosysHQ/claire/fix-vgtest
tree
|
commitdiff
2021-09-21
Zachary Snow
sv: support wand and wor of data types
tree
|
commitdiff
2021-09-21
Zachary Snow
verilog: fix multiple AST_PREFIX scope resolution issues
tree
|
commitdiff
2021-08-31
Zachary Snow
sv: support declaration in generate for initialization
tree
|
commitdiff
2021-08-30
Zachary Snow
sv: support declaration in procedural for initialization
tree
|
commitdiff
2021-07-29
Zachary Snow
verilog: save and restore overwritten macro arguments
tree
|
commitdiff
2021-07-16
whitequark
Merge pull request #2870 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-15
Zachary Snow
sv: fix two struct access bugs
tree
|
commitdiff
2021-07-05
Claire Xen
Merge pull request #2835 from YosysHQ/verific_command
tree
|
commitdiff
2021-06-18
Miodrag Milanović
Merge pull request #2836 from YosysHQ/gatecat/pyosys...
tree
|
commitdiff
2021-06-17
Zachary Snow
sv: fix up end label checking
tree
|
commitdiff
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
tree
|
commitdiff
2021-06-08
Zachary Snow
mem2reg: tolerate out of bounds constant accesses
tree
|
commitdiff
2021-06-01
Zachary Snow
sv: support tasks and functions within packages
tree
|
commitdiff
2021-05-10
Zachary Snow
sv: check validity of package end label
tree
|
commitdiff
2021-03-30
Zachary Snow
preproc: test coverage for #2712
tree
|
commitdiff
2021-03-19
Zachary Snow
sv: allow typenames as function return types
tree
|
commitdiff
2021-03-17
Zachary Snow
sv: carry over global typedefs from previous files
tree
|
commitdiff
2021-03-14
whitequark
Merge pull request #2658 from zachjs/parameters-across...
tree
|
commitdiff
2021-03-12
Zachary Snow
sv: allow globals in one file to depend on globals...
tree
|
commitdiff
2021-03-12
whitequark
Merge pull request #2653 from zachjs/global-parameter
tree
|
commitdiff
2021-03-11
whitequark
Merge pull request #2642 from whitequark/cxxrtl-noproc...
tree
|
commitdiff
2021-03-11
Zachary Snow
verilog: disallow overriding global parameters
tree
|
commitdiff
2021-03-07
whitequark
Merge pull request #2626 from zachjs/param-no-default
tree
|
commitdiff
2021-03-07
whitequark
Merge pull request #2632 from zachjs/width-limit
tree
|
commitdiff
2021-03-06
Zachary Snow
sv: fix some edge cases for unbased unsized literals
tree
|
commitdiff
2021-03-04
Zachary Snow
verilog: impose limit on maximum expression width
tree
|
commitdiff
2021-03-02
Zachary Snow
sv: support for parameters without default values
tree
|
commitdiff
2021-03-02
whitequark
Merge pull request #2620 from zachjs/port-int-types
tree
|
commitdiff
2021-03-01
Zachary Snow
verilog: fix sizing of ports with int types in module...
tree
|
commitdiff
2021-03-01
Zachary Snow
verilog: fix handling of nested ifdef directives
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-03-01
whitequark
Merge pull request #2617 from RobertBaruch/doc
tree
|
commitdiff
2021-03-01
whitequark
Merge pull request #2615 from zachjs/genrtlil-conflict
tree
|
commitdiff
2021-03-01
whitequark
Merge pull request #2618 from zachjs/int-types
tree
|
commitdiff
2021-02-28
Zachary Snow
sv: extended support for integer types
tree
|
commitdiff
2021-02-26
Zachary Snow
genrtlil: improve name conflict error messaging
tree
|
commitdiff
2021-02-25
whitequark
Merge pull request #2554 from hzeller/master
tree
|
commitdiff
2021-02-24
TimRudy
Extend "delay" expressions to handle pair and triplet...
tree
|
commitdiff
2021-02-23
whitequark
Merge pull request #2594 from zachjs/func-arg-width
tree
|
commitdiff
2021-02-21
whitequark
Merge pull request #2586 from zachjs/tern-recurse
tree
|
commitdiff
2021-02-21
whitequark
Merge pull request #2591 from zachjs/verilog-preproc...
tree
|
commitdiff
2021-02-21
Zachary Snow
verilog: fix sizing of constant args for tasks/functions
tree
|
commitdiff
2021-02-19
Zachary Snow
verilog: error on macro invocations with missing argume...
tree
|
commitdiff
2021-02-15
Claire Xen
Merge pull request #2574 from dh73/master
tree
|
commitdiff
2021-02-12
gatecat
Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct
tree
|
commitdiff
2021-02-11
whitequark
Merge pull request #2573 from zachjs/repeat-call
tree
|
commitdiff
2021-02-11
Zachary Snow
Merge pull request #2578 from zachjs/genblk-port
tree
|
commitdiff
2021-02-11
Zachary Snow
Merge pull request #2584 from antmicro/atom_type_signedness
tree
|
commitdiff
2021-02-11
Kamil Rakoczy
Add missing is_signed to type_atom
tree
|
commitdiff
2021-02-07
Zachary Snow
verlog: allow shadowing module ports within generate...
tree
|
commitdiff
2021-02-05
whitequark
Merge pull request #2572 from antmicro/check-labels
tree
|
commitdiff
2021-02-04
Kamil Rakoczy
Add check of begin/end labels for genblock
tree
|
commitdiff
2021-02-04
whitequark
Merge pull request #2529 from zachjs/unnamed-genblk
tree
|
commitdiff
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
tree
|
commitdiff
2021-01-31
Zachary Snow
verilog: significant block scoping improvements
tree
|
commitdiff
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
tree
|
commitdiff
2021-01-26
whitequark
Merge pull request #2544 from modwizcode/fix-clock
tree
|
commitdiff
2021-01-25
whitequark
Merge pull request #2549 from pgadfort/support-multiple...
tree
|
commitdiff
2021-01-25
whitequark
Merge pull request #2550 from zachjs/macro-arg-spaces
tree
|
commitdiff
2021-01-20
Miodrag Milanović
Merge pull request #2536 from TobiasFaller/master
tree
|
commitdiff
2021-01-20
Miodrag Milanović
Merge pull request #2551 from zachjs/wire-logic
tree
|
commitdiff
2021-01-20
Zachary Snow
sv: fix support wire and var data type modifiers
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-19
Miodrag Milanović
Merge pull request #2397 from daveshah1/nexus
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-10-01
David Shah
Update .gitignore
tree
|
commitdiff
2020-09-29
clairexen
Merge pull request #2393 from nakengelhardt/no_const_se...
tree
|
commitdiff
2020-09-28
N. Engelhardt
add tests
tree
|
commitdiff
2020-09-21
Xiretza
tests: Centralize test collection and Makefile generation
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
tree
|
commitdiff
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2099 from Xiretza/manual-include...
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
tree
|
commitdiff
next