projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Clarifies processes, corrects some attributes
[yosys.git] / backends /
2020-11-18 Miodrag MilanovićMerge pull request #2441 from YosysHQ/dave/nexus_dsp_sim tree | commitdiff
2020-11-16 William Woodruffbackends/blif: Remove unused vector of strings (#2420) tree | commitdiff
2020-11-07 whitequarkMerge pull request #2414 from zeldin/abc-depend-clang-fix tree | commitdiff
2020-11-07 Miodrag MilanovićMerge pull request #2432 from Xiretza/nexus-tests tree | commitdiff
2020-11-02 whitequarkMerge pull request #2426 from whitequark/cxxrtl-auto-top tree | commitdiff
2020-11-02 whitequarkcxxrtl: run `hierarchy -auto-top` if no top module... tree | commitdiff
2020-11-01 whitequarkMerge pull request #2425 from whitequark/cxxrtl-meminit... tree | commitdiff
2020-11-01 whitequarkcxxrtl: don't assert on non-constant $meminit inputs. tree | commitdiff
2020-11-01 whitequarkMerge pull request #2424 from whitequark/cxxrtl-multipl... tree | commitdiff
2020-11-01 whitequarkcxxrtl: don't assert on wires with multiple drivers. tree | commitdiff
2020-10-22 N. EngelhardtMerge pull request #2403 from nakengelhardt/sim_timescale tree | commitdiff
2020-10-21 Marcelina Kościelnickabtor: Use Mem helper. tree | commitdiff
2020-10-21 Marcelina Kościelnickasmt2: Use Mem helper. tree | commitdiff
2020-10-21 Marcelina Kościelnickaverilog_backend: Use Mem helper. tree | commitdiff
2020-10-20 clairexenMerge pull request #2405 from byuccl/fix_xilinx_cells tree | commitdiff
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus tree | commitdiff
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape tree | commitdiff
2020-10-06 Jakob Wenzelsmtbmc: escape identifiers in verilog testbench tree | commitdiff
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low tree | commitdiff
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests tree | commitdiff
2020-09-29 clairexenMerge pull request #2393 from nakengelhardt/no_const_se... tree | commitdiff
2020-09-28 N. Engelhardtwrite_verilog: emit intermediate wire for constant... tree | commitdiff
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public tree | commitdiff
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... tree | commitdiff
2020-09-14 N. Engelhardtuse the new isPublic() in a few places tree | commitdiff
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores tree | commitdiff
2020-09-03 whitequarkMerge pull request #2371 from whitequark/cxxrtl-debug... tree | commitdiff
2020-09-02 whitequarkcxxrtl: expose driver kind in debug information. tree | commitdiff
2020-09-02 whitequarkcxxrtl: improve handling of FFs with async inputs ... tree | commitdiff
2020-09-02 whitequarkcxxrtl: expose port direction in debug information. tree | commitdiff
2020-09-02 whitequarkcxxrtl: fix typo in comment. NFC. tree | commitdiff
2020-09-02 whitequarkcxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation... tree | commitdiff
2020-09-01 clairexenMerge pull request #2352 from zachjs/const-func-localparam tree | commitdiff
2020-09-01 clairexenMerge pull request #2366 from zachjs/library-format tree | commitdiff
2020-09-01 clairexenMerge pull request #2353 from zachjs/top-scope tree | commitdiff
2020-09-01 clairexenMerge pull request #2365 from zachjs/const-arg-loop... tree | commitdiff
2020-08-31 XiretzaAdd missing gitignores for test artifacts tree | commitdiff
2020-08-29 whitequarkwrite_smt2: fix SMT-LIB tutorial URL tree | commitdiff
2020-08-27 whitequarkMerge pull request #2357 from whitequark/cxxflags-MP tree | commitdiff
2020-08-27 whitequarkMerge pull request #2356 from whitequark/flatten-techma... tree | commitdiff
2020-08-27 whitequarkMerge pull request #2358 from whitequark/rename-ilang... tree | commitdiff
2020-08-26 whitequarkReplace "ILANG" with "RTLIL" everywhere. tree | commitdiff
2020-08-26 whitequarkMerge pull request #2351 from pbsds/proc_nomux tree | commitdiff
2020-08-22 clairexenMerge pull request #2349 from nmoroze/smt2-bugfix tree | commitdiff
2020-08-20 Noah MorozeEnsure smt2 comments are associated with accessors tree | commitdiff
2020-08-20 clairexenMerge pull request #2344 from YosysHQ/mwk/opt_share... tree | commitdiff
2020-08-20 clairexenMerge pull request #2337 from YosysHQ/mwk/clean-keep... tree | commitdiff
2020-08-20 clairexenMerge pull request #2333 from YosysHQ/mwk/peepopt-shift... tree | commitdiff
2020-08-20 clairexenMerge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup tree | commitdiff
2020-08-20 clairexenMerge pull request #2327 from YosysHQ/mwk/techmap-const... tree | commitdiff
2020-08-20 clairexenMerge pull request #2326 from YosysHQ/mwk/peeopt-muldiv... tree | commitdiff
2020-08-20 clairexenMerge pull request #2319 from YosysHQ/mwk/techmap-cellt... tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-08-18 XiretzaRespect \A_SIGNED for $shift tree | commitdiff
2020-08-18 clairexenMerge pull request #2339 from zachjs/display-format-0s tree | commitdiff
2020-08-18 clairexenMerge pull request #2338 from zachjs/const-branch-finish tree | commitdiff
2020-08-18 clairexenMerge pull request #2317 from zachjs/expand-genblock tree | commitdiff
2020-08-18 Claire WolfMerge branch 'const-func-block-var' of https://github... tree | commitdiff
2020-08-18 clairexenMerge pull request #2281 from zachjs/const-real tree | commitdiff
2020-08-12 whitequarkMerge pull request #2340 from andy-knowles/cxxrtl-fix... tree | commitdiff
2020-08-12 Andy Knowlescxxrtl.h: Fix incorrect CarryOut in alu() tree | commitdiff
2020-08-12 Andy Knowlescxxrtl.h: Fix incorrect CarryOut in alu when Bits ... tree | commitdiff
2020-07-30 Marcelina Kościelnickaverilog_backend: Add handling for all FF types. tree | commitdiff
2020-07-23 clairexenMerge pull request #2294 from Ravenslofty/intel_alm_timings tree | commitdiff
2020-07-21 clairexenMerge pull request #2215 from boqwxp/qbfsat-solver... tree | commitdiff
2020-07-20 Alberto Gonzalezsmtio: Emit `mode: start` options before `set-logic... tree | commitdiff
2020-07-20 Alberto Gonzalezsmtio: Add support for parsing `yosys-smt2-solver-optio... tree | commitdiff
2020-07-20 Alberto Gonzalezsmt2: Add `-solver-option` option. tree | commitdiff
2020-07-20 clairexenMerge pull request #2282 from YosysHQ/claire/satunsat tree | commitdiff
2020-07-20 Claire WolfOnly allow "sat" and "unsat" smt solver responses in... tree | commitdiff
2020-07-17 Miodrag MilanovićMerge pull request #2274 from YosysHQ/mwk/anlogic-ff-fix tree | commitdiff
2020-07-16 clairexenMerge pull request #2229 from Ravenslofty/sf2_remove_sf... tree | commitdiff
2020-07-16 clairexenMerge pull request #2273 from whitequark/write-verilog... tree | commitdiff
2020-07-16 clairexenMerge pull request #2272 from whitequark/write-verilog-sv tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize... tree | commitdiff
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix... tree | commitdiff
2020-07-16 whitequarkverilog_backend: in non-SV mode, add a trigger for... tree | commitdiff
2020-07-16 whitequarkverilog_backend: add `-sv` option, make `-o <filename... tree | commitdiff
2020-07-16 whitequarkMerge pull request #2270 from whitequark/cxxrtl-fix... tree | commitdiff
2020-07-15 clairexenMerge pull request #2257 from antmicro/fix-conflicts tree | commitdiff
2020-07-14 whitequarkcxxrtl: fix typo. NFC. tree | commitdiff
2020-07-13 whitequarkMerge pull request #2263 from whitequark/cxxrtl-capi... tree | commitdiff
2020-07-12 whitequarkcxxrtl: expose eval() and commit() via the C API. tree | commitdiff
2020-07-09 whitequarkMerge pull request #2255 from whitequark/bison-Werror... tree | commitdiff
2020-07-09 whitequarkMerge pull request #2254 from whitequark/cxxrtl-extern-c tree | commitdiff
2020-07-09 whitequarkcxxrtl: add missing extern "C". tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial 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-06-26 whitequarkMerge pull request #2193 from whitequark/cxxrtl-help... tree | commitdiff
2020-06-26 whitequarkcxxrtl: update help text. 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-24 whitequarkMerge pull request #2185 from YosysHQ/mwk/cxxrtl-ff... tree | commitdiff
2020-06-24 Marcelina Kościelnickacxxrtl: Add support for the new FF types. tree | commitdiff
2020-06-19 whitequarkUse (and ignore) the expression provided to log_assert... tree | commitdiff
next