Home
last modified time | relevance | path

Searched refs:tactics (Results 1 – 25 of 1346) sorted by relevance

12345678910>>...54

/dports/editors/kakoune/kakoune-2021.11.08/rc/filetype/
H A Dcoq.kak70 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 Dtactics.c390 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 Dtactics.go138 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 Dlistener_test.go73 tactics.GenerateKeys()
90 tacticsServer, err := tactics.NewServer(
H A Dapi.go261 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 Dtactics_test.go95 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 Dtactics.go138 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 Dlistener_test.go73 tactics.GenerateKeys()
90 tacticsServer, err := tactics.NewServer(
H A Dapi.go272 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 Dtactics.go152 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 Dtactics.go152 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 DREADME25 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 Dtacticals.mod3 * 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 Dprintfile148 /* 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 Dopenclonk.desktop4 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 Dtactics.go65 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 Dtactics.go62 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 Dmtrap.log33 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 Dmtrap.log33 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 DREADME.jp17 ���Υ��������֤ˤ�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 Dsmtlib_frontend.cpp82 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 Dsmtlib_frontend.cpp82 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 Dbns_hfngp_feats.lst20 …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 DLoyalist_Cavalryman.cfg20 …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 DNPC.h90 long tactics; // 0=none ; 1=side ; 2=side+back member
156 long tactics; // 0=none ; 1=side ; 2=side+back member

12345678910>>...54