projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Start restoring memory state from VCD/FST
[yosys.git]
/
kernel
/
fstdata.cc
2022-05-04
Miodrag Milanovic
Start restoring memory state from VCD/FST
blob
|
commitdiff
|
raw
2022-04-25
Jannis Harder
Merge pull request #3287 from jix/smt2-conditional...
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-25
Miodrag Milanović
Merge pull request #3290 from mpasternacki/bugfix/freeb...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-25
Miodrag Milanović
Merge pull request #3289 from YosysHQ/micko/sim_improve
blob
|
commitdiff
|
raw
|
diff to current
2022-04-22
Miodrag Milanovic
Ignore change on last edge
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_val...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanović
Merge pull request #3260 from YosysHQ/micko/proper_scop...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanovic
Proper scope naming from FST
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-18
Miodrag Milanovic
More verbose warnings
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-16
Miodrag Milanovic
Recognize registers and set initial state for them...
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-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
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 Milanović
Merge pull request #3219 from YosysHQ/micko/quick_vcd
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanovic
VCD reader support by using external tool
blob
|
commitdiff
|
raw
|
diff to current
2022-02-28
Miodrag Milanović
Merge pull request #3216 from YosysHQ/claire/simstuff
blob
|
commitdiff
|
raw
|
diff to current
2022-02-25
Miodrag Milanovic
Fix for last clock edge data
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-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
blob
|
commitdiff
|
raw
|
diff to current
2022-02-18
Miodrag Milanovic
Changed error message
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
Miodrag Milanovic
Add support for various ff/latch cells simulation
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-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
Miodrag Milanovic
Error detection for co-simulation
blob
|
commitdiff
|
raw
|
diff to current
2022-02-04
Miodrag Milanovic
bug fix and cleanups
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
Miodrag Milanovic
Display simulation time data
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
ignore not found private signals
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
preserve VCD mangled names
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
detect edges even when x
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
cleanup
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
Do actual compare
blob
|
commitdiff
|
raw
|
diff to current
2022-01-28
Miodrag Milanovic
Add more options and time handling
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Miodrag Milanovic
Add fstdata helper class
blob
|
commitdiff
|
raw
|
diff to current