Home
last modified time | relevance | path

Searched refs:Globally (Results 1 – 25 of 1914) sorted by relevance

12345678910>>...77

/dports/devel/spin/Spin-version-6.5.0/Examples/LTL/
H A Dpatterns.pml5 /* Globally */ ltl a1 { [](!P) }
12 /* Globally */ ltl e1 { <>(P) }
21 /* Globally */ ltl be1 { (!P W (P W (!P W (P W []!P)))) }
31 /* Globally */ ltl u1 { [](P) }
38 /* Globally */ ltl p1 { !P W S }
45 /* Globally */ ltl r1 { [](P -> <>S) }
52 /* Globally */ ltl pc1 { <>P -> (!P U (S && !P && X(!P U T))) }
59 /* Globally */ ltl pc6 { (<>(S && X<>T) -> ((!S) U P)) }
66 /* Globally */ ltl rc1 { [] (S && X<> T -> X(<>(T && <> P))) }
73 /* Globally */ ltl rc6 { [] (P -> <>(S && X<>T)) }
[all …]
/dports/devel/gh/cli-2.4.0/vendor/github.com/microcosm-cc/bluemonday/
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
209 …("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
212 p.AllowStyles("background-origin").Globally()
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/net-im/tut/tut-0.0.17/vendor/github.com/microcosm-cc/bluemonday/
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
209 …("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
212 p.AllowStyles("background-origin").Globally()
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/sysutils/chezmoi/chezmoi-2.9.3/vendor/github.com/microcosm-cc/bluemonday/
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
209 …("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
212 p.AllowStyles("background-origin").Globally()
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/www/writefreely/writefreely-0.13.1/vendor/github.com/microcosm-cc/bluemonday/
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
209 …("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
212 p.AllowStyles("background-origin").Globally()
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/multimedia/navidrome/navidrome-0.40.0/vendor/github.com/microcosm-cc/bluemonday/
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
209 …("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
212 p.AllowStyles("background-origin").Globally()
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/www/gitea/gitea-1.16.5/vendor/github.com/microcosm-cc/bluemonday/
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
/dports/sysutils/glow/glow-0.2.0/vendor/github.com/microcosm-cc/bluemonday/
H A Dhelpers.go148 p.AllowAttrs("dir").Matching(Direction).Globally()
151 ).Matching(regexp.MustCompile(`[a-zA-Z]{2,20}`)).Globally()
160 ).Globally()
163 p.AllowAttrs("title").Matching(Paragraph).Globally()
173 p.AllowAttrs("class").Matching(SpaceSeparatedTokens).Globally()
H A Dexample_test.go51 p.AllowAttrs("dir").Globally()
60 …AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
182 p.AllowAttrs("title").Matching(bluemonday.Paragraph).Globally()
/dports/devel/binaryen/binaryen-version_98/src/
H A Dwasm-validator.h55 Globally = 1 << 1, enumerator
60 bool validate(Module& module, Flags flags = Globally);
/dports/net/gnu-dico/dico-2.10/dicod/tests/
H A Dvis01.at38 description "Globally-visible database";
69 A "Globally-visible database"
75 A "Globally-visible database"
/dports/www/writefreely/writefreely-0.13.1/vendor/github.com/writeas/web-core/posts/
H A Drender.go34 policy.AllowAttrs("class", "id").Globally()
57 policy.AllowAttrs("class", "id").Globally()
/dports/irc/smuxi/smuxi-1.1/lib/db4o-net/Db4objects.Db4o/Db4objects.Db4o/Config/
H A DConfigScope.cs45 …public static readonly Db4objects.Db4o.Config.ConfigScope Globally = new Db4objects.Db4o.Config.Co… field in Db4objects.Db4o.Config.ConfigScope
128 return Globally; in ReadResolve()
/dports/devel/p5-Data-UUID/Data-UUID-1.226/
H A DREADME4 Data::UUID - Perl extension for generating Globally/Universally
8 Identifiers, also known as GUIDs (Globally Unique Identifiers). A UUID is
/dports/science/axom/axom-0.6.1/scripts/spack/configs/darwin/
H A Dpackages.yaml75 # Globally lock in version of CMake
79 # Globally lock version of third party libraries
/dports/net-mgmt/nsca-ng-client/nsca-ng-1.6/contrib/
H A DREADME29 Globally disables host and service notifications using `send_nsca(8)`.
48 Globally enables host and service notifications using `send_nsca(8)`.
/dports/net-mgmt/nsca-ng/nsca-ng-1.6/contrib/
H A DREADME29 Globally disables host and service notifications using `send_nsca(8)`.
48 Globally enables host and service notifications using `send_nsca(8)`.
/dports/devel/py-dtfabric/dtfabric-20200621/test_data/
H A Duuid.yaml4 description: Globally or Universal unique identifier (GUID or UUID) type
/dports/audio/vst3sdk/vst3sdk-3.7.1_build_50-1-g8199057/doc/base/
H A Dinherit_graph_2.map2 <area shape="rect" id="node1" href="$classSteinberg_1_1FUID.html" title="Handling 16 Byte Globally …
/dports/net-mgmt/netdisco-mibs/netdisco-mibs-4.010/huawei/
H A Dhuawei-detect-engine-mib.mib64 … "Globally enable or disable the detect-engine for oam. If the hwDetectEngineOAMEnable is 1,
75 … "Globally enable or disable the detect-engine for nqa-rtp. If the hwDetectEngineNQAEnable

12345678910>>...77