projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-07-01 Alberto Gonzalezglift: Add initial hierarchy support. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Replace `YS_OVERRIDE` with `override`. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add CODEOWNERS entry. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add `-simple-cost-model` option commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Use `qbfsat -O2` instead of manually calling... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add `-instrument-more` option to add 4 more... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Change command names to better represent their... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add `-create-imprecise` command, rename other... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add examples, including a number of benchmarks... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add replacement scoring and area minimization... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Remove outputs by default; add `-keep-outputs... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Initial implementation of the `-sketchify` option. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Initial implementation of GLIFT model construction. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezglift: Add skeleton for `glift` command. commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #2203 from antmicro/fix-grammar commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #2179 from splhack/static-cast commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #2138 from boqwxp/qbfsat-oflag commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #2206 from boqwxp/qbfsat-fix-name... commit | commitdiff | tree
2020-06-30 clairexenMerge pull request #2136 from zachjs/master commit | commitdiff | tree
2020-06-30 clairexenMerge pull request #2199 from YosysHQ/mmicko/sim_memory commit | commitdiff | tree
2020-06-30 clairexenMerge pull request #2201 from YosysHQ/fix_test_cell_ilang commit | commitdiff | tree
2020-06-30 clairexenMerge pull request #2209 from YosysHQ/verific_update commit | commitdiff | tree
2020-06-30 Marcelina Kościelnickasimcells: Fix reset polarity for $_DLATCH_???_ cells. commit | commitdiff | tree
2020-06-30 Miodrag MilanovicUpdate verific API version check commit | commitdiff | tree
2020-06-30 Alberto Gonzalezqbfsat: Add `-O[012]` options to control pre-solving... commit | commitdiff | tree
2020-06-30 Alberto Gonzalezqbfsat: Fix name-based hole specialization. commit | commitdiff | tree
2020-06-30 whitequarkMerge pull request #2205 from whitequark/fix-2204 commit | commitdiff | tree
2020-06-29 whitequarktechmap: don't drop attributes on replaced cells. commit | commitdiff | tree
2020-06-29 Zachary SnowAllow constant function calls in for loops and generate... commit | commitdiff | tree
2020-06-29 Miodrag MilanovićMerge pull request #2200 from YosysHQ/mmicko/fix_expose commit | commitdiff | tree
2020-06-29 Miodrag MilanovicGive error that options are exclusive commit | commitdiff | tree
2020-06-29 Miodrag Milanoviccleanup commit | commitdiff | tree
2020-06-29 whitequarkMerge pull request #2197 from Xiretza/test_cell-shifts commit | commitdiff | tree
2020-06-29 Miodrag MilanovicUse ID macro to fix assertion commit | commitdiff | tree
2020-06-29 Miodrag Milanovicexpose pass fix commit | commitdiff | tree
2020-06-29 Miodrag Milanovicsim - error when memrd and memwr detected commit | commitdiff | tree
2020-06-28 Xiretzatest_cell: don't generate directional shifts with ... commit | commitdiff | tree
2020-06-26 Miodrag MilanovicFix crash in verific frontend commit | commitdiff | tree
2020-06-26 Kamil RakoczyAdd signed/unsigned tests commit | commitdiff | tree
2020-06-26 Lukasz DalekParse macro call attached semicolon as empty expression commit | commitdiff | tree
2020-06-26 Lukasz DalekFix integer signing grammar commit | commitdiff | tree
2020-06-26 whitequarkMerge pull request #2193 from whitequark/cxxrtl-help... commit | commitdiff | tree
2020-06-26 whitequarkcxxrtl: update help text. commit | commitdiff | tree
2020-06-26 whitequarkMerge pull request #2188 from antmicro/missing-operators commit | commitdiff | tree
2020-06-26 whitequarkMerge pull request #2189 from antmicro/optional-labels commit | commitdiff | tree
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... commit | commitdiff | tree
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 Kamil RakoczyAdd sub-assign and and-assign tests commit | commitdiff | tree
2020-06-25 Kamil RakoczyMove combined assign tests to single file commit | commitdiff | tree
2020-06-25 Kamil RakoczySupport missing sub-assign and and-assign operators commit | commitdiff | tree
2020-06-25 Miodrag Milanovicoptimization, all items should have same attributes commit | commitdiff | tree
2020-06-24 Kamil RakoczyAdd xor-assignment test commit | commitdiff | tree
2020-06-24 Lukasz DalekSupport missing xor-assign operator commit | commitdiff | tree
2020-06-24 Lukasz DalekSupport optional labels at the end of package definition commit | commitdiff | tree
2020-06-24 Lukasz DalekSupport optional labels at the end of module definition commit | commitdiff | tree
2020-06-24 Kamil RakoczyAdd or-assignment and plus-assignment tests commit | commitdiff | tree
2020-06-24 Kamil RakoczyAdd plus-assignment operator commit | commitdiff | tree
2020-06-24 Kamil RakoczyAdd or-assignment operator 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-20 Kazuki Sakamotostatic cast: simplify commit | commitdiff | tree
2020-06-20 Kazuki Sakamotostatic cast: add tests commit | commitdiff | tree
2020-06-20 Kazuki Sakamotostatic cast: support changing size and signedness 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 whitequarkUse [[maybe_unused]] instead of YS_ATTRIBUTE(unused). commit | commitdiff | tree
2020-06-19 whitequarkRemove YS_ATTRIBUTE(unused) where present just for... commit | commitdiff | tree
2020-06-19 whitequarkUse (and ignore) the expression provided to log_debug... commit | commitdiff | tree
2020-06-19 whitequarkUse (and ignore) the expression provided to log_assert... 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
next