/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | model_based_opt.cpp | 88 opt::model_based_opt mbo; in check_random_ineqs() local 104 mbo.display(std::cout); in check_random_ineqs() 107 mbo.display(std::cout); in check_random_ineqs() 241 mbo.display(std::cout); in test5() 244 mbo.display(std::cout); in test5() 247 mbo.display(std::cout); in test5() 271 mbo.display(std::cout); in test6() 273 mbo.display(std::cout); in test6() 293 mbo.display(std::cout); in test7() 295 mbo.display(std::cout); in test7() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | model_based_opt.cpp | 88 opt::model_based_opt mbo; in check_random_ineqs() local 104 mbo.display(std::cout); in check_random_ineqs() 107 mbo.display(std::cout); in check_random_ineqs() 241 mbo.display(std::cout); in test5() 244 mbo.display(std::cout); in test5() 247 mbo.display(std::cout); in test5() 271 mbo.display(std::cout); in test6() 273 mbo.display(std::cout); in test6() 293 mbo.display(std::cout); in test7() 295 mbo.display(std::cout); in test7() [all …]
|
/dports/sysutils/usermin/usermin-1.830/filemin/unauthenticated/js/lib/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment {color: #95958a;} 18 .cm-s-mbo span.cm-atom {color: #00a8c6;} 19 .cm-s-mbo span.cm-number {color: #00a8c6;} 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute {color: #9ddfe9;} 22 .cm-s-mbo span.cm-keyword {color: #ffb928;} 23 .cm-s-mbo span.cm-string {color: #ffcf6c;} 28 .cm-s-mbo span.cm-def {color: #ffffec;} 30 .cm-s-mbo span.cm-tag {color: #9ddfe9;} [all …]
|
/dports/sysutils/webmin/webmin-1.981/filemin/unauthenticated/js/lib/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment {color: #95958a;} 18 .cm-s-mbo span.cm-atom {color: #00a8c6;} 19 .cm-s-mbo span.cm-number {color: #00a8c6;} 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute {color: #9ddfe9;} 22 .cm-s-mbo span.cm-keyword {color: #ffb928;} 23 .cm-s-mbo span.cm-string {color: #ffcf6c;} 28 .cm-s-mbo span.cm-def {color: #ffffec;} 30 .cm-s-mbo span.cm-tag {color: #9ddfe9;} [all …]
|
/dports/www/py-notebook/notebook-6.4.5/notebook/static/components/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/opencart/opencart-3.0.3.8/upload/admin/view/javascript/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/front_end/third_party/codemirror/package/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/typo3-9/typo3_src-9.5.31/typo3/sysext/t3editor/Resources/Public/JavaScript/Contrib/cm/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/typo3-10/typo3_src-10.4.25/typo3/sysext/t3editor/Resources/Public/JavaScript/Contrib/cm/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/limesurvey/limesurvey/assets/packages/ckeditor/plugins/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/typo3-11/typo3_src-11.5.7/typo3/sysext/t3editor/Resources/Public/JavaScript/Contrib/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/joomla3/joomla3-3.9.24/media/editors/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/tikiwiki/tiki-21.2/vendor_bundled/vendor/codemirror/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/otrs/otrs-rel-6_0_29/var/httpd/htdocs/js/thirdparty/ckeditor-4.7.0/plugins/codemirror/theme/ |
H A D | mbo.css | 9 .cm-s-mbo .CodeMirror-line::selection, .cm-s-mbo .CodeMirror-line > span::selection, .cm-s-mbo .Cod… 10 .cm-s-mbo .CodeMirror-line::-moz-selection, .cm-s-mbo .CodeMirror-line > span::-moz-selection, .cm-… 17 .cm-s-mbo span.cm-comment { color: #95958a; } 18 .cm-s-mbo span.cm-atom { color: #00a8c6; } 19 .cm-s-mbo span.cm-number { color: #00a8c6; } 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute { color: #9ddfe9; } 22 .cm-s-mbo span.cm-keyword { color: #ffb928; } 23 .cm-s-mbo span.cm-string { color: #ffcf6c; } 28 .cm-s-mbo span.cm-def { color: #ffffec; } 30 .cm-s-mbo span.cm-tag { color: #9ddfe9; } [all …]
|
/dports/www/bolt/bolt-2.2.24/app/view/js/ckeditor/plugins/codemirror/theme/ |
H A D | mbo.css | 17 .cm-s-mbo span.cm-comment {color: #95958a;} 18 .cm-s-mbo span.cm-atom {color: #00a8c6;} 19 .cm-s-mbo span.cm-number {color: #00a8c6;} 21 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute {color: #9ddfe9;} 22 .cm-s-mbo span.cm-keyword {color: #ffb928;} 23 .cm-s-mbo span.cm-string {color: #ffcf6c;} 26 .cm-s-mbo span.cm-variable {color: #ffffec;} 28 .cm-s-mbo span.cm-def {color: #ffffec;} 30 .cm-s-mbo span.cm-tag {color: #9ddfe9;} 31 .cm-s-mbo span.cm-link {color: #f54b07;} [all …]
|
/dports/www/limesurvey/limesurvey/assets/packages/ckeditor/plugins/markdown/theme/ |
H A D | mbo.css | 15 .cm-s-mbo span.cm-comment {color: #95958a;} 16 .cm-s-mbo span.cm-atom {color: #00a8c6;} 17 .cm-s-mbo span.cm-number {color: #00a8c6;} 19 .cm-s-mbo span.cm-property, .cm-s-mbo span.cm-attribute {color: #9ddfe9;} 20 .cm-s-mbo span.cm-keyword {color: #ffb928;} 21 .cm-s-mbo span.cm-string {color: #ffcf6c;} 24 .cm-s-mbo span.cm-variable {color: #ffffec;} 26 .cm-s-mbo span.cm-def {color: #ffffec;} 28 .cm-s-mbo span.cm-tag {color: #9ddfe9;} 29 .cm-s-mbo span.cm-link {color: #f54b07;} [all …]
|
/dports/net/hostapd-devel/hostap-14ab4a816/wpa_supplicant/ |
H A D | mbo.c | 44 const u8 *mbo; in mbo_attr_from_mbo_ie() local 70 const u8 *mbo, *end; in wpas_mbo_get_bss_attr() local 76 if (!mbo) in wpas_mbo_get_bss_attr() 79 end = mbo + 2 + mbo[1]; in wpas_mbo_get_bss_attr() 80 mbo += MBO_IE_HEADER; in wpas_mbo_get_bss_attr() 82 return get_ie(mbo, end - mbo, attr); in wpas_mbo_get_bss_attr() 97 if (!mbo && !oce) in wpas_mbo_check_pmf() 218 struct wpabuf *mbo; in wpas_mbo_ie() local 227 if (!mbo) in wpas_mbo_ie() 248 res = mbo_add_ie(buf, len, wpabuf_head_u8(mbo), wpabuf_len(mbo)); in wpas_mbo_ie() [all …]
|
/dports/security/wpa_supplicant-devel/hostap-14ab4a816/wpa_supplicant/ |
H A D | mbo.c | 44 const u8 *mbo; in mbo_attr_from_mbo_ie() local 70 const u8 *mbo, *end; in wpas_mbo_get_bss_attr() local 76 if (!mbo) in wpas_mbo_get_bss_attr() 79 end = mbo + 2 + mbo[1]; in wpas_mbo_get_bss_attr() 80 mbo += MBO_IE_HEADER; in wpas_mbo_get_bss_attr() 82 return get_ie(mbo, end - mbo, attr); in wpas_mbo_get_bss_attr() 97 if (!mbo && !oce) in wpas_mbo_check_pmf() 218 struct wpabuf *mbo; in wpas_mbo_ie() local 227 if (!mbo) in wpas_mbo_ie() 248 res = mbo_add_ie(buf, len, wpabuf_head_u8(mbo), wpabuf_len(mbo)); in wpas_mbo_ie() [all …]
|
/dports/security/wpa_supplicant/wpa_supplicant-2.9/wpa_supplicant/ |
H A D | mbo.c | 43 const u8 *mbo; in mbo_attr_from_mbo_ie() local 69 const u8 *mbo, *end; in wpas_mbo_get_bss_attr() local 75 if (!mbo) in wpas_mbo_get_bss_attr() 78 end = mbo + 2 + mbo[1]; in wpas_mbo_get_bss_attr() 79 mbo += MBO_IE_HEADER; in wpas_mbo_get_bss_attr() 81 return get_ie(mbo, end - mbo, attr); in wpas_mbo_get_bss_attr() 188 struct wpabuf *mbo; in wpas_mbo_ie() local 197 if (!mbo) in wpas_mbo_ie() 208 wpabuf_put_u8(mbo, 1); in wpas_mbo_ie() 218 res = mbo_add_ie(buf, len, wpabuf_head_u8(mbo), wpabuf_len(mbo)); in wpas_mbo_ie() [all …]
|
/dports/net/wpa_supplicant_gui/wpa_supplicant-2.9/wpa_supplicant/ |
H A D | mbo.c | 43 const u8 *mbo; in mbo_attr_from_mbo_ie() local 69 const u8 *mbo, *end; in wpas_mbo_get_bss_attr() local 75 if (!mbo) in wpas_mbo_get_bss_attr() 78 end = mbo + 2 + mbo[1]; in wpas_mbo_get_bss_attr() 79 mbo += MBO_IE_HEADER; in wpas_mbo_get_bss_attr() 81 return get_ie(mbo, end - mbo, attr); in wpas_mbo_get_bss_attr() 188 struct wpabuf *mbo; in wpas_mbo_ie() local 197 if (!mbo) in wpas_mbo_ie() 208 wpabuf_put_u8(mbo, 1); in wpas_mbo_ie() 218 res = mbo_add_ie(buf, len, wpabuf_head_u8(mbo), wpabuf_len(mbo)); in wpas_mbo_ie() [all …]
|
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/staging/most/i2c/ |
H A D | i2c.c | 120 int ch_idx, struct mbo *mbo) in enqueue() argument 145 mbo->processed_length = mbo->buffer_length; in enqueue() 148 mbo->complete(mbo); in enqueue() 168 struct mbo *mbo; in poison_channel() local 179 list_del(&mbo->list); in poison_channel() 183 mbo->complete(mbo); in poison_channel() 192 struct mbo *mbo; in do_rx_work() local 218 list_del(&mbo->list); in do_rx_work() 220 mbo->processed_length = min(data_size, mbo->buffer_length); in do_rx_work() 221 memcpy(mbo->virt_address, msg, mbo->processed_length); in do_rx_work() [all …]
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/staging/most/i2c/ |
H A D | i2c.c | 120 int ch_idx, struct mbo *mbo) in enqueue() argument 145 mbo->processed_length = mbo->buffer_length; in enqueue() 148 mbo->complete(mbo); in enqueue() 168 struct mbo *mbo; in poison_channel() local 179 list_del(&mbo->list); in poison_channel() 183 mbo->complete(mbo); in poison_channel() 192 struct mbo *mbo; in do_rx_work() local 218 list_del(&mbo->list); in do_rx_work() 220 mbo->processed_length = min(data_size, mbo->buffer_length); in do_rx_work() 221 memcpy(mbo->virt_address, msg, mbo->processed_length); in do_rx_work() [all …]
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/staging/most/i2c/ |
H A D | i2c.c | 120 int ch_idx, struct mbo *mbo) in enqueue() argument 145 mbo->processed_length = mbo->buffer_length; in enqueue() 148 mbo->complete(mbo); in enqueue() 168 struct mbo *mbo; in poison_channel() local 179 list_del(&mbo->list); in poison_channel() 183 mbo->complete(mbo); in poison_channel() 192 struct mbo *mbo; in do_rx_work() local 218 list_del(&mbo->list); in do_rx_work() 220 mbo->processed_length = min(data_size, mbo->buffer_length); in do_rx_work() 221 memcpy(mbo->virt_address, msg, mbo->processed_length); in do_rx_work() [all …]
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/scsi/ |
H A D | aha1542.c | 357 if (ccb[mbo].tarstat | ccb[mbo].hastat) in aha1542_interrupt() 375 ccb[mbo].hastat, ccb[mbo].idlun, mbo); in aha1542_interrupt() 402 ccb[mbo].hastat, ccb[mbo].tarstat); in aha1542_interrupt() 426 int mbo; in aha1542_queuecommand() local 474 mbo++; in aha1542_queuecommand() 479 if (mb[mbo].status || aha1542->int_cmds[mbo]) in aha1542_queuecommand() 514 ccb[mbo].linkptr[0] = ccb[mbo].linkptr[1] = ccb[mbo].linkptr[2] = 0; in aha1542_queuecommand() 874 int mbo; in aha1542_dev_reset() local 885 mbo++; in aha1542_dev_reset() 890 if (mb[mbo].status || aha1542->int_cmds[mbo]) in aha1542_dev_reset() [all …]
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/scsi/ |
H A D | aha1542.c | 357 if (ccb[mbo].tarstat | ccb[mbo].hastat) in aha1542_interrupt() 375 ccb[mbo].hastat, ccb[mbo].idlun, mbo); in aha1542_interrupt() 402 ccb[mbo].hastat, ccb[mbo].tarstat); in aha1542_interrupt() 426 int mbo; in aha1542_queuecommand() local 474 mbo++; in aha1542_queuecommand() 479 if (mb[mbo].status || aha1542->int_cmds[mbo]) in aha1542_queuecommand() 514 ccb[mbo].linkptr[0] = ccb[mbo].linkptr[1] = ccb[mbo].linkptr[2] = 0; in aha1542_queuecommand() 874 int mbo; in aha1542_dev_reset() local 885 mbo++; in aha1542_dev_reset() 890 if (mb[mbo].status || aha1542->int_cmds[mbo]) in aha1542_dev_reset() [all …]
|