genrtlil: fix signed port connection codegen failures
[yosys.git] / frontends /
2021-02-06 Zachary Snowgenrtlil: fix signed port connection codegen failures
2021-02-05 whitequarkMerge pull request #2572 from antmicro/check-labels
2021-02-04 Kamil RakoczyAdd check of begin/end labels for genblock
2021-02-04 whitequarkMerge pull request #2529 from zachjs/unnamed-genblk
2021-02-03 whitequarkMerge pull request #2436 from dalance/fix_generate
2021-01-31 Zachary Snowverilog: significant block scoping improvements
2021-01-30 Miodrag MilanovicRequire latest Verific build
2021-01-29 Marcelina Kościelnickaast: fix dump_vlog display of casex/casez
2021-01-29 whitequarkMerge pull request #2564 from whitequark/flatten-improv...
2021-01-28 whitequarkMerge pull request #2569 from zachjs/macro-arg-surround...
2021-01-28 Claire XenMerge pull request #2535 from Ravenslofty/scc-specify
2021-01-28 Zachary Snowverilog: strip leading and trailing spaces in macro...
2021-01-26 whitequarkMerge pull request #2544 from modwizcode/fix-clock
2021-01-25 whitequarkMerge pull request #2549 from pgadfort/support-multiple...
2021-01-25 whitequarkMerge pull request #2550 from zachjs/macro-arg-spaces
2021-01-24 Claire XenMerge pull request #2558 from YosysHQ/dave/chandle-dpi
2021-01-23 David Shahdpi: Support for chandle type
2021-01-21 Miodrag MilanovićMerge pull request #2553 from zachjs/rand-const-modifiers
2021-01-21 Zachary SnowAllow combination of rand and const modifiers
2021-01-20 Claire XenMerge pull request #2552 from YosysHQ/claire/yosyshq
2021-01-20 Claire Xenia WolfSwitch verific bindings from Symbiotic EDA flavored...
2021-01-20 Miodrag MilanovićMerge pull request #2536 from TobiasFaller/master
2021-01-20 Miodrag MilanovićMerge pull request #2551 from zachjs/wire-logic
2021-01-20 Zachary Snowsv: fix support wire and var data type modifiers
2021-01-20 Zachary Snowverilog: allow spaces in macro arguments
2021-01-18 whitequarkMerge pull request #2547 from zachjs/plugin-so-dsym
2021-01-18 whitequarkMerge pull request #2312 from antmicro/typedef-inout
2021-01-18 Kamil RakoczyFix input/output attributes when resolving typedef...
2021-01-18 Lukasz DalekParse package user type in module port list
2021-01-01 whitequarkMerge pull request #2480 from YosysHQ/dave/nexus-lram
2021-01-01 whitequarkMerge pull request #2512 from umarcor/plugin-err
2021-01-01 whitequarkMerge pull request #2515 from umarcor/fix/ghdl
2021-01-01 whitequarkMerge pull request #2518 from zachjs/recursion
2021-01-01 whitequarkMerge pull request #2517 from zachjs/sv-tf-implied...
2021-01-01 Zachary Snowverilog: improved support for recursive functions
2020-12-31 Zachary Snowsv: complete support for implied task/function port...
2020-12-29 whitequarkMerge pull request #2509 from zachjs/issue-2427
2020-12-27 Zachary SnowFix elaboration of whole memory words used as indices
2020-12-26 Miodrag MilanovićMerge pull request #2506 from zachjs/const-arg-redeclare
2020-12-26 Zachary SnowFix constants bound to redeclared function args
2020-12-23 whitequarkMerge pull request #2502 from ldoolitt/master
2020-12-23 whitequarkMerge pull request #2501 from zachjs/genrtlil-tern...
2020-12-23 whitequarkMerge pull request #2476 from zachjs/const-arg-width
2020-12-23 Zachary Snowgenrtlil: fix mux2rtlil generated wire signedness
2020-12-23 Zachary SnowFix constants bound to single bit arguments (fixes...
2020-12-22 whitequarkMerge pull request #2497 from whitequark/cxxrtl-reflow
2020-12-22 whitequarkMerge pull request #2479 from zachjs/const-arg-hint
2020-12-22 whitequarkMerge pull request #2491 from zachjs/port-bind-sign
2020-12-19 Zachary SnowSign extend port connections where necessary
2020-12-07 Zachary SnowAllow constant function calls in constant function...
2020-12-02 whitequarkMerge pull request #2468 from whitequark/cxxrtl-assert
2020-12-02 whitequarkMerge pull request #2469 from whitequark/cxxrtl-no-clk
2020-12-02 whitequarkMerge pull request #2466 from whitequark/cxxrtl-reset
2020-12-02 whitequarkMerge pull request #2456 from Zottel/master
2020-12-02 whitequarkMerge pull request #2455 from gsomlo/gls-fedpkg-fixes
2020-12-02 David ShahMerge pull request #2467 from YosysHQ/dave/nexus-carry-fix
2020-12-02 whitequarkMerge pull request #2446 from RobertBaruch/rtlil_format
2020-12-02 Miodrag MilanovicBump required Verific version
2020-12-01 Claire XenMerge pull request #2463 from georgerennie/fix_verilog_...
2020-12-01 georgerennieFix SYNTHESIS always being defined in Verilog frontend
2020-11-26 Julius RoobReturn correct modname when found in cache.
2020-11-25 whitequarkMerge pull request #2452 from whitequark/rtlil-remove...
2020-11-25 whitequarkrtlil: remove dotted identifiers.
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox...
2020-11-07 whitequarkMerge pull request #2414 from zeldin/abc-depend-clang-fix
2020-11-07 Miodrag MilanovićMerge pull request #2432 from Xiretza/nexus-tests
2020-10-31 whitequarkMerge pull request #2416 from QuantamHD/master
2020-10-30 Miodrag MilanovicUpdate verific version
2020-10-22 N. EngelhardtMerge pull request #2403 from nakengelhardt/sim_timescale
2020-10-20 clairexenMerge pull request #2405 from byuccl/fix_xilinx_cells
2020-10-20 clairexenMerge pull request #2404 from YosysHQ/claire/fixrpcargs
2020-10-19 Claire Xenia WolfFix argument handling in connect_rpc
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape
2020-10-12 Miodrag Milanovicextend verific library API for formal apps and generators
2020-10-05 Miodrag MilanovićUpdate required Verific version
2020-10-02 clairexenMerge pull request #2396 from YosysHQ/claire/empty...
2020-10-01 Claire Xenia WolfIgnore empty parameters in Verilog module instantiations
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests
2020-10-01 clairexenMerge pull request #2395 from YosysHQ/sha1_if_contain_s...
2020-09-30 Miodrag Milanovicuse sha1 for parameter list in case if they contain...
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public
2020-09-18 clairexenMerge pull request #2381 from YosysHQ/unsupported
2020-09-18 Miodrag MilanovicBetter error for unsupported SVA sequence
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi...
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi...
2020-09-16 Udi FinkelsteinWe can now handle array slices (e.g. $size(x[1]) etc. )
2020-09-16 Udi FinkelsteinFixed comments, removed debug message
2020-09-15 Udi FinkelsteinAdded $high(), $low(), $left(), $right()
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores
2020-09-02 Miodrag MilanovicUse latest verific
2020-09-01 clairexenMerge pull request #2352 from zachjs/const-func-localparam
2020-09-01 clairexenMerge pull request #2366 from zachjs/library-format
2020-09-01 clairexenMerge pull request #2353 from zachjs/top-scope
2020-09-01 clairexenMerge pull request #2365 from zachjs/const-arg-loop...
2020-08-31 Miodrag MilanovicReorder to prevent crash
2020-08-31 clairexenMerge pull request #2368 from YosysHQ/verific_portrange
2020-08-30 Miodrag Milanovicast recognize lower case x and z and verific gives...
next