projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-07-05 Marcelina Kościelnickagowin: Fix INIT values in sim library. commit | commitdiff | tree
2020-07-04 Dan RavensloftImprove MISTRAL_FF specify rules commit | commitdiff | tree
2020-07-04 Eddie Hungtests: update fsm.ys resource count commit | commitdiff | tree
2020-07-04 Eddie Hungabc9: only techmap (* abc9_flop *) modules commit | commitdiff | tree
2020-07-04 Eddie Hungintel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF commit | commitdiff | tree
2020-07-04 Eddie Hungabc9: techmap from user design to allow abc9_flop modul... commit | commitdiff | tree
2020-07-04 Eddie Hungintel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY commit | commitdiff | tree
2020-07-04 Dan Ravensloftintel_alm: ABC9 sequential optimisations commit | commitdiff | tree
2020-07-03 Rupert SwarbrickAdd newlines to help text for dfflegalize commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2208 from boqwxp/qbfsat-cleanup commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2186 from YosysHQ/mwk/dfflegalize commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2210 from YosysHQ/mwk/fix-opt_merge commit | commitdiff | tree
2020-07-02 clairexenMerge pull request #2195 from YosysHQ/mwk/manual-gates commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Remove useless comment and #ifndef guards. commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Specify default values for some options in... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Clean up external executable command lines... commit | commitdiff | tree
2020-07-01 Alberto Gonzalezqbfsat: Clean up and refactor data structures into... 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 Marcelina Kościelnickadfflegalize: Add tests. commit | commitdiff | tree
2020-06-30 Marcelina KościelnickaAdd dfflegalize pass. commit | commitdiff | tree
2020-06-30 Marcelina Kościelnickafmcombine: use the master ff cell type list commit | commitdiff | tree
2020-06-30 Marcelina Kościelnickaopt_merge: use the master FF type list 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 Marcelina KościelnickaAdd latches to the manual. commit | commitdiff | tree
2020-06-26 Marcelina KościelnickaAdd a few more gate types to the manual. 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
next