projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3310 from robinsonb5-PRs/master
2022-05-17
Miodrag Milanović
Merge pull request #3310 from robinsonb5-PRs/master
commit
|
commitdiff
|
tree
2022-05-16
Jannis Harder
Merge pull request #3314 from jix/sva_value_change_logic_wide
commit
|
commitdiff
|
tree
2022-05-14
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-13
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-10
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-09
Jannis Harder
Merge pull request #3305 from jix/sva_value_change_logic
commit
|
commitdiff
|
tree
2022-05-09
Jannis Harder
Merge pull request #3297 from jix/sva_nested_clk_else
commit
|
commitdiff
|
tree
2022-05-09
Miodrag Milanović
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
commit
|
commitdiff
|
tree
2022-05-08
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-07
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-06
Miodrag Milanović
Merge pull request #3300 from imhcyx/master
commit
|
commitdiff
|
tree
2022-05-05
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-05-03
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-30
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-29
Miodrag Milanović
Merge pull request #3294 from YosysHQ/micko/verific_merge_pa...
commit
|
commitdiff
|
tree
2022-04-26
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-25
Jannis Harder
Merge pull request #3287 from jix/smt2-conditional...
commit
|
commitdiff
|
tree
2022-04-25
Jannis Harder
Merge pull request #3257 from jix/tribuf-formal
commit
|
commitdiff
|
tree
2022-04-25
Miodrag Milanović
Merge pull request #3290 from mpasternacki/bugfix/freebsd...
commit
|
commitdiff
|
tree
2022-04-25
Miodrag Milanović
Merge pull request #3289 from YosysHQ/micko/sim_improve
commit
|
commitdiff
|
tree
2022-04-19
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanović
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanović
Merge pull request #3282 from nakengelhardt/verific_loop_rams
commit
|
commitdiff
|
tree
2022-04-16
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
2022-04-09
github-actions[bot]
Bump version
commit
|
commitdiff
|
tree
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
next