projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff
2022-04-29 Miodrag MilanovićMerge pull request #3294 from YosysHQ/micko/verific_merge_pa...
commit | commitdiff | tree
2022-04-25 Jannis HarderMerge pull request #3287 from jix/smt2-conditional...
commit | commitdiff | tree
2022-04-25 Jannis HarderMerge 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 CatherineMerge 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 HarderMerge 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 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-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 XenMerge 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 XenMerge 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 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-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 RakoczyFix access to whole sub-structs (#3086)
 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-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. EngelhardtMerge 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 CatherineMerge pull request #3127 from whitequark/cxxrtl-no...
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-14 CatherineMerge pull request #3111 from whitequark/issue-3110
 commit | commitdiff | tree
2021-12-13 Claire XenMerge pull request #3108 from YosysHQ/claire/verificdefs
 commit | commitdiff | tree
2021-12-12 CatherineMerge pull request #3105 from whitequark/cxxrtl-reset...
commit | commitdiff | tree
2021-12-11 CatherineMerge 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 XenUpdate verific.cc
 commit | commitdiff | tree
2021-12-10 Claire XenMerge 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 RakoczySupport parameters using struct as a wiretype (#3050)
 commit | commitdiff | tree
2021-11-10 Claire XenMerge pull request #3075 from YosysHQ/micko/verific_mem_size
 commit | commitdiff | tree
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib
 commit | commitdiff | tree
2021-11-10 Claire XenSpelling 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 Vossynth_gowin: move splitnets to after iopadmap (#2435)
 commit | commitdiff | tree
2021-11-06 Pepijn de Vosgowin: 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 XenMerge pull request #3068 from YosysHQ/claire/verific_cfg
 commit | commitdiff | tree
2021-10-31 Claire XenMerge 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 XenMerge 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 XenMerge pull request #3044 from YosysHQ/micko/verific_bufif1
 commit | commitdiff | tree
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff
 commit | commitdiff | tree
2021-10-11 Claire XenMerge pull request #3040 from YosysHQ/micko/split_module_ports
 commit | commitdiff | tree
2021-10-11 Claire XenMerge 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 XenMerge 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 Hungabc9: make re-entrant (#2993)
 commit | commitdiff | tree
2021-09-09 Eddie Hungabc9: holes module to instantiate cells with NEW_ID...
commit | commitdiff | tree
2021-09-09 Eddie Hungabc9: replace cell type/parameters if derived type...
commit | commitdiff | tree
2021-08-29 kittennbfive[ECP5] fix wrong link for syn_* attributes description...
commit | commitdiff | tree
next