projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2576 from zachjs/port-bind-sign-uniop
[yosys.git]
/
frontends
/
2021-02-06
whitequark
Merge pull request #2576 from zachjs/port-bind-sign...
tree
|
commitdiff
2021-02-06
Zachary Snow
genrtlil: fix signed port connection codegen failures
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-30
Miodrag Milanovic
Require latest Verific build
tree
|
commitdiff
2021-01-29
Marcelina Kościelnicka
ast: fix dump_vlog display of casex/casez
tree
|
commitdiff
2021-01-29
whitequark
Merge pull request #2564 from whitequark/flatten-improv...
tree
|
commitdiff
2021-01-28
whitequark
Merge pull request #2569 from zachjs/macro-arg-surround...
tree
|
commitdiff
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
tree
|
commitdiff
2021-01-28
Zachary Snow
verilog: strip leading and trailing spaces in macro...
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-24
Claire Xen
Merge pull request #2558 from YosysHQ/dave/chandle-dpi
tree
|
commitdiff
2021-01-23
David Shah
dpi: Support for chandle type
tree
|
commitdiff
2021-01-21
Miodrag Milanović
Merge pull request #2553 from zachjs/rand-const-modifiers
tree
|
commitdiff
2021-01-21
Zachary Snow
Allow combination of rand and const modifiers
tree
|
commitdiff
2021-01-20
Claire Xen
Merge pull request #2552 from YosysHQ/claire/yosyshq
tree
|
commitdiff
2021-01-20
Claire Xenia Wolf
Switch verific bindings from Symbiotic EDA flavored...
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
2021-01-20
Zachary Snow
verilog: allow spaces in macro arguments
tree
|
commitdiff
2021-01-18
whitequark
Merge pull request #2547 from zachjs/plugin-so-dsym
tree
|
commitdiff
2021-01-18
whitequark
Merge pull request #2312 from antmicro/typedef-inout
tree
|
commitdiff
2021-01-18
Kamil Rakoczy
Fix input/output attributes when resolving typedef...
tree
|
commitdiff
2021-01-18
Lukasz Dalek
Parse package user type in module port list
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2480 from YosysHQ/dave/nexus-lram
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2512 from umarcor/plugin-err
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2515 from umarcor/fix/ghdl
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2518 from zachjs/recursion
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2517 from zachjs/sv-tf-implied...
tree
|
commitdiff
2021-01-01
Zachary Snow
verilog: improved support for recursive functions
tree
|
commitdiff
2020-12-31
Zachary Snow
sv: complete support for implied task/function port...
tree
|
commitdiff
2020-12-29
whitequark
Merge pull request #2509 from zachjs/issue-2427
tree
|
commitdiff
2020-12-27
Zachary Snow
Fix elaboration of whole memory words used as indices
tree
|
commitdiff
2020-12-26
Miodrag Milanović
Merge pull request #2506 from zachjs/const-arg-redeclare
tree
|
commitdiff
2020-12-26
Zachary Snow
Fix constants bound to redeclared function args
tree
|
commitdiff
2020-12-23
whitequark
Merge pull request #2502 from ldoolitt/master
tree
|
commitdiff
2020-12-23
whitequark
Merge pull request #2501 from zachjs/genrtlil-tern...
tree
|
commitdiff
2020-12-23
whitequark
Merge pull request #2476 from zachjs/const-arg-width
tree
|
commitdiff
2020-12-23
Zachary Snow
genrtlil: fix mux2rtlil generated wire signedness
tree
|
commitdiff
2020-12-23
Zachary Snow
Fix constants bound to single bit arguments (fixes...
tree
|
commitdiff
2020-12-22
whitequark
Merge pull request #2497 from whitequark/cxxrtl-reflow
tree
|
commitdiff
2020-12-22
whitequark
Merge pull request #2479 from zachjs/const-arg-hint
tree
|
commitdiff
2020-12-22
whitequark
Merge pull request #2491 from zachjs/port-bind-sign
tree
|
commitdiff
2020-12-19
Zachary Snow
Sign extend port connections where necessary
tree
|
commitdiff
2020-12-07
Zachary Snow
Allow constant function calls in constant function...
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2468 from whitequark/cxxrtl-assert
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2469 from whitequark/cxxrtl-no-clk
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2466 from whitequark/cxxrtl-reset
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2456 from Zottel/master
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2455 from gsomlo/gls-fedpkg-fixes
tree
|
commitdiff
2020-12-02
David Shah
Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2446 from RobertBaruch/rtlil_format
tree
|
commitdiff
2020-12-02
Miodrag Milanovic
Bump required Verific version
tree
|
commitdiff
2020-12-01
Claire Xen
Merge pull request #2463 from georgerennie/fix_verilog_...
tree
|
commitdiff
2020-12-01
georgerennie
Fix SYNTHESIS always being defined in Verilog frontend
tree
|
commitdiff
2020-11-26
Julius Roob
Return correct modname when found in cache.
tree
|
commitdiff
2020-11-25
whitequark
Merge pull request #2452 from whitequark/rtlil-remove...
tree
|
commitdiff
2020-11-25
whitequark
rtlil: remove dotted identifiers.
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-11-07
whitequark
Merge pull request #2414 from zeldin/abc-depend-clang-fix
tree
|
commitdiff
2020-11-07
Miodrag Milanović
Merge pull request #2432 from Xiretza/nexus-tests
tree
|
commitdiff
2020-10-31
whitequark
Merge pull request #2416 from QuantamHD/master
tree
|
commitdiff
2020-10-30
Miodrag Milanovic
Update verific version
tree
|
commitdiff
2020-10-22
N. Engelhardt
Merge pull request #2403 from nakengelhardt/sim_timescale
tree
|
commitdiff
2020-10-20
clairexen
Merge pull request #2405 from byuccl/fix_xilinx_cells
tree
|
commitdiff
2020-10-20
clairexen
Merge pull request #2404 from YosysHQ/claire/fixrpcargs
tree
|
commitdiff
2020-10-19
Claire Xenia Wolf
Fix argument handling in connect_rpc
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-12
Miodrag Milanovic
extend verific library API for formal apps and generators
tree
|
commitdiff
2020-10-05
Miodrag Milanović
Update required Verific version
tree
|
commitdiff
2020-10-02
clairexen
Merge pull request #2396 from YosysHQ/claire/empty...
tree
|
commitdiff
2020-10-01
Claire Xenia Wolf
Ignore empty parameters in Verilog module instantiations
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
clairexen
Merge pull request #2395 from YosysHQ/sha1_if_contain_s...
tree
|
commitdiff
2020-09-30
Miodrag Milanovic
use sha1 for parameter list in case if they contain...
tree
|
commitdiff
2020-09-21
N. Engelhardt
Merge pull request #2372 from nakengelhardt/name_is_public
tree
|
commitdiff
2020-09-18
clairexen
Merge pull request #2381 from YosysHQ/unsupported
tree
|
commitdiff
2020-09-18
Miodrag Milanovic
Better error for unsupported SVA sequence
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-09-16
Udi Finkelstein
We can now handle array slices (e.g. $size(x[1]) etc. )
tree
|
commitdiff
2020-09-16
Udi Finkelstein
Fixed comments, removed debug message
tree
|
commitdiff
2020-09-15
Udi Finkelstein
Added $high(), $low(), $left(), $right()
tree
|
commitdiff
2020-09-10
Miodrag Milanović
Merge pull request #2369 from Xiretza/gitignores
tree
|
commitdiff
2020-09-02
Miodrag Milanovic
Use latest verific
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2352 from zachjs/const-func-localparam
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2366 from zachjs/library-format
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2353 from zachjs/top-scope
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
tree
|
commitdiff
2020-08-31
Miodrag Milanovic
Reorder to prevent crash
tree
|
commitdiff
2020-08-31
clairexen
Merge pull request #2368 from YosysHQ/verific_portrange
tree
|
commitdiff
next