Home
last modified time | relevance | path

Searched refs:SendCommit (Results 1 – 22 of 22) sorted by relevance

/dports/math/py-mip/mip-1.13.0/test/data/
H A Dbft.lp36870 + 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 Ddbft_test.py60 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 DIDBTransaction.cpp359 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 DIDBTransaction.h365 void SendCommit(bool aAutoCommit);
/dports/lang/spidermonkey78/firefox-78.9.0/dom/indexedDB/
H A DIDBTransaction.cpp360 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 DIDBTransaction.h364 void SendCommit(bool aAutoCommit);
/dports/www/firefox/firefox-99.0/dom/indexedDB/
H A DIDBTransaction.cpp354 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 DIDBTransaction.h334 void SendCommit(bool aAutoCommit);
/dports/mail/thunderbird/thunderbird-91.8.0/dom/indexedDB/
H A DIDBTransaction.cpp359 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 DIDBTransaction.h365 void SendCommit(bool aAutoCommit);
/dports/lang/spidermonkey60/firefox-60.9.0/dom/indexedDB/
H A DIDBTransaction.cpp372 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 DIDBTransaction.h277 void SendCommit();
/dports/www/firefox-legacy/firefox-52.8.0esr/dom/indexedDB/
H A DIDBTransaction.cpp384 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 DIDBTransaction.h329 SendCommit();
/dports/net-im/tdlib/td-a53cb30e99f937cfd64e0266fa558785a184a553/td/telegram/
H A DSecretChatActor.h232 SendCommit enumerator
308 case PfsState::SendCommit:
H A DSecretChatActor.cpp596 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 Dximdispt.c3394 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 Dximdispt.c3394 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 Dximdispt.c3394 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 Dximdispt.c3394 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 Dximdispt.c3394 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 Dximdispt.c3394 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);