projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-07-01
Alberto Gonzalez
qbfsat: Remove useless comment and #ifndef guards.
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Specify default values for some options in...
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Clean up external executable command lines...
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Clean up and refactor data structures into...
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2138 from boqwxp/qbfsat-oflag
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2206 from boqwxp/qbfsat-fix-name...
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2136 from zachjs/master
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2209 from YosysHQ/verific_update
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
simcells: Fix reset polarity for $_DLATCH_???_ cells.
commit
|
commitdiff
|
tree
2020-06-30
Miodrag Milanovic
Update verific API version check
commit
|
commitdiff
|
tree
2020-06-30
Alberto Gonzalez
qbfsat: Add `-O[012]` options to control pre-solving...
commit
|
commitdiff
|
tree
2020-06-30
Alberto Gonzalez
qbfsat: Fix name-based hole specialization.
commit
|
commitdiff
|
tree
2020-06-30
whitequark
Merge pull request #2205 from whitequark/fix-2204
commit
|
commitdiff
|
tree
2020-06-29
whitequark
techmap: don't drop attributes on replaced cells.
commit
|
commitdiff
|
tree
2020-06-29
Zachary Snow
Allow 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 Milanovic
Give error that options are exclusive
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
cleanup
commit
|
commitdiff
|
tree
2020-06-29
whitequark
Merge pull request #2197 from Xiretza/test_cell-shifts
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
Use ID macro to fix assertion
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
expose pass fix
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
sim - error when memrd and memwr detected
commit
|
commitdiff
|
tree
2020-06-28
Xiretza
test_cell: don't generate directional shifts with ...
commit
|
commitdiff
|
tree
2020-06-26
Miodrag Milanovic
Fix crash in verific frontend
commit
|
commitdiff
|
tree
2020-06-26
Kamil Rakoczy
Add signed/unsigned tests
commit
|
commitdiff
|
tree
2020-06-26
Lukasz Dalek
Parse macro call attached semicolon as empty expression
commit
|
commitdiff
|
tree
2020-06-26
Lukasz Dalek
Fix integer signing grammar
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2193 from whitequark/cxxrtl-help...
commit
|
commitdiff
|
tree
2020-06-26
whitequark
cxxrtl: update help text.
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2188 from antmicro/missing-operators
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2189 from antmicro/optional-labels
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2168 from whitequark/assert-unused...
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2093 from boqwxp/qbfsat-bugfixes
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2192 from YosysHQ/verific_netbus_attr
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Add sub-assign and and-assign tests
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Move combined assign tests to single file
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Support missing sub-assign and and-assign operators
commit
|
commitdiff
|
tree
2020-06-25
Miodrag Milanovic
optimization, all items should have same attributes
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add xor-assignment test
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support missing xor-assign operator
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support optional labels at the end of package definition
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support optional labels at the end of module definition
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add or-assignment and plus-assignment tests
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add plus-assignment operator
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add or-assignment operator
commit
|
commitdiff
|
tree
2020-06-24
Miodrag Milanovic
verific - import attributes for net buses as well
commit
|
commitdiff
|
tree
2020-06-24
whitequark
Merge pull request #2185 from YosysHQ/mwk/cxxrtl-ff...
commit
|
commitdiff
|
tree
2020-06-24
Marcelina Kościelnicka
cxxrtl: Add support for the new FF types.
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
simplemap: Fix $dffsre mapping.
commit
|
commitdiff
|
tree
2020-06-23
clairexen
Merge pull request #1818 from YosysHQ/mwk/new-ff-types
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
Update dff2dffe, dff2dffs, zinit to new FF types.
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
Add add* functions for the new FF types
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
Add new FF types to simplemap.
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
Add support for new FF types in some opt passes.
commit
|
commitdiff
|
tree
2020-06-23
Marcelina Kościelnicka
Add new builtin FF types
commit
|
commitdiff
|
tree
2020-06-22
whitequark
Merge pull request #2182 from whitequark/update-abc
commit
|
commitdiff
|
tree
2020-06-22
whitequark
Update ABC.
commit
|
commitdiff
|
tree
2020-06-22
whitequark
Merge pull request #2181 from whitequark/minisat-wasm...
commit
|
commitdiff
|
tree
2020-06-21
whitequark
minisat: add missing include guard for WASI.
commit
|
commitdiff
|
tree
2020-06-21
whitequark
Merge pull request #2180 from Xiretza/pyosys-override
commit
|
commitdiff
|
tree
2020-06-21
Xiretza
pyosys: Use C++11 override keyword for bindings
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
log: Remove unused `_POSIX_TIMERS` branch in `Performan...
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
log, qbfsat: Include child process time in `Performance...
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
qbfsat: Simplify solution recovery parsing and tweak...
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
qbfsat: Avoid instantiating `AttrObject`s directly.
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
qbfsat: Simplify solution format and replace `SigBit...
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
qbfsat: Fixes three bugs.
commit
|
commitdiff
|
tree
2020-06-21
Alberto Gonzalez
qbfsat: Use bit precise mapping for hole value wires...
commit
|
commitdiff
|
tree
2020-06-21
whitequark
Merge pull request #2177 from boqwxp/dict-iterator...
commit
|
commitdiff
|
tree
2020-06-20
Kazuki Sakamoto
static cast: simplify
commit
|
commitdiff
|
tree
2020-06-20
Kazuki Sakamoto
static cast: add tests
commit
|
commitdiff
|
tree
2020-06-20
Kazuki Sakamoto
static cast: support changing size and signedness
commit
|
commitdiff
|
tree
2020-06-19
Alberto Gonzalez
dict: Remove guard for past-the-end iterators that...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2178 from boqwxp/design-select
commit
|
commitdiff
|
tree
2020-06-19
Alberto Gonzalez
rtlil: Add `Design::select()` for selecting whole modules.
commit
|
commitdiff
|
tree
2020-06-19
Alberto Gonzalez
hashlib, rtlil: Add `operator+=()` to `dict<>::iterator...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Remove YS_ATTRIBUTE(unused) where present just for...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Use (and ignore) the expression provided to log_debug...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Use (and ignore) the expression provided to log_assert...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2175 from Xiretza/missing-noreturn
commit
|
commitdiff
|
tree
2020-06-19
Xiretza
Add missing [[noreturn]] to log_file_error()
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2173 from whitequark/use-cxx11...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2174 from whitequark/fix-github...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Fix GitHub misidentifying *.v files as Coq.
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2171 from whitequark/cxxrtl-accessors
commit
|
commitdiff
|
tree
2020-06-19
whitequark
cxxrtl: add .get() and .set() accessors on value<>...
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Merge pull request #2170 from boqwxp/cutpoint-efficiency
commit
|
commitdiff
|
tree
2020-06-19
whitequark
Use C++11 [[noreturn]] attribute.
commit
|
commitdiff
|
tree
2020-06-18
whitequark
Use C++11 final/override keywords.
commit
|
commitdiff
|
tree
2020-06-18
Alberto Gonzalez
cutpoint: Improve efficiency by iterating over module...
commit
|
commitdiff
|
tree
2020-06-18
N. Engelhardt
Merge pull request #2153 from boqwxp/splitnets-cleanup
commit
|
commitdiff
|
tree
2020-06-18
whitequark
Merge pull request #2167 from whitequark/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-06-18
whitequark
Merge pull request #2142 from whitequark/splitnets...
commit
|
commitdiff
|
tree
2020-06-18
Miodrag Milanović
Merge pull request #2164 from madebr/msvc
commit
|
commitdiff
|
tree
next