/dports/math/py-mip/mip-1.13.0/test/data/ |
H A D | bft.lp | 36870 + SendCommit(1,3,1,1) + SendCommit(1,4,1,1) + SendCommit(1,5,1,1) 36871 + SendCommit(1,6,1,1) + SendCommit(1,7,1,1) + SendCommit(1,8,1,1) 36874 + SendCommit(1,3,1,2) + SendCommit(1,4,1,2) + SendCommit(1,5,1,2) 36875 + SendCommit(1,6,1,2) + SendCommit(1,7,1,2) + SendCommit(1,8,1,2) 36878 + SendCommit(1,3,1,3) + SendCommit(1,4,1,3) + SendCommit(1,5,1,3) 36879 + SendCommit(1,6,1,3) + SendCommit(1,7,1,3) + SendCommit(1,8,1,3) 36882 + SendCommit(1,3,1,4) + SendCommit(1,4,1,4) + SendCommit(1,5,1,4) 36883 + SendCommit(1,6,1,4) + SendCommit(1,7,1,4) + SendCommit(1,8,1,4) 36886 + SendCommit(1,3,2,1) + SendCommit(1,4,2,1) + SendCommit(1,5,2,1) 36887 + SendCommit(1,6,2,1) + SendCommit(1,7,2,1) + SendCommit(1,8,2,1) [all …]
|
/dports/math/py-mip/mip-1.13.0/test/ |
H A D | dbft_test.py | 60 SendCommit = { 181 SendCommit[t, i, v] 202 xsum(SendCommit[t, i, v] for t in T - {1}) <= 1, 224 RecvCommit[t, i, i, v] == SendCommit[t, i, v], 318 xsum(2 * SendCommit[t, i, v] for t in T - {1}) 340 xsum(SendCommit[t, i, v] for t in T - {1}) 353 >= 1 - xsum(SendCommit[t, i, 1] for t in T - {1}), 361 - xsum(SendCommit[t, i, v] for t in T - {1}) 396 SendCommit[t, i, v] 422 xsum(SendCommit[t, i, v] for t in T - {1}) [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 359 SendCommit(true); in OnRequestFinished() 374 void IDBTransaction::SendCommit(const bool aAutoCommit) { in SendCommit() function in mozilla::dom::IDBTransaction 417 actor.SendCommit(lastRequestSerialNumber); in SendCommit() 748 SendCommit(false); in Commit() 1028 SendCommit(true); in CommitIfNotStarted()
|
H A D | IDBTransaction.h | 365 void SendCommit(bool aAutoCommit);
|
/dports/lang/spidermonkey78/firefox-78.9.0/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 360 SendCommit(true); in OnRequestFinished() 375 void IDBTransaction::SendCommit(const bool aAutoCommit) { in SendCommit() function in mozilla::dom::IDBTransaction 418 actor.SendCommit(lastRequestSerialNumber); in SendCommit() 748 SendCommit(false); in Commit() 1027 SendCommit(true); in CommitIfNotStarted()
|
H A D | IDBTransaction.h | 364 void SendCommit(bool aAutoCommit);
|
/dports/www/firefox/firefox-99.0/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 354 SendCommit(true); in OnRequestFinished() 370 void IDBTransaction::SendCommit(const bool aAutoCommit) { in SendCommit() function in mozilla::dom::IDBTransaction 413 actor.SendCommit(lastRequestSerialNumber); in SendCommit() 732 SendCommit(false); in Commit() 1012 SendCommit(true); in CommitIfNotStarted()
|
H A D | IDBTransaction.h | 334 void SendCommit(bool aAutoCommit);
|
/dports/mail/thunderbird/thunderbird-91.8.0/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 359 SendCommit(true); in OnRequestFinished() 374 void IDBTransaction::SendCommit(const bool aAutoCommit) { in SendCommit() function in mozilla::dom::IDBTransaction 417 actor.SendCommit(lastRequestSerialNumber); in SendCommit() 748 SendCommit(false); in Commit() 1028 SendCommit(true); in CommitIfNotStarted()
|
H A D | IDBTransaction.h | 365 void SendCommit(bool aAutoCommit);
|
/dports/lang/spidermonkey60/firefox-60.9.0/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 372 SendCommit(); in OnRequestFinished() 392 void IDBTransaction::SendCommit() { in SendCommit() function in mozilla::dom::IDBTransaction 411 mBackgroundActor.mVersionChangeBackgroundActor->SendCommit(); in SendCommit() 414 mBackgroundActor.mNormalBackgroundActor->SendCommit(); in SendCommit() 976 SendCommit(); in Run()
|
H A D | IDBTransaction.h | 277 void SendCommit();
|
/dports/www/firefox-legacy/firefox-52.8.0esr/dom/indexedDB/ |
H A D | IDBTransaction.cpp | 384 SendCommit(); in OnRequestFinished() 405 IDBTransaction::SendCommit() in SendCommit() function in mozilla::dom::IDBTransaction 426 mBackgroundActor.mVersionChangeBackgroundActor->SendCommit(); in SendCommit() 429 mBackgroundActor.mNormalBackgroundActor->SendCommit(); in SendCommit() 1020 SendCommit(); in Run()
|
H A D | IDBTransaction.h | 329 SendCommit();
|
/dports/net-im/tdlib/td-a53cb30e99f937cfd64e0266fa558785a184a553/td/telegram/ |
H A D | SecretChatActor.h | 232 SendCommit enumerator 308 case PfsState::SendCommit:
|
H A D | SecretChatActor.cpp | 596 case PfsState::SendCommit: { in run_pfs() 2076 CHECK(pfs_state_.state == PfsState::WaitSendCommit || pfs_state_.state == PfsState::SendCommit); in on_outbound_action() 2145 pfs_state_.state = PfsState::SendCommit; in on_inbound_action()
|
/dports/chinese/FreeWnn-server/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|
/dports/chinese/FreeWnn-lib/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|
/dports/japanese/FreeWnn-lib/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|
/dports/japanese/FreeWnn-server/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|
/dports/korean/FreeWnn-lib/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|
/dports/korean/FreeWnn-server/FreeWnn-1.1.1-a021/Xwnmo/xwnmo/ |
H A D | ximdispt.c | 3394 SendCommit (im_id, ic_id, flag, keysym, ct_str, ct_len) in SendCommit() function 4331 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupChars, (KeySym) 0, ct, ct_len); 4357 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupKeySym, keysym, (char *) NULL, 0); 4362 return SendCommit (CUR_IM_ID (), CUR_IC_ID (), XimLookupBoth, keysym, &str, 1);
|