/dports/math/abella/abella-2.0.7/examples/process-calculi/pic/ |
H A D | pic_bisim.thm | 35 clear Right1 Right2 Right3 Right4 Right5 Right6. 50 clear Right1 Right2 Right3 Right4 Right5 Right6. 71 clear Right1 Right2 Right3 Right4 Right5 Right6. 81 Right1 : case Right. Sstep : apply Right4 to *Qstep. 82 clear Right1 Right2 Right3 Right4 Right5 Right6. 97 clear Right1 Right2 Right3 Right4 Right5 Right6. 118 clear Right1 Right2 Right3 Right4 Right5 Right6.
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 407 struct Right4 { struct 409 Right4() = default; argument 410 Right4(int) : y(43) {} in Right4() function 413 class MultipleInheritanceTest4 : public Left4, public Right4 { 419 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 410 struct Right4 { struct 412 Right4() = default; argument 413 Right4(int) : y(43) {} in Right4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Lanier/PS/ |
H A D | Lanier-LP550C_SPC821DN_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
H A D | Lanier-LP540C_SPC820DN_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Savin/PS/ |
H A D | Savin-CLP350D_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
H A D | Savin-CLP340D_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Gestetner/PS/ |
H A D | Gestetner-C8140ND_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
H A D | Gestetner-C8150ND_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/NRG/PS/ |
H A D | NRG-SP_C821DN_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|
H A D | NRG-SP_C820DN_PS.ppd | 930 *RIPunch Right4/4 at right: "<< /Punch 2 2370 *UIConstraints: *MediaType Labels *RIPunch Right4 2380 *UIConstraints: *MediaType Coated *RIPunch Right4 2400 *UIConstraints: *MediaType OHP *RIPunch Right4 2410 *UIConstraints: *MediaType Thick *RIPunch Right4 2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4 2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4 2440 *UIConstraints: *MediaType Glossy *RIPunch Right4 2490 *UIConstraints: *RIPunch Right4 *MediaType Labels 2520 *UIConstraints: *RIPunch Right4 *MediaType OHP [all …]
|