/dports/editors/kakoune/kakoune-2021.11.08/rc/filetype/ |
H A D | coq.kak | 70 tactics="${tactics} assert_succeeds assumption auto autoapply" 71 tactics="${tactics} autorewrite autounfold btauto by case cbn" 72 tactics="${tactics} cbv change clear clearbody cofix compare" 73 tactics="${tactics} compute congr congruence constructor contradict" 75 tactics="${tactics} destruct discriminate do done double" 79 tactics="${tactics} instantiate intro intros intuition inversion" 80 tactics="${tactics} inversion_clear lapply lazy last move omega" 81 tactics="${tactics} pattern pose progress red refine reflexivity" 85 tactics="${tactics} simplify_eq solve specialize split start stop" 86 tactics="${tactics} subst symmetry tauto transitivity trivial try" [all …]
|
/dports/games/KnightCap/Export/ |
H A D | tactics.c | 390 return b->tactics; in eval_tactics() 433 b->tactics = ret; in eval_tactics() 452 if (b->tactics == 0) in update_tactics() 458 b->tactics = THREAT; in update_tactics() 462 if (b->tactics == THREAT) { in update_tactics() 472 if (b->tactics == -THREAT) { in update_tactics() 477 b->tactics = THREAT; in update_tactics() 490 b->tactics = -THREAT; in update_tactics() 494 if (b->tactics == -THREAT) { in update_tactics() 504 if (b->tactics == THREAT) { in update_tactics() [all …]
|
/dports/net/ooni-probe-cli/probe-cli-3.10.1/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/server/ |
H A D | tactics.go | 138 tactics, tag, err := c.support.TacticsServer.GetTacticsWithTag( 144 if tactics == nil { 155 _, err = params.Set("", false, tactics.Parameters) 237 if scope&tactics.GeoIPScopeRegion != 0 { 240 if scope&tactics.GeoIPScopeISP != 0 { 243 if scope&tactics.GeoIPScopeCity != 0 {
|
H A D | listener_test.go | 73 tactics.GenerateKeys() 90 tacticsServer, err := tactics.NewServer(
|
H A D | api.go | 261 tactics.TACTICS_METRIC_EVENT_NAME, 267 logFields[tactics.NEW_TACTICS_TAG_LOG_FIELD_NAME] = tacticsPayload.Tag 268 logFields[tactics.IS_TACTICS_REQUEST_LOG_FIELD_NAME] = false 730 {tactics.STORED_TACTICS_TAG_PARAMETER_NAME, isAnyString, requestParamOptional}, 731 {tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME, nil, requestParamOptional | requestParamJSON}, 749 tactics.TACTICS_METRIC_EVENT_NAME, 823 {tactics.APPLIED_TACTICS_TAG_PARAMETER_NAME, isAnyString, requestParamOptional}, 1057 case tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME: 1103 if expectedParam.name == tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME {
|
H A D | tactics_test.go | 95 tactics.GenerateKeys() 111 tacticsServer, err := tactics.NewServer(
|
/dports/net/ooni-mini/probe-engine-0.23.0/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/server/ |
H A D | tactics.go | 138 tactics, tag, err := c.support.TacticsServer.GetTacticsWithTag( 144 if tactics == nil { 155 _, err = params.Set("", false, tactics.Parameters) 237 if scope&tactics.GeoIPScopeRegion != 0 { 240 if scope&tactics.GeoIPScopeISP != 0 { 243 if scope&tactics.GeoIPScopeCity != 0 {
|
H A D | listener_test.go | 73 tactics.GenerateKeys() 90 tacticsServer, err := tactics.NewServer(
|
H A D | api.go | 272 tactics.TACTICS_METRIC_EVENT_NAME, 278 logFields[tactics.NEW_TACTICS_TAG_LOG_FIELD_NAME] = tacticsPayload.Tag 279 logFields[tactics.IS_TACTICS_REQUEST_LOG_FIELD_NAME] = false 747 {tactics.STORED_TACTICS_TAG_PARAMETER_NAME, isAnyString, requestParamOptional}, 748 {tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME, nil, requestParamOptional | requestParamJSON}, 766 tactics.TACTICS_METRIC_EVENT_NAME, 840 {tactics.APPLIED_TACTICS_TAG_PARAMETER_NAME, isAnyString, requestParamOptional}, 1071 case tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME: 1117 if expectedParam.name == tactics.SPEED_TEST_SAMPLES_PARAMETER_NAME {
|
/dports/net/ooni-probe-cli/probe-cli-3.10.1/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/common/tactics/ |
H A D | tactics.go | 152 package tactics package 513 tactics := defaultTactics 516 tactics = filteredTactics 522 if tactics.TTL != "" { 535 tactics.TTL = "" 539 tactics.Probability < 0.0 || 540 tactics.Probability > 1.0 { 735 if tactics == nil { 801 if tactics == nil { 810 return tactics, tag, nil [all …]
|
/dports/net/ooni-mini/probe-engine-0.23.0/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/common/tactics/ |
H A D | tactics.go | 152 package tactics package 513 tactics := defaultTactics 516 tactics = filteredTactics 522 if tactics.TTL != "" { 535 tactics.TTL = "" 539 tactics.Probability < 0.0 || 540 tactics.Probability > 1.0 { 735 if tactics == nil { 801 if tactics == nil { 810 return tactics, tag, nil [all …]
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/examples/ndprover/ |
H A D | README | 25 tactics and tacticals. 30 listmanip.mod implementation of tactics 46 ndtac.sig, Implementation of primitive tactics for a fragment of 53 tacticals.mod combining atomic proof rules (realized through tactics) 56 inter.sig, An interactive theorem prover based on the use of tactics
|
H A D | tacticals.mod | 3 * primitive tactics in a way that yields derived rules. 24 % is useful since we only need to have primitive tactics work on 38 % The next three clauses define three familar and basic tactics.
|
H A D | printfile | 148 /* File ndtac.sig, The interface file for a set of primitive tactics 187 /* File ndtac.mod. This module defines primitive tactics for a 189 complement the use of the tactics here are in the form of natural 339 combining simpler tactics into more involved ones. */ 358 primitive tactics into compound tactics. Several tacticals are 376 % is useful since we only need to have primitive tactics work on 393 % The next three clauses define three familar and basic tactics. 477 tactics and tacticals. */
|
/dports/games/openclonk/openclonk-release-8.1-src/ |
H A D | openclonk.desktop | 4 Comment=An action-packed game of strategy, tactics, and skill. 6 GenericName=Multiplayer action, tactics and skill game
|
/dports/net/ooni-probe-cli/probe-cli-3.10.1/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/ |
H A D | tactics.go | 65 tacticsRecord, err := tactics.UseStoredTactics( 172 serverEntry *protocol.ServerEntry) (*tactics.Record, error) { 252 tacticsRecord, err := tactics.FetchTactics(
|
/dports/net/ooni-mini/probe-engine-0.23.0/vendor/github.com/ooni/psiphon/oopsi/github.com/Psiphon-Labs/psiphon-tunnel-core/psiphon/ |
H A D | tactics.go | 62 tacticsRecord, err := tactics.UseStoredTactics( 164 serverEntry *protocol.ServerEntry) (*tactics.Record, error) { 244 tacticsRecord, err := tactics.FetchTactics(
|
/dports/devel/tex-web2c/texlive-20150521-source/texk/web2c/triptrap/ |
H A D | mtrap.log | 33 tactics next time. But I shall try to carry on anyway. 44 tactics next time. But I shall try to carry on anyway. 55 tactics next time. But I shall try to carry on anyway. 66 tactics next time. But I shall try to carry on anyway. 77 tactics next time. But I shall try to carry on anyway. 88 tactics next time. But I shall try to carry on anyway. 99 tactics next time. But I shall try to carry on anyway. 110 tactics next time. But I shall try to carry on anyway. 125 tactics next time. But I shall try to carry on anyway. 136 tactics next time. But I shall try to carry on anyway. [all …]
|
/dports/print/tex-basic-engines/texlive-20150521-source/texk/web2c/triptrap/ |
H A D | mtrap.log | 33 tactics next time. But I shall try to carry on anyway. 44 tactics next time. But I shall try to carry on anyway. 55 tactics next time. But I shall try to carry on anyway. 66 tactics next time. But I shall try to carry on anyway. 77 tactics next time. But I shall try to carry on anyway. 88 tactics next time. But I shall try to carry on anyway. 99 tactics next time. But I shall try to carry on anyway. 110 tactics next time. But I shall try to carry on anyway. 125 tactics next time. But I shall try to carry on anyway. 136 tactics next time. But I shall try to carry on anyway. [all …]
|
/dports/games/macopix/macopix-mascot-one-euc-ja-1.02/ |
H A D | README.jp | 17 ���Υ��������֤ˤ�Tactics(http://www.tactics.co.jp/)����� 179 ��Ͽ����Ƥ���ƥޥ����åȤ� Tactics(http://www.tactics.co.jp/)��
|
/dports/math/z3/z3-z3-4.8.13/src/shell/ |
H A D | smtlib_frontend.cpp | 82 for (auto cmd : ctx.tactics()) in help_tactics() 92 for (auto cmd : ctx.tactics()) { in help_tactic()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/shell/ |
H A D | smtlib_frontend.cpp | 82 for (auto cmd : ctx.tactics()) in help_tactics() 92 for (auto cmd : ctx.tactics()) { in help_tactic()
|
/dports/games/pcgen/pcgen/data/modern/rpg_objects/blood_and_space/high_flyers_and_ground_pounders/ |
H A D | bns_hfngp_feats.lst | 20 …euvers. For ground combat this feat covers Squad tactics. For fighters this feat covers Squadron t… 23 … a specific team DESC:You have extensive training in small unit tactics and can coordinat… 24 … DESC:You are a pilot's best friend. The effect of this feat on fighter tactics is to make wings …
|
/dports/games/wesnoth/wesnoth-1.14.17/data/core/units/humans/ |
H A D | Loyalist_Cavalryman.cfg | 20 …semen by their tactics and equipment. A cavalryman wears heavier armor, and carries a sword and sh…
|
/dports/games/arx-libertatis/arx-libertatis-1.1.2/src/game/ |
H A D | NPC.h | 90 long tactics; // 0=none ; 1=side ; 2=side+back member 156 long tactics; // 0=none ; 1=side ; 2=side+back member
|