Add ability to override verilog mode for verific -f command
[yosys.git] / tests / simple /
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram
2022-01-03 Zachary Snowfix iverilog compatibility for new case expr tests
2022-01-03 Zachary Snowsv: fix size cast clipping expression width
2021-12-25 CatherineMerge pull request #3127 from whitequark/cxxrtl-no...
2021-12-18 Zachary Snowfix width detection of array querying function in case...
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell...
2021-09-24 Claire XenMerge pull request #3014 from YosysHQ/claire/fix-vgtest
2021-09-23 Claire Xenia WolfFix "make vgtest" so it runs to the end (but now it...
2021-07-30 Zachary Snowproc_rmdead: use explicit pattern set when there are...
2021-07-30 Zachary Snowgenrtlil: add width detection for AST_PREFIX nodes
2021-07-05 Claire XenMerge pull request #2835 from YosysHQ/verific_command
2021-06-18 Miodrag MilanovićMerge pull request #2836 from YosysHQ/gatecat/pyosys...
2021-06-17 Zachary Snowsv: fix up end label checking
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails
2021-06-09 Claire Xenia WolfMore deadname stuff
2021-06-08 Zachary Snowverilog: check for module scope identifiers during...
2021-06-08 Zachary Snowmem2reg: tolerate out of bounds constant accesses
2021-05-25 Zachary Snowverilog: fix case expression sign and width handling
2021-05-25 Zachary Snowsv: support remaining assignment operators
2021-03-17 Xiretzaverilog: fix buf/not primitives with multiple outputs
2021-03-16 Zachary Snowverilog: support module scope identifiers in parametric...
2021-03-01 Zachary Snowverilog: fix handling of nested ifdef directives
2021-03-01 Claire XenMerge pull request #2523 from tomverbeure/define_synthesis
2021-03-01 Claire XenMerge pull request #2524 from bkbncn/patch-1
2021-02-25 whitequarkMerge pull request #2554 from hzeller/master
2021-02-15 Claire XenMerge pull request #2574 from dh73/master
2021-02-12 gatecatMerge pull request #2585 from YosysHQ/dave/nexus-dotproduct
2021-02-11 whitequarkMerge pull request #2573 from zachjs/repeat-call
2021-02-11 Zachary SnowMerge pull request #2578 from zachjs/genblk-port
2021-02-07 Zachary Snowverlog: allow shadowing module ports within generate...
2021-02-04 Zachary Snowverilog: refactored constant function evaluation
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-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-20 Zachary Snowverilog: allow spaces in macro arguments
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-11 dalanceFix begin/end in generate
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus
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-09-21 Xiretzatests/simple: remove "nullglob" shopt
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-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores
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-08-21 Zachary SnowModule name scope support
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share...
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep...
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift...
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const...
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
2020-08-20 clairexenMerge pull request #2319 from YosysHQ/mwk/techmap-cellt...
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2
2020-08-18 clairexenMerge pull request #2339 from zachjs/display-format-0s
2020-08-18 clairexenMerge pull request #2338 from zachjs/const-branch-finish
2020-08-18 clairexenMerge pull request #2317 from zachjs/expand-genblock
2020-08-09 Zachary SnowPropagate const_fold through generate blocks and branches
2020-08-09 Zachary SnowAllow %0s $display format specifier
2020-08-01 Zachary SnowFix generate scoping issues
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil...
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop
2020-06-03 Peter CrozierMerge branch 'master' into struct
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa...
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 XiretzaExpand tests/simple/constmuldivmod.v
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
2020-05-14 Eddie HungMerge pull request #1994 from YosysHQ/eddie/fix_bug1758
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990
2020-05-02 Claire WolfBugfix in partsel.v signed indices test cases
2020-05-02 Claire WolfAdd tests based on the test case from #1990
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into...
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe
next