projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3269 from YosysHQ/micko/fix_autotop
2022-04-07 CatherineMerge 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 HarderMerge 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 HarderMerge pull request #3253 from jix/smtbmc-nodeepcopy
 commit | commitdiff | tree
2022-03-28 Jannis HarderMerge pull request #3247 from jix/smtbmc-keepgoing
 commit | commitdiff | tree
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs
 commit | commitdiff | tree
2022-03-28 LoftyMerge 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 XenMerge 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 XenMerge 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 XenMerge pull request #3211 from YosysHQ/micko/witness
 commit | commitdiff | tree
2022-02-22 Claire XenMerge 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 RakoczyFix 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 XenMerge 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 XenMerge branch 'master' into clk2ff-better-names
 commit | commitdiff | tree
2022-02-11 Claire XenMerge 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. EngelhardtMerge 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 CatherineMerge 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
2021-12-16 CatherineMerge pull request #3115 from whitequark/issue-3112
 commit | commitdiff | tree
2021-12-16 CatherineMerge pull request #3114 from whitequark/issue-3113
 commit | commitdiff | tree
2021-12-15 github-actions[bot]Bump version
 commit | commitdiff | tree
next