projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
achronix: Use dfflegalize.
[yosys.git] / frontends /
2020-07-10 clairexenMerge pull request #2256 from YosysHQ/claire/fix2241 tree | commitdiff
2020-07-10 Claire WolfAdd AST_EDGE support to AstNode::detect_latch(), fixes... tree | commitdiff
2020-07-09 whitequarkMerge pull request #2255 from whitequark/bison-Werror... tree | commitdiff
2020-07-09 whitequarkverilog_parser: turn S/R and R/R conflicts into hard... tree | commitdiff
2020-07-09 whitequarkRevert PRs #2203 and #2244. tree | commitdiff
2020-07-09 clairexenMerge pull request #2244 from antmicro/logic tree | commitdiff
2020-07-06 Lukasz DalekSupport logic typed parameters tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize tree | commitdiff
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff tree | commitdiff
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge tree | commitdiff
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates tree | commitdiff
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar tree | commitdiff
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag tree | commitdiff
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... tree | commitdiff
2020-06-30 clairexenMerge pull request #2136 from zachjs/master tree | commitdiff
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory tree | commitdiff
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang tree | commitdiff
2020-06-30 clairexenMerge pull request #2209 from YosysHQ/verific_update tree | commitdiff
2020-06-30 Miodrag MilanovicUpdate verific API version check tree | commitdiff
2020-06-29 Zachary SnowAllow constant function calls in for loops and generate... tree | commitdiff
2020-06-26 Miodrag MilanovicFix crash in verific frontend tree | commitdiff
2020-06-26 Lukasz DalekParse macro call attached semicolon as empty expression tree | commitdiff
2020-06-26 Lukasz DalekFix integer signing grammar tree | commitdiff
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators tree | commitdiff
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-25 clairexenMerge pull request #2192 from YosysHQ/verific_netbus_attr tree | commitdiff
2020-06-25 Kamil RakoczySupport missing sub-assign and and-assign operators tree | commitdiff
2020-06-25 Miodrag Milanovicoptimization, all items should have same attributes tree | commitdiff
2020-06-24 Lukasz DalekSupport missing xor-assign operator tree | commitdiff
2020-06-24 Lukasz DalekSupport optional labels at the end of package definition tree | commitdiff
2020-06-24 Lukasz DalekSupport optional labels at the end of module definition tree | commitdiff
2020-06-24 Kamil RakoczyAdd plus-assignment operator tree | commitdiff
2020-06-24 Kamil RakoczyAdd or-assignment operator tree | commitdiff
2020-06-24 Miodrag Milanovicverific - import attributes for net buses as well tree | commitdiff
2020-06-20 Kazuki Sakamotostatic cast: simplify tree | commitdiff
2020-06-20 Kazuki Sakamotostatic cast: support changing size and signedness tree | commitdiff
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-06-18 N. EngelhardtMerge pull request #2153 from boqwxp/splitnets-cleanup tree | commitdiff
2020-06-18 whitequarkMerge pull request #2167 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-18 whitequarkMerge pull request #2142 from whitequark/splitnets... tree | commitdiff
2020-06-18 Miodrag MilanovićMerge pull request #2164 from madebr/msvc tree | commitdiff
2020-06-17 Anonymous MaartenMSVC does not understand __builtin_unreachable tree | commitdiff
2020-06-17 Anonymous MaartenMSVC cannot omit operand in conditional tree | commitdiff
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... tree | commitdiff
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs tree | commitdiff
2020-06-10 clairexenMerge pull request #2139 from YosysHQ/verific_missing_m... tree | commitdiff
2020-06-10 Miodrag Milanovicverific - detect missing memory to prevent crash. tree | commitdiff
2020-06-09 clairexenMerge pull request #2112 from YosysHQ/claire/fix2040 tree | commitdiff
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end tree | commitdiff
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug... tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... tree | commitdiff
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array tree | commitdiff
2020-06-07 Peter CrozierSupport packed arrays in struct/union. tree | commitdiff
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern... tree | commitdiff
2020-06-04 Claire WolfAdd latch detection for use_case_method in part-select... tree | commitdiff
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop tree | commitdiff
2020-06-03 Peter CrozierMerge branch 'master' into struct tree | commitdiff
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa... tree | commitdiff
2020-06-02 clairexenMerge pull request #2102 from YosysHQ/tests_fix tree | commitdiff
2020-06-02 clairexenMerge pull request #2101 from YosysHQ/mmicko/verific_as... tree | commitdiff
2020-06-01 Miodrag MilanovicSupport asymmetric memories for verific frontend tree | commitdiff
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap tree | commitdiff
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast tree | commitdiff
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout tree | commitdiff
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify... tree | commitdiff
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells tree | commitdiff
2020-05-29 clairexenMerge pull request #2092 from whitequark/rtlil-no-space... tree | commitdiff
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4 tree | commitdiff
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices tree | commitdiff
2020-05-29 whitequarkMerge pull request #2097 from whitequark/ilang_lexer... tree | commitdiff
2020-05-29 whitequarkilang_lexer: fix check for out of range literal. tree | commitdiff
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog... tree | commitdiff
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs tree | commitdiff
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning tree | commitdiff
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master tree | commitdiff
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl tree | commitdiff
2020-05-28 whitequarkMerge pull request #2088 from rswarbrick/count-at tree | commitdiff
2020-05-28 whitequarkMerge pull request #2087 from rswarbrick/lex-warn tree | commitdiff
2020-05-26 Rupert SwarbrickSilence spurious warning in Verilog lexer when compilin... tree | commitdiff
2020-05-25 Eddie HungMerge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy tree | commitdiff
2020-05-25 Eddie HungMerge pull request #2044 from YosysHQ/eddie/fix2037 tree | commitdiff
2020-05-25 Eddie Hungaiger: cleanup tree | commitdiff
2020-05-25 Eddie Hungverilog: move attr from simple_behav_stmt to its childr... tree | commitdiff
2020-05-25 Eddie Hungverilog: do not warn for attributes on null statements tree | commitdiff
2020-05-25 Eddie Hungverilog: handle empty generate statement by removing... tree | commitdiff
next