projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo commit | commitdiff | tree
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes commit | commitdiff | tree
2020-06-25 clairexenMerge pull request #2192 from YosysHQ/verific_netbus_attr commit | commitdiff | tree
2020-06-25 Miodrag Milanovicoptimization, all items should have same attributes commit | commitdiff | tree
2020-06-24 Miodrag Milanovicverific - import attributes for net buses as well commit | commitdiff | tree
2020-06-24 whitequarkMerge pull request #2185 from YosysHQ/mwk/cxxrtl-ff... commit | commitdiff | tree
2020-06-24 Marcelina Kościelnickacxxrtl: Add support for the new FF types. commit | commitdiff | tree
2020-06-23 Marcelina Kościelnickasimplemap: Fix $dffsre mapping. commit | commitdiff | tree
2020-06-23 clairexenMerge pull request #1818 from YosysHQ/mwk/new-ff-types commit | commitdiff | tree
2020-06-23 Marcelina KościelnickaUpdate dff2dffe, dff2dffs, zinit to new FF types. commit | commitdiff | tree
2020-06-23 Marcelina KościelnickaAdd add* functions for the new FF types commit | commitdiff | tree
2020-06-23 Marcelina KościelnickaAdd new FF types to simplemap. commit | commitdiff | tree
2020-06-23 Marcelina KościelnickaAdd support for new FF types in some opt passes. commit | commitdiff | tree
2020-06-23 Marcelina KościelnickaAdd new builtin FF types commit | commitdiff | tree
2020-06-22 whitequarkMerge pull request #2182 from whitequark/update-abc commit | commitdiff | tree
2020-06-22 whitequarkUpdate ABC. commit | commitdiff | tree
2020-06-22 whitequarkMerge pull request #2181 from whitequark/minisat-wasm... commit | commitdiff | tree
2020-06-21 whitequarkminisat: add missing include guard for WASI. commit | commitdiff | tree
2020-06-21 whitequarkMerge pull request #2180 from Xiretza/pyosys-override commit | commitdiff | tree
2020-06-21 Xiretzapyosys: Use C++11 override keyword for bindings commit | commitdiff | tree
2020-06-21 Alberto Gonzalezlog: Remove unused `_POSIX_TIMERS` branch in `Performan... commit | commitdiff | tree
2020-06-21 Alberto Gonzalezlog, qbfsat: Include child process time in `Performance... commit | commitdiff | tree
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution recovery parsing and tweak... commit | commitdiff | tree
2020-06-21 Alberto Gonzalezqbfsat: Avoid instantiating `AttrObject`s directly. commit | commitdiff | tree
2020-06-21 Alberto Gonzalezqbfsat: Simplify solution format and replace `SigBit... commit | commitdiff | tree
2020-06-21 Alberto Gonzalezqbfsat: Fixes three bugs. commit | commitdiff | tree
2020-06-21 Alberto Gonzalezqbfsat: Use bit precise mapping for hole value wires... commit | commitdiff | tree
2020-06-21 whitequarkMerge pull request #2177 from boqwxp/dict-iterator... commit | commitdiff | tree
2020-06-19 Alberto Gonzalezdict: Remove guard for past-the-end iterators that... commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2178 from boqwxp/design-select commit | commitdiff | tree
2020-06-19 Alberto Gonzalezrtlil: Add `Design::select()` for selecting whole modules. commit | commitdiff | tree
2020-06-19 Alberto Gonzalezhashlib, rtlil: Add `operator+=()` to `dict<>::iterator... commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2175 from Xiretza/missing-noreturn commit | commitdiff | tree
2020-06-19 XiretzaAdd missing [[noreturn]] to log_file_error() commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github... commit | commitdiff | tree
2020-06-19 whitequarkFix GitHub misidentifying *.v files as Coq. commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2171 from whitequark/cxxrtl-accessors commit | commitdiff | tree
2020-06-19 whitequarkcxxrtl: add .get() and .set() accessors on value<>... commit | commitdiff | tree
2020-06-19 whitequarkMerge pull request #2170 from boqwxp/cutpoint-efficiency commit | commitdiff | tree
2020-06-19 whitequarkUse C++11 [[noreturn]] attribute. commit | commitdiff | tree
2020-06-18 whitequarkUse C++11 final/override keywords. commit | commitdiff | tree
2020-06-18 Alberto Gonzalezcutpoint: Improve efficiency by iterating over module... commit | commitdiff | tree
2020-06-18 N. EngelhardtMerge pull request #2153 from boqwxp/splitnets-cleanup commit | commitdiff | tree
2020-06-18 whitequarkMerge pull request #2167 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-18 whitequarkMerge pull request #2142 from whitequark/splitnets... commit | commitdiff | tree
2020-06-18 Miodrag MilanovićMerge pull request #2164 from madebr/msvc commit | commitdiff | tree
2020-06-17 whitequarkcxxrtl: don't compute vital values in log_assert(). commit | commitdiff | tree
2020-06-17 Anonymous Maartenmsvc does not support designated initializers in structs commit | commitdiff | tree
2020-06-17 Anonymous MaartenMSVC does not understand __builtin_unreachable commit | commitdiff | tree
2020-06-17 Anonymous MaartenMSVC cannot omit operand in conditional commit | commitdiff | tree
2020-06-17 Anonymous MaartenMSVC defines TRANSPARENT too commit | commitdiff | tree
2020-06-17 whitequarkMerge pull request #2163 from jfng/cxxrtl-blackbox... commit | commitdiff | tree
2020-06-17 whitequarkMerge pull request #2160 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-16 Jean-François... cxxrtl: restrict the debug info of a blackbox to its... commit | commitdiff | tree
2020-06-16 N. EngelhardtMerge pull request #2156 from XarkLabs/master commit | commitdiff | tree
2020-06-15 whitequarkMerge pull request #2159 from MerryMage/cxxrtl-mul commit | commitdiff | tree
2020-06-15 whitequarkcxxrtl: avoid unused variable warning for transparent... commit | commitdiff | tree
2020-06-15 MerryMagecxxrtl: Implement chunk-wise multiplication commit | commitdiff | tree
2020-06-15 whitequarkMerge pull request #2158 from miek/sshr-sign-extension commit | commitdiff | tree
2020-06-15 Mike Walterscxxrtl: fix sshr sign-extension. commit | commitdiff | tree
2020-06-14 XarkFix Verilator sim warnings: 1 BLKSEQ and 3 WIDTH commit | commitdiff | tree
2020-06-13 whitequarkMerge pull request #2155 from whitequark/fix-wasm-wasi... commit | commitdiff | tree
2020-06-13 whitequarkkernel: guard include of signal.h more precisely. commit | commitdiff | tree
2020-06-13 whitequarkMerge pull request #2151 from whitequark/cxxrtl-fix... commit | commitdiff | tree
2020-06-13 Alberto Gonzalezsplitnets: Clean up pseudo-private member usage commit | commitdiff | tree
2020-06-13 Alberto Gonzalezsplitnets: Slightly improve efficiency by avoiding... commit | commitdiff | tree
2020-06-13 whitequarkMerge pull request #2145 from whitequark/cxxrtl-splitnets commit | commitdiff | tree
2020-06-13 whitequarkMerge pull request #2152 from whitequark/cxxrtl-always... commit | commitdiff | tree
2020-06-13 whitequarkcxxrtl: always inline internal cells and slice/concat... commit | commitdiff | tree
2020-06-13 whitequarkcxxrtl: fix rzext(). commit | commitdiff | tree
2020-06-12 whitequarkMerge pull request #2150 from whitequark/cxxrtl-elide... commit | commitdiff | tree
2020-06-12 whitequarkcxxrtl: elide $pmux cells. commit | commitdiff | tree
2020-06-12 whitequarkMerge pull request #2149 from whitequark/cxxrtl-unbuffe... commit | commitdiff | tree
2020-06-12 whitequarkcxxrtl: annotate port direction as comments. commit | commitdiff | tree
2020-06-12 whitequarkcxxrtl: unbuffer output wires of toplevel module. commit | commitdiff | tree
2020-06-12 whitequarkcxxrtl: simplify unbuffering of input wires. commit | commitdiff | tree
2020-06-11 whitequarkcxxrtl: handle multipart signals. commit | commitdiff | tree
2020-06-11 Dan Ravensloftintel_alm: fix DFFE matching commit | commitdiff | tree
2020-06-11 whitequarkcxxrtl: expose RTLIL::{Wire,Memory}->start_offset in... commit | commitdiff | tree
2020-06-10 whitequarksplitnets: propagate (*hdlname*) and disambiguate via... commit | commitdiff | tree
2020-06-10 whitequarkMerge pull request #2141 from whitequark/cxxrtl-cxx11 commit | commitdiff | tree
2020-06-10 whitequarkMerge pull request #2140 from whitequark/cxxrtl-aliases commit | commitdiff | tree
2020-06-10 whitequarkcxxrtl: restore C++11 compatibility. commit | commitdiff | tree
2020-06-10 whitequarkcxxrtl: fix a few gcc warnings. commit | commitdiff | tree
2020-06-10 whitequarkFix formatting. NFC. commit | commitdiff | tree
2020-06-10 whitequarkcxxrtl: disambiguate values/wires and their aliases... commit | commitdiff | tree
2020-06-10 whitequarkMerge pull request #2134 from whitequark/cxxrtl-opt... commit | commitdiff | tree
2020-06-10 clairexenMerge pull request #2131 from YosysHQ/claire/preserveffs commit | commitdiff | tree
2020-06-10 clairexenMerge pull request #2139 from YosysHQ/verific_missing_m... commit | commitdiff | tree
2020-06-10 Miodrag Milanovicverific - detect missing memory to prevent crash. commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: allow unbuffering without localizing. commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: order -On levels as localize, elide instead... commit | commitdiff | tree
2020-06-09 Claire WolfFix tests/opt/opt_rmdff commit | commitdiff | tree
2020-06-09 Claire WolfDrive-by modernization in sat.cc commit | commitdiff | tree
2020-06-09 whitequarkcxxrtl: factor out -noproc/-noflatten from -O. commit | commitdiff | tree
2020-06-09 clairexenMerge pull request #2112 from YosysHQ/claire/fix2040 commit | commitdiff | tree
2020-06-09 Claire WolfDo not optimize away FFs in "prep" and Verific fron-end commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2128 from whitequark/flatten-processes commit | commitdiff | tree
2020-06-09 whitequarkMerge pull request #2130 from whitequark/cxxrtl-fix... commit | commitdiff | tree
next