intel_alm: increase abc9 -W
[yosys.git] / frontends /
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop
2020-07-25 Zachary SnowAvoid generating wires for function args which are...
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf...
2020-07-16 clairexenMerge pull request #2273 from whitequark/write-verilog...
2020-07-16 clairexenMerge pull request #2272 from whitequark/write-verilog-sv
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize...
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix...
2020-07-16 whitequarkMerge pull request #2270 from whitequark/cxxrtl-fix...
2020-07-15 whitequarkMerge pull request #2269 from YosysHQ/claire/bisonwall
2020-07-15 Claire WolfTreat all bison warnings as errors in verilog front-end
2020-07-15 Claire WolfUse %precedence in verilog_parser.y
2020-07-15 Claire WolfFix bison warnings for missing %empty
2020-07-15 Claire WolfRun bison with -Wall for verilog front-end
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts
2020-07-15 Kamil RakoczyAdd missing semicolons
2020-07-10 clairexenMerge pull request #2256 from YosysHQ/claire/fix2241
2020-07-10 Claire WolfAdd AST_EDGE support to AstNode::detect_latch(), fixes...
2020-07-10 Kamil RakoczyFix S/R conflicts
2020-07-10 Kamil RakoczyFix R/R conflicts
2020-07-10 Kamil RakoczyRevert "Revert PRs #2203 and #2244."
2020-07-09 whitequarkMerge pull request #2255 from whitequark/bison-Werror...
2020-07-09 whitequarkverilog_parser: turn S/R and R/R conflicts into hard...
2020-07-09 whitequarkRevert PRs #2203 and #2244.
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic
2020-07-06 Lukasz DalekSupport logic typed parameters
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name...
2020-06-30 clairexenMerge pull request #2136 from zachjs/master
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang
2020-06-30 clairexenMerge pull request #2209 from YosysHQ/verific_update
2020-06-30 Miodrag MilanovicUpdate verific API version check
2020-06-29 Zachary SnowAllow constant function calls in for loops and generate...
2020-06-26 Miodrag MilanovicFix crash in verific frontend
2020-06-26 Lukasz DalekParse macro call attached semicolon as empty expression
2020-06-26 Lukasz DalekFix integer signing grammar
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused...
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes
2020-06-25 clairexenMerge pull request #2192 from YosysHQ/verific_netbus_attr
2020-06-25 Kamil RakoczySupport missing sub-assign and and-assign operators
2020-06-25 Miodrag Milanovicoptimization, all items should have same attributes
2020-06-24 Lukasz DalekSupport missing xor-assign operator
2020-06-24 Lukasz DalekSupport optional labels at the end of package definition
2020-06-24 Lukasz DalekSupport optional labels at the end of module definition
2020-06-24 Kamil RakoczyAdd plus-assignment operator
2020-06-24 Kamil RakoczyAdd or-assignment operator
2020-06-24 Miodrag Milanovicverific - import attributes for net buses as well
2020-06-20 Kazuki Sakamotostatic cast: simplify
2020-06-20 Kazuki Sakamotostatic cast: support changing size and signedness
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for...
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11...
2020-06-18 whitequarkUse C++11 final/override keywords.
2020-06-18 N. EngelhardtMerge pull request #2153 from boqwxp/splitnets-cleanup
2020-06-18 whitequarkMerge pull request #2167 from whitequark/cxxrtl-fix...
2020-06-18 whitequarkMerge pull request #2142 from whitequark/splitnets...
2020-06-18 Miodrag MilanovićMerge pull request #2164 from madebr/msvc
2020-06-17 Anonymous MaartenMSVC does not understand __builtin_unreachable
2020-06-17 Anonymous MaartenMSVC cannot omit operand in conditional
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt...
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs
2020-06-10 clairexenMerge pull request #2139 from YosysHQ/verific_missing_m...
2020-06-10 Miodrag Milanovicverific - detect missing memory to prevent crash.
2020-06-09 clairexenMerge pull request #2112 from YosysHQ/claire/fix2040
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug...
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten...
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array
2020-06-07 Peter CrozierSupport packed arrays in struct/union.
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix...
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern...
2020-06-04 Claire WolfAdd latch detection for use_case_method in part-select...
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include...
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-06-02 clairexenMerge pull request #2102 from YosysHQ/tests_fix
2020-06-02 clairexenMerge pull request #2101 from YosysHQ/mmicko/verific_as...
2020-06-01 Miodrag MilanovicSupport asymmetric memories for verific frontend
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 clairexenMerge pull request #2092 from whitequark/rtlil-no-space...
next