projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
2022-05-09
Miodrag Milanović
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
commit
|
commitdiff
|
tree
2022-05-06
Miodrag Milanović
Merge pull request #3300 from imhcyx/master
commit
|
commitdiff
|
tree
2022-04-29
Miodrag Milanović
Merge pull request #3294 from YosysHQ/micko/verific_merge_pa...
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-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-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-07
Catherine
Merge pull request #3269 from YosysHQ/micko/fix_autotop
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-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-03-31
Miodrag Milanović
Merge pull request #3256 from YosysHQ/micko/aiw_multiclock
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-29
Miodrag Milanović
Merge pull request #3258 from jix/fix-no-assertions
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-25
Miodrag Milanović
Merge pull request #3249 from YosysHQ/micko/no_startoffset
commit
|
commitdiff
|
tree
2022-03-24
Miodrag Milanović
Merge pull request #3243 from nakengelhardt/fix_aiw_comment
commit
|
commitdiff
|
tree
2022-03-17
Miodrag Milanović
Merge pull request #3236 from YosysHQ/micko/tb_initial
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-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-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
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-02
Claire Xen
Merge pull request #3224 from YosysHQ/micko/refactor
commit
|
commitdiff
|
tree
2022-02-28
Miodrag Milanović
Merge pull request #3216 from YosysHQ/claire/simstuff
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-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
commit
|
commitdiff
|
tree
2022-02-15
Miodrag Milanović
Merge pull request #3204 from YosysHQ/claire/update-abc
commit
|
commitdiff
|
tree
2022-02-14
Kamil Rakoczy
Fix access to whole sub-structs (#3086)
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-09
Miodrag Milanović
Merge pull request #3193 from YosysHQ/micko/verific_f
commit
|
commitdiff
|
tree
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
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-26
Miodrag Milanović
change to windows-2019
commit
|
commitdiff
|
tree
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
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
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
commit
|
commitdiff
|
tree
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
commit
|
commitdiff
|
tree
2021-12-16
Catherine
Merge pull request #3114 from whitequark/issue-3113
commit
|
commitdiff
|
tree
2021-12-14
Catherine
Merge pull request #3111 from whitequark/issue-3110
commit
|
commitdiff
|
tree
2021-12-13
Claire Xen
Merge pull request #3108 from YosysHQ/claire/verificdefs
commit
|
commitdiff
|
tree
2021-12-12
Catherine
Merge pull request #3105 from whitequark/cxxrtl-reset...
commit
|
commitdiff
|
tree
2021-12-11
Catherine
Merge pull request #3103 from whitequark/write_verilog...
commit
|
commitdiff
|
tree
2021-12-10
Miodrag Milanović
Merge pull request #3102 from YosysHQ/claire/enumxz
commit
|
commitdiff
|
tree
2021-12-10
Miodrag Milanović
Merge pull request #3097 from YosysHQ/modport
commit
|
commitdiff
|
tree
2021-12-10
Claire Xen
Update verific.cc
commit
|
commitdiff
|
tree
2021-12-10
Claire Xen
Merge pull request #3099 from YosysHQ/claire/readargs
commit
|
commitdiff
|
tree
2021-11-17
Miodrag Milanović
Merge pull request #3080 from YosysHQ/micko/init_wire
commit
|
commitdiff
|
tree
2021-11-16
Kamil Rakoczy
Support parameters using struct as a wiretype (#3050)
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem_size
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Merge pull request #3077 from YosysHQ/claire/genlib
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Spelling fix in abc.cc
commit
|
commitdiff
|
tree
2021-11-08
Miodrag Milanović
Update CODEOWNERS
commit
|
commitdiff
|
tree
2021-11-08
Miodrag Milanović
Limit macOS GH actions
commit
|
commitdiff
|
tree
2021-11-07
Pepijn de Vos
synth_gowin: move splitnets to after iopadmap (#2435)
commit
|
commitdiff
|
tree
2021-11-06
Pepijn de Vos
gowin: widelut support (#3042)
commit
|
commitdiff
|
tree
2021-11-05
Miodrag Milanović
Merge pull request #3067 from YosysHQ/aki/ci_update
commit
|
commitdiff
|
tree
2021-11-01
Claire Xen
Merge pull request #3068 from YosysHQ/claire/verific_cfg
commit
|
commitdiff
|
tree
2021-10-31
Claire Xen
Merge pull request #3066 from YosysHQ/claire/verific_gclk
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanović
Merge pull request #3063 from YosysHQ/micko/verific_aldff
commit
|
commitdiff
|
tree
2021-10-21
Claire Xen
Merge pull request #3057 from YosysHQ/claire/verific_latches
commit
|
commitdiff
|
tree
2021-10-19
Miodrag Milanović
Merge pull request #3045 from galibert/master
commit
|
commitdiff
|
tree
2021-10-15
Claire Xen
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_module_ports
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3041 from YosysHQ/mmicko/module_attr
commit
|
commitdiff
|
tree
2021-09-28
Miodrag Milanović
Merge pull request #3017 from YosysHQ/claire/short_rtlil_x_const
commit
|
commitdiff
|
tree
2021-09-24
Claire Xen
Merge pull request #3014 from YosysHQ/claire/fix-vgtest
commit
|
commitdiff
|
tree
2021-09-18
Miodrag Milanović
Merge pull request #3010 from the6p4c/master
commit
|
commitdiff
|
tree
2021-09-13
Miodrag Milanović
Updates for CHANGELOG (#2997)
commit
|
commitdiff
|
tree
2021-09-10
Miodrag Milanović
Merge pull request #3001 from YosysHQ/claire/sigcheck
commit
|
commitdiff
|
tree
2021-09-09
Eddie Hung
abc9: make re-entrant (#2993)
commit
|
commitdiff
|
tree
2021-09-09
Eddie Hung
abc9: holes module to instantiate cells with NEW_ID...
commit
|
commitdiff
|
tree
next