projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3275 from YosysHQ/micko/clk2fflogic_fix
2022-04-08
Miodrag Milanović
Merge pull request #3275 from YosysHQ/micko/clk2fflogic_fix
commit
|
commitdiff
|
tree
2022-04-08
Miodrag Milanović
Merge pull request #3273 from modwizcode/fix-build
commit
|
commitdiff
|
tree
2022-04-08
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-07
Catherine
Merge pull request #3269 from YosysHQ/micko/fix_autotop
commit
|
commitdiff
|
tree
2022-04-06
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-05
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-04
Miodrag Milanović
Merge pull request #3265 from YosysHQ/micko/sim_improvements
commit
|
commitdiff
|
tree
2022-04-02
Jannis Harder
Merge pull request #3264 from jix/invalid_ff_dcinit_merge
commit
|
commitdiff
|
tree
2022-04-02
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanović
Merge pull request #3263 from YosysHQ/micko/clk2ff_init
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanović
Merge pull request #3262 from YosysHQ/micko/verific_hiernet
commit
|
commitdiff
|
tree
2022-04-01
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-31
Miodrag Milanović
Merge pull request #3256 from YosysHQ/micko/aiw_multiclock
commit
|
commitdiff
|
tree
2022-03-31
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_valgrind
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3260 from YosysHQ/micko/proper_scopename
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_consistent
commit
|
commitdiff
|
tree
2022-03-30
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-29
Miodrag Milanović
Merge pull request #3258 from jix/fix-no-assertions
commit
|
commitdiff
|
tree
2022-03-29
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3253 from jix/smtbmc-nodeepcopy
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3247 from jix/smtbmc-keepgoing
commit
|
commitdiff
|
tree
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
commit
|
commitdiff
|
tree
2022-03-28
Lofty
Merge pull request #3246 from YosysHQ/gatecat/timing...
commit
|
commitdiff
|
tree
2022-03-28
Miodrag Milanović
Update URL to zlib
commit
|
commitdiff
|
tree
2022-03-26
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-25
Miodrag Milanović
Merge pull request #3249 from YosysHQ/micko/no_startoffset
commit
|
commitdiff
|
tree
2022-03-25
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-24
Miodrag Milanović
Merge pull request #3243 from nakengelhardt/fix_aiw_comment
commit
|
commitdiff
|
tree
2022-03-23
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-22
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-19
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-17
Miodrag Milanović
Merge pull request #3236 from YosysHQ/micko/tb_initial
commit
|
commitdiff
|
tree
2022-03-17
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-15
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-14
Miodrag Milanović
Merge pull request #3232 from YosysHQ/micko/fst2tb
commit
|
commitdiff
|
tree
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
commit
|
commitdiff
|
tree
2022-03-12
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-11
Miodrag Milanović
Merge pull request #3229 from YosysHQ/micko/sim_date
commit
|
commitdiff
|
tree
2022-03-11
Miodrag Milanović
Merge pull request #3222 from zachjs/prune-linux-ci
commit
|
commitdiff
|
tree
2022-03-11
Miodrag Milanović
Merge pull request #3228 from YosysHQ/micko/disable_tests
commit
|
commitdiff
|
tree
2022-03-11
Miodrag Milanović
Merge pull request #3226 from YosysHQ/micko/btor2witness
commit
|
commitdiff
|
tree
2022-03-10
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
commit
|
commitdiff
|
tree
2022-03-05
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id
commit
|
commitdiff
|
tree
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
commit
|
commitdiff
|
tree
2022-03-04
Miodrag Milanović
Merge pull request #3207 from nakengelhardt/json_escape_quotes
commit
|
commitdiff
|
tree
2022-03-04
Miodrag Milanović
Merge pull request #3219 from YosysHQ/micko/quick_vcd
commit
|
commitdiff
|
tree
2022-03-04
Miodrag Milanović
Merge pull request #3220 from YosysHQ/claire/simstuff
commit
|
commitdiff
|
tree
2022-03-03
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-03-02
Claire Xen
Merge pull request #3224 from YosysHQ/micko/refactor
commit
|
commitdiff
|
tree
2022-03-01
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-28
Miodrag Milanović
Merge pull request #3216 from YosysHQ/claire/simstuff
commit
|
commitdiff
|
tree
2022-02-25
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
commit
|
commitdiff
|
tree
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
commit
|
commitdiff
|
tree
2022-02-22
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
commit
|
commitdiff
|
tree
2022-02-16
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-15
Miodrag Milanović
Merge pull request #3204 from YosysHQ/claire/update-abc
commit
|
commitdiff
|
tree
2022-02-15
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-14
Kamil Rakoczy
Fix access to whole sub-structs (#3086)
commit
|
commitdiff
|
tree
2022-02-13
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-12
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge pull request #2376 from nmoroze/clk2ff-better...
commit
|
commitdiff
|
tree
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
commit
|
commitdiff
|
tree
2022-02-10
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-09
Miodrag Milanović
Merge pull request #3193 from YosysHQ/micko/verific_f
commit
|
commitdiff
|
tree
2022-02-08
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
commit
|
commitdiff
|
tree
2022-02-07
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-03
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-02-02
Miodrag Milanović
Merge pull request #3183 from YosysHQ/micko/nto1mux
commit
|
commitdiff
|
tree
2022-02-02
Miodrag Milanović
Merge pull request #3182 from yrabbit/wip-doc2
commit
|
commitdiff
|
tree
2022-01-31
Miodrag Milanović
Merge pull request #3176 from higuoxing/fix-ref-manual
commit
|
commitdiff
|
tree
2022-01-31
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-29
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-28
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-27
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-26
Miodrag Milanović
change to windows-2019
commit
|
commitdiff
|
tree
2022-01-20
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
commit
|
commitdiff
|
tree
2022-01-18
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-17
Miodrag Milanović
Merge pull request #3162 from YosysHQ/mmicko/windows_guidelines
commit
|
commitdiff
|
tree
2022-01-17
Miodrag Milanović
Update guidelines/Windows
commit
|
commitdiff
|
tree
2022-01-17
N. Engelhardt
Merge pull request #3145 from nakengelhardt/advertise_suite_...
commit
|
commitdiff
|
tree
2022-01-17
Miodrag Milanović
Add info about VS build
commit
|
commitdiff
|
tree
2022-01-12
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-09
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-05
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-01-04
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2021-12-26
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
commit
|
commitdiff
|
tree
2021-12-22
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2021-12-21
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2021-12-19
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2021-12-17
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
next