Home
last modified time | relevance | path

Searched refs:unfold (Results 1 – 25 of 2750) sorted by relevance

12345678910>>...110

/dports/science/dynare/dynare-4.6.4/dynare++/kord/
H A Dkorder.cc115 ctraits<Storage::unfold>::Tg &
116 KOrder::g<Storage::unfold>() in g()
139 ctraits<Storage::unfold>::Tgs &
140 KOrder::gs<Storage::unfold>() in gs()
163 ctraits<Storage::unfold>::Tgss &
164 KOrder::gss<Storage::unfold>() in gss()
187 ctraits<Storage::unfold>::TG &
188 KOrder::G<Storage::unfold>() in G()
259 ctraits<Storage::unfold>::Tm &
260 KOrder::m<Storage::unfold>() in m()
[all …]
H A Dkorder_stoch.cc80 ctraits<Storage::unfold>::Tg &
81 KOrderStoch::g<Storage::unfold>() in g()
86 const ctraits<Storage::unfold>::Tg &
104 ctraits<Storage::unfold>::Tgs &
105 KOrderStoch::gs<Storage::unfold>() in gs()
110 const ctraits<Storage::unfold>::Tgs &
140 ctraits<Storage::unfold>::TG &
141 KOrderStoch::G<Storage::unfold>() in G()
146 const ctraits<Storage::unfold>::TG &
164 ctraits<Storage::unfold>::TZXstack &
[all …]
/dports/print/lilypond/lilypond-2.22.1/input/regression/
H A Dcompound-time-signatures.ly21 \repeat unfold 10 c'8 \repeat unfold 20 c16 \break
24 \repeat unfold 6 c8 \repeat unfold 12 c16 \break
27 \repeat unfold 14 c8 \repeat unfold 28 c16 \break
30 \repeat unfold 19 c8 \repeat unfold 38 c16 \break
33 \repeat unfold 10 c8 \repeat unfold 20 c16 \break
36 \repeat unfold 4 c8 \repeat unfold 8 c16 \break
39 \repeat unfold 4 c8 \repeat unfold 8 c16 \break
42 \repeat unfold 8 c8 \repeat unfold 16 c16 \break
H A Dautobeam-show-defaults.ly20 \repeat unfold 6 a8
26 \repeat unfold 2 a8
41 \repeat unfold 5 a8
53 \repeat unfold 4 a16
59 \repeat unfold 14 a8
65 \repeat unfold 6 a8
77 \repeat unfold 6 a8
95 \repeat unfold 16
101 \repeat unfold 7 a8
107 \repeat unfold 3 a8
[all …]
H A Dpage-minimal-page-breaking.ly14 \new Staff \repeat unfold 12 { c'4 }
15 \new Staff \repeat unfold 12 { c'4 }
16 \new Staff { \repeat unfold 11 { c'4 } c'_\markup \right-align "\\pageBreak" }
22 \new Staff \repeat unfold 24 { e'4 }
23 \new Staff \repeat unfold 24 { e'4 }
24 \new Staff { \repeat unfold 23 { e'4 } e'_\markup \right-align "\\noPageBreak" }
30 \new Staff \repeat unfold 12 { g'4 }
31 \new Staff \repeat unfold 12 { g'4 }
32 \new Staff \repeat unfold 12 { g'4 }
H A Dauto-beam-exceptions.ly15 \beamExceptions \repeat unfold 4 { 32[ 32 32 32] }
16 \repeat unfold 16 c32
19 \beamExceptions \repeat unfold 6 { 32[ 32 32 32] }
20 \repeat unfold 24 c32
24 \beamExceptions \repeat unfold 8 { 32[ 32 32 32] }
25 \repeat unfold 32 c32
28 \beamExceptions \repeat unfold 6 { 32[ 32 32 32] }
29 \repeat unfold 24 c32
/dports/print/lilypond-devel/lilypond-2.23.5/input/regression/
H A Dcompound-time-signatures.ly21 \repeat unfold 10 c'8 \repeat unfold 20 c16 \break
24 \repeat unfold 6 c8 \repeat unfold 12 c16 \break
27 \repeat unfold 14 c8 \repeat unfold 28 c16 \break
30 \repeat unfold 19 c8 \repeat unfold 38 c16 \break
33 \repeat unfold 10 c8 \repeat unfold 20 c16 \break
36 \repeat unfold 4 c8 \repeat unfold 8 c16 \break
39 \repeat unfold 4 c8 \repeat unfold 8 c16 \break
42 \repeat unfold 8 c8 \repeat unfold 16 c16 \break
H A Dautobeam-show-defaults.ly20 \repeat unfold 6 a8
26 \repeat unfold 2 a8
41 \repeat unfold 5 a8
53 \repeat unfold 4 a16
59 \repeat unfold 14 a8
65 \repeat unfold 6 a8
77 \repeat unfold 6 a8
95 \repeat unfold 16
101 \repeat unfold 7 a8
107 \repeat unfold 3 a8
[all …]
H A Dpage-minimal-page-breaking.ly14 \new Staff \repeat unfold 12 { c'4 }
15 \new Staff \repeat unfold 12 { c'4 }
16 \new Staff { \repeat unfold 11 { c'4 } c'_\markup \right-align "\\pageBreak" }
22 \new Staff \repeat unfold 24 { e'4 }
23 \new Staff \repeat unfold 24 { e'4 }
24 \new Staff { \repeat unfold 23 { e'4 } e'_\markup \right-align "\\noPageBreak" }
30 \new Staff \repeat unfold 12 { g'4 }
31 \new Staff \repeat unfold 12 { g'4 }
32 \new Staff \repeat unfold 12 { g'4 }
H A Dauto-beam-exceptions.ly15 \beamExceptions \repeat unfold 4 { 32[ 32 32 32] }
16 \repeat unfold 16 c32
19 \beamExceptions \repeat unfold 6 { 32[ 32 32 32] }
20 \repeat unfold 24 c32
24 \beamExceptions \repeat unfold 8 { 32[ 32 32 32] }
25 \repeat unfold 32 c32
28 \beamExceptions \repeat unfold 6 { 32[ 32 32 32] }
29 \repeat unfold 24 c32
/dports/math/abella/abella-2.0.7/examples/process-calculi/ccs/
H A Dccs_bisim_context_examples.thm9 coinduction. intros. unfold.
13 unfold. witness P1. witness P1. split.
14 unfold.
23 unfold.
33 coinduction. intros. unfold.
38 witness (repl P). split. unfold.
47 witness (repl P). split. unfold.
89 witness (repl P). split. unfold.
98 witness (repl P). split. unfold.
114 coinduction. intros. unfold.
[all …]
/dports/math/abella/abella-2.0.7/examples/process-calculi/pic_lambda/
H A Dtrans_is_bisimulation.thm30 unfold 20. exists nu (y\R1 y n1). split.
53 unfold 17. intros. unfold 17. intros.
56 unfold 20. exists par (P2 n2 n3) (par (in n2 R)
60 unfold 18. backchain str_eq_sym.
66 unfold 17. intros.
73 unfold 18. backchain str_eq_sym.
101 unfold 17. intros.
116 unfold 17. intros.
127 unfold 18. intros. search.
175 unfold 17. intros. unfold 17. intros.
[all …]
/dports/emulators/qemu60/qemu-6.0.0/roms/edk2/MdeModulePkg/Universal/RegularExpressionDxe/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/misc/broot/broot-1.7.0/cargo-crates/onig_sys-69.7.0/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/MdeModulePkg/Universal/RegularExpressionDxe/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/devel/git-delta/delta-0.9.2/cargo-crates/onig_sys-69.6.0/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/emulators/qemu/qemu-6.2.0/roms/edk2/MdeModulePkg/Universal/RegularExpressionDxe/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/emulators/qemu5/qemu-5.2.0/roms/edk2/MdeModulePkg/Universal/RegularExpressionDxe/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/onig_sys-69.7.0/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/devel/oniguruma/oniguruma-6.9.7.1/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/www/zola/zola-0.15.2/cargo-crates/onig_sys-69.7.1/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/www/xh/xh-0.14.1/cargo-crates/onig_sys-69.7.0/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/sysutils/edk2/edk2-edk2-stable202102/MdeModulePkg/Universal/RegularExpressionDxe/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/textproc/bat/bat-0.18.3/cargo-crates/onig_sys-69.6.0/oniguruma/src/
H A Dmake_unicode_fold_data.py120 unfold = int(s_unfold, 16)
144 e.unfolds.append(unfold)
148 undic[unfold] = e
175 del UNFOLDS[unfold]
338 for unfold, e in sl:
349 for unfold, e in sl:
362 for unfold, _ in sl:
374 for unfold, e in l:
380 unfolds = [unfold]
389 for unfold, e in l:
[all …]
/dports/security/s2n/s2n-tls-1.1.2/tests/saw/spec/extras/HMAC/
H A DHMAC_verif.v109 unfold bind_decl_groups.
151 unfold extend. simpl.
156 unfold strictnum.
157 unfold Z.to_nat. unfold Pos.to_nat.
158 unfold Pos.iter_op. unfold Init.Nat.add.
203 unfold extend. simpl.
208 unfold strictnum.
209 unfold Z.to_nat. unfold Pos.to_nat.
210 unfold Pos.iter_op. unfold Init.Nat.add.
240 unfold bind_decl_group.
[all …]

12345678910>>...110