projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #2352 from zachjs/const-func-localparam
[yosys.git] / backends /
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-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
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2171 from whitequark/cxxrtl-accessors tree | commitdiff
2020-06-19 whitequarkcxxrtl: add .get() and .set() accessors on value<>... 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-17 whitequarkcxxrtl: don't compute vital values in log_assert(). tree | commitdiff
2020-06-17 whitequarkMerge pull request #2163 from jfng/cxxrtl-blackbox... tree | commitdiff
2020-06-17 whitequarkMerge pull request #2160 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-16 Jean-François Nguyencxxrtl: restrict the debug info of a blackbox to its... tree | commitdiff
2020-06-16 N. EngelhardtMerge pull request #2156 from XarkLabs/master tree | commitdiff
2020-06-15 whitequarkMerge pull request #2159 from MerryMage/cxxrtl-mul tree | commitdiff
2020-06-15 whitequarkcxxrtl: avoid unused variable warning for transparent... tree | commitdiff
2020-06-15 MerryMagecxxrtl: Implement chunk-wise multiplication tree | commitdiff
2020-06-15 whitequarkMerge pull request #2158 from miek/sshr-sign-extension tree | commitdiff
2020-06-15 Mike Walterscxxrtl: fix sshr sign-extension. tree | commitdiff
2020-06-13 whitequarkMerge pull request #2151 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-13 whitequarkMerge pull request #2145 from whitequark/cxxrtl-splitnets tree | commitdiff
2020-06-13 whitequarkMerge pull request #2152 from whitequark/cxxrtl-always... tree | commitdiff
2020-06-13 whitequarkcxxrtl: always inline internal cells and slice/concat... tree | commitdiff
2020-06-13 whitequarkcxxrtl: fix rzext(). tree | commitdiff
2020-06-12 whitequarkMerge pull request #2150 from whitequark/cxxrtl-elide... tree | commitdiff
2020-06-12 whitequarkcxxrtl: elide $pmux cells. tree | commitdiff
2020-06-12 whitequarkMerge pull request #2149 from whitequark/cxxrtl-unbuffe... tree | commitdiff
2020-06-12 whitequarkcxxrtl: annotate port direction as comments. tree | commitdiff
2020-06-12 whitequarkcxxrtl: unbuffer output wires of toplevel module. tree | commitdiff
2020-06-12 whitequarkcxxrtl: simplify unbuffering of input wires. tree | commitdiff
2020-06-11 whitequarkcxxrtl: handle multipart signals. tree | commitdiff
2020-06-11 whitequarkcxxrtl: expose RTLIL::{Wire,Memory}->start_offset in... tree | commitdiff
2020-06-10 whitequarkMerge pull request #2141 from whitequark/cxxrtl-cxx11 tree | commitdiff
2020-06-10 whitequarkMerge pull request #2140 from whitequark/cxxrtl-aliases tree | commitdiff
2020-06-10 whitequarkcxxrtl: restore C++11 compatibility. tree | commitdiff
next