Return correct modname when found in cache.
[yosys.git] / frontends /
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...
2020-08-30 Miodrag MilanovicDo not check for 1 and 0 only
2020-08-30 Miodrag MilanovicFix import of VHDL enums
2020-08-29 Zachary SnowSimple support for %l format specifier
2020-08-29 Zachary SnowFix constant args used with function ports split across...
2020-08-27 whitequarkMerge pull request #2357 from whitequark/cxxflags-MP
2020-08-27 whitequarkMerge pull request #2356 from whitequark/flatten-techma...
2020-08-27 whitequarkMerge pull request #2358 from whitequark/rename-ilang...
2020-08-26 whitequarkReplace "ILANG" with "RTLIL" everywhere.
2020-08-26 Miodrag MilanovićMerge pull request #2355 from YosysHQ/verific_improvements
2020-08-26 Miodrag MilanovicAdd formal apps and template generators
2020-08-21 Zachary SnowModule name scope support
2020-08-21 Zachary SnowAllow localparams in constant functions
2020-08-20 clairexenMerge pull request #2347 from YosysHQ/mwk/techmap-shift...
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-18 Claire WolfMerge branch 'zachjs-const-func-block-var'
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github...
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real
2020-08-09 Zachary SnowPropagate const_fold through generate blocks and branches
2020-08-09 Zachary SnowAllow %0s $display format specifier
2020-08-03 Lukasz DalekFix subarray access condition
2020-08-03 Lukasz DalekRewrite multirange arrays sizes [n] as [n-1:0]
2020-08-01 Zachary SnowFix generate scoping issues
2020-07-29 Miodrag MilanovićMerge pull request #2314 from YosysHQ/verifix_errorfix
2020-07-29 Miodrag MilanovicClear last error message
2020-07-28 clairexenMerge pull request #2301 from zachjs/for-loop-errors
2020-07-28 clairexenMerge pull request #2306 from YosysHQ/mwk/equiv_induct...
2020-07-26 clairexenMerge pull request #2299 from zachjs/arg-loop
2020-07-25 Zachary SnowClearer for loop error messages
2020-07-25 Zachary SnowAllow blocks with declarations within constant functions
2020-07-25 Zachary SnowAvoid generating wires for function args which are...
2020-07-20 Zachary SnowAllow reals as constant function parameters
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...
next