projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3305 from jix/sva_value_change_logic
[yosys.git]
/
Makefile
2022-05-09
Jannis Harder
Merge pull request #3305 from jix/sva_value_change_logic
blob
|
commitdiff
|
raw
2022-05-09
Jannis Harder
Merge pull request #3297 from jix/sva_nested_clk_else
blob
|
commitdiff
|
raw
2022-05-09
Miodrag Milanovic
Next dev cycle
blob
|
commitdiff
|
raw
2022-05-09
Miodrag Milanovic
Release version 0.17
yosys-0.17
blob
|
commitdiff
|
raw
|
diff to current
2022-05-09
Miodrag Milanović
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
blob
|
commitdiff
|
raw
|
diff to current
2022-05-08
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-05-07
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-05-06
Miodrag Milanovic
include latest abc changes
blob
|
commitdiff
|
raw
|
diff to current
2022-05-06
Miodrag Milanovic
include latest abc changes
blob
|
commitdiff
|
raw
|
diff to current
2022-05-06
Miodrag Milanović
Merge pull request #3300 from imhcyx/master
blob
|
commitdiff
|
raw
|
diff to current
2022-05-06
Miodrag Milanovic
Include abc change to fix FreeBSD build
blob
|
commitdiff
|
raw
|
diff to current
2022-05-05
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-05-03
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-30
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-26
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-25
Jannis Harder
Merge pull request #3257 from jix/tribuf-formal
blob
|
commitdiff
|
raw
|
diff to current
2022-04-19
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanović
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanovic
Update abc
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanović
Merge pull request #3282 from nakengelhardt/verific_loo...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-16
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-09
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-08
Miodrag Milanović
Merge pull request #3273 from modwizcode/fix-build
blob
|
commitdiff
|
raw
|
diff to current
2022-04-08
Iris Johnson
Makefile: properly conditionalize features requiring...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-08
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-07
Catherine
Merge pull request #3269 from YosysHQ/micko/fix_autotop
blob
|
commitdiff
|
raw
|
diff to current
2022-04-06
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-05
Miodrag Milanovic
Next dev cycle
blob
|
commitdiff
|
raw
|
diff to current
2022-04-05
Miodrag Milanovic
Release version 0.16
yosys-0.16
blob
|
commitdiff
|
raw
|
diff to current
2022-04-05
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-02
Jannis Harder
Merge pull request #3264 from jix/invalid_ff_dcinit_merge
blob
|
commitdiff
|
raw
|
diff to current
2022-04-02
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-04-01
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-31
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Jannis Harder
Merge pull request #3247 from jix/smtbmc-keepgoing
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Lofty
Merge pull request #3246 from YosysHQ/gatecat/timing...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-26
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-23
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
Miodrag Milanovic
Update abc with latest fix
blob
|
commitdiff
|
raw
|
diff to current
2022-03-22
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-19
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-17
Miodrag Milanović
Merge pull request #3236 from YosysHQ/micko/tb_initial
blob
|
commitdiff
|
raw
|
diff to current
2022-03-17
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-15
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
blob
|
commitdiff
|
raw
|
diff to current
2022-03-12
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3228 from YosysHQ/micko/disable_tests
blob
|
commitdiff
|
raw
|
diff to current
2022-03-11
Miodrag Milanović
Merge pull request #3226 from YosysHQ/micko/btor2witness
blob
|
commitdiff
|
raw
|
diff to current
2022-03-10
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
blob
|
commitdiff
|
raw
|
diff to current
2022-03-05
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3207 from nakengelhardt/json_escape...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanovic
Next dev cycle
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanovic
Release version 0.15
yosys-0.15
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanovic
Update ABC
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3219 from YosysHQ/micko/quick_vcd
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3220 from YosysHQ/claire/simstuff
blob
|
commitdiff
|
raw
|
diff to current
2022-03-03
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-03-01
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-25
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
N. Engelhardt
fix handling of escaped chars in json backend and frontend
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
Miodrag Milanovic
Added test cases
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-15
Miodrag Milanović
Merge pull request #3204 from YosysHQ/claire/update-abc
blob
|
commitdiff
|
raw
|
diff to current
2022-02-15
Miodrag Milanovic
Bump ABC version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-15
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-13
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-12
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
blob
|
commitdiff
|
raw
|
diff to current
2022-02-10
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-08
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Miodrag Milanovic
Next dev cycle
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Miodrag Milanovic
Release version 0.14
yosys-0.14
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-03
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanovic
Fix Visual Studio build
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanović
Merge pull request #3176 from higuoxing/fix-ref-manual
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-01-29
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-01-27
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Add fstdata helper class
blob
|
commitdiff
|
raw
|
diff to current
2022-01-25
Miodrag Milanovic
Add FST library
blob
|
commitdiff
|
raw
|
diff to current
2022-01-20
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
blob
|
commitdiff
|
raw
|
diff to current
2022-01-18
github-actions[bot]
Bump version
blob
|
commitdiff
|
raw
|
diff to current
next