Home
last modified time | relevance | path

Searched refs:demo2 (Results 1 – 25 of 905) sorted by relevance

12345678910>>...37

/dports/cad/yosys/yosys-yosys-0.12/examples/smtbmc/
H A DMakefile2 all: demo1 demo2 demo3 demo4 demo5 demo6 demo7 demo8 demo9
8 demo2: demo2.smt2 target
9 yosys-smtbmc -g --dump-vcd demo2.vcd --dump-smtc demo2.smtc --dump-vlogtb demo2_tb.v demo2.smt2
10 iverilog -g2012 -o demo2_tb demo2_tb.v demo2.v
37 demo2.smt2: demo2.v
38 …yosys -ql demo2.yslog -p 'read_verilog -formal demo2.v; prep -top demo2 -nordff; write_smt2 -wires…
63 rm -f demo2.yslog demo2.smt2 demo2.vcd demo2.smtc demo2_tb.v demo2_tb demo2_tb.vcd
72 .PHONY: demo1 demo2 demo3 demo4 demo5 demo6 demo7 demo8 demo9 clean
H A D.gitignore3 demo2.smt2
4 demo2.smtc
5 demo2.vcd
6 demo2.yslog
/dports/games/uhexen2/hw/
H A Dmapcycle.cfg3 // demo2 -> romeric5 -> village2 -> meso3 -> back to demo2
4 // Start hwsv like: hwsv +exec mapcycle.cfg +map demo2
5 localinfo demo2 romeric5
8 localinfo meso3 demo2
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/rust-2021/
H A Dreserved-prefixes.stderr17 LL | demo2!(foo"bar");
23 LL - demo2!(foo"bar");
24 LL + demo2!(foo "bar");
30 LL | demo2!(foo'b');
36 LL - demo2!(foo'b');
37 LL + demo2!(foo 'b');
43 LL | demo2!(foo'b);
49 LL - demo2!(foo'b);
50 LL + demo2!(foo 'b);
H A Dreserved-prefixes.rs3 macro_rules! demo2 { macro
17 demo2!(foo"bar"); //~ ERROR prefix `foo` is unknown in main()
18 demo2!(foo'b'); //~ ERROR prefix `foo` is unknown in main()
20 demo2!(foo'b); //~ ERROR prefix `foo` is unknown in main()
/dports/devel/py-pyxb/PyXB-1.2.6/examples/manual/
H A Dtest.sh13 sh demo2.sh || fail building demo2
14 python demo2.py > demo2.out || fail running demo2
15 cat demo2.out
16 cmp demo2.out demo.expected || fail demo2 output check
/dports/lang/racket/racket-8.3/src/io/logger/
H A Ddemo.rkt21 (define demo2-logger (make-logger 'demo2 root-logger 'fatal))
24 (log-message demo2-logger 'error "this should not print to stderr" 5)
27 (test 'fatal (log-max-level demo2-logger))
32 (test 'fatal (log-max-level demo2-logger))
35 (test 'fatal (log-max-level demo2-logger 'cats))
38 (test 'fatal (log-max-level demo2-logger 'dogs))
/dports/lang/racket-minimal/racket-8.3/src/io/logger/
H A Ddemo.rkt21 (define demo2-logger (make-logger 'demo2 root-logger 'fatal))
24 (log-message demo2-logger 'error "this should not print to stderr" 5)
27 (test 'fatal (log-max-level demo2-logger))
32 (test 'fatal (log-max-level demo2-logger))
35 (test 'fatal (log-max-level demo2-logger 'cats))
38 (test 'fatal (log-max-level demo2-logger 'dogs))
/dports/games/odamex/odamex-src-0.7.0/tests/
H A DDEMOLIST11 doom.wad . demo2 {1bc6ae60 438895e 7f1dbc9 0}
14 doom1.wad {} demo2 {a03d799f ff712553 faefd800 300000}
17 tnt.wad . demo2 {5f185e20 3e3ebc feabc980 0}
20 plutonia.wad . demo2 {45fc0d70 fc87bb74 ffd7f638 0}
23 chex.wad {chex.deh} demo2 {f20c95a0 c5e5998 4b6c7bb 2580000}
65 doom2.wad icarus demo2 {7d3d29af 6b46c5f 41e6f04 fc000000}
68 doom2.wad mm2 demo2 {c000000 46b21f1 45b3376 0}
71 doom2.wad requiem demo2 {df000000 ab2f620 73271e4 ffb80000}
74 doom2.wad gothicdm demo2 {cc000000 f7e73f0d 7ba7453 1000000}
82 doom2.wad av.wad demo2 {f68b6b80 fca9568d f7de99be ffba0000}
[all …]
/dports/x11/libsx/libsx/demo2/
H A Dmakefile8 demo2 : $(OBJS) target
9 $(CC) -o demo2 $(OBJS) $(LIBS)
19 rm -f *.o *~ core demo2
/dports/devel/gitlab-runner/gitlab-runner-8925d9a06fd8e452e2161a768462652a2a13111f/vendor/github.com/docker/cli/cli-20.10.2/docs/reference/commandline/
H A Dtrust_signer_remove.md95 $ docker trust inspect --pretty example/trust-demo2
106 Administrative keys for example/trust-demo2:
114 $ docker trust signer remove alice example/trust-demo example/trust-demo2
120 Removing signer "alice" from image example/trust-demo2...
122 Successfully removed alice from example/trust-demo2
126 signer of either `example/trust-demo` or `example/trust-demo2`:
145 $ docker trust inspect --pretty example/trust-demo2
155 Administrative keys for example/trust-demo2:
H A Dtrust_signer_add.md132 $ docker trust inspect --pretty example/trust-demo2
142 Administrative keys for example/trust-demo2:
149 $ docker trust signer add alice example/trust-demo example/trust-demo2 --key alice.crt
155 Adding signer "alice" to example/trust-demo2...
157 Successfully added signer: alice to example/trust-demo2
160 …pretty` now lists `alice` as a valid signer of both `example/trust-demo` and `example/trust-demo2`:
181 $ docker trust inspect --pretty example/trust-demo2
192 Administrative keys for example/trust-demo2:
/dports/sysutils/helm/helm-3.5.2/vendor/github.com/docker/cli/docs/reference/commandline/
H A Dtrust_signer_remove.md95 $ docker trust inspect --pretty example/trust-demo2
106 Administrative keys for example/trust-demo2:
114 $ docker trust signer remove alice example/trust-demo example/trust-demo2
120 Removing signer "alice" from image example/trust-demo2...
122 Successfully removed alice from example/trust-demo2
126 signer of either `example/trust-demo` or `example/trust-demo2`:
145 $ docker trust inspect --pretty example/trust-demo2
155 Administrative keys for example/trust-demo2:
H A Dtrust_signer_add.md132 $ docker trust inspect --pretty example/trust-demo2
142 Administrative keys for example/trust-demo2:
149 $ docker trust signer add alice example/trust-demo example/trust-demo2 --key alice.crt
155 Adding signer "alice" to example/trust-demo2...
157 Successfully added signer: alice to example/trust-demo2
160 …pretty` now lists `alice` as a valid signer of both `example/trust-demo` and `example/trust-demo2`:
181 $ docker trust inspect --pretty example/trust-demo2
192 Administrative keys for example/trust-demo2:
/dports/sysutils/docker/docker-ce-18.09.5/components/cli/docs/reference/commandline/
H A Dtrust_signer_remove.md103 $ docker trust view example/trust-demo2
113 Administrative keys for example/trust-demo2:
120 $ docker trust signer remove alice example/trust-demo example/trust-demo2
125 Removing signer "alice" from image example/trust-demo2...
127 Successfully removed alice from example/trust-demo2
129 … no longer lists `alice` as a valid signer of either `example/trust-demo` or `example/trust-demo2`:
145 $ docker trust view example/trust-demo2
154 Administrative keys for example/trust-demo2:
/dports/x11/libsx/libsx/
H A DMakefile17 DIRS = src demo1 demo2 demo3 demo4 bezier frac freq creq multireq skel\
28 demo2:: target
29 (cd demo2 ; $(MAKE) )
/dports/x11/libsx/libsx/src/
H A Dmakefile26 all : libsx.a demo demo2
37 demo2 : main2.o libsx.a target
38 $(CC) -o demo2 main2.o $(LIBS)
77 rm -f *.o *~ core demo demo2 libsx.a
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/envoyproxy/go-control-plane/examples/dyplomat/terraform/eks/
H A Deks-cluster-2.tf70 cluster_name = aws_eks_cluster.demo2.name
94 value = "${aws_eks_cluster.demo2.endpoint}"
98 value = "${aws_eks_cluster.demo2.certificate_authority.0.data}"
/dports/www/gohugo/hugo-0.91.2/vendor/github.com/envoyproxy/go-control-plane/examples/dyplomat/terraform/eks/
H A Deks-cluster-2.tf70 cluster_name = aws_eks_cluster.demo2.name
94 value = "${aws_eks_cluster.demo2.endpoint}"
98 value = "${aws_eks_cluster.demo2.certificate_authority.0.data}"
/dports/www/tusd/tusd-1.8.0/vendor/github.com/envoyproxy/go-control-plane/examples/dyplomat/terraform/eks/
H A Deks-cluster-2.tf70 cluster_name = aws_eks_cluster.demo2.name
94 value = "${aws_eks_cluster.demo2.endpoint}"
98 value = "${aws_eks_cluster.demo2.certificate_authority.0.data}"
/dports/net/grpcurl/grpcurl-1.8.5/vendor/github.com/envoyproxy/go-control-plane/examples/dyplomat/terraform/eks/
H A Deks-cluster-2.tf70 cluster_name = aws_eks_cluster.demo2.name
94 value = "${aws_eks_cluster.demo2.endpoint}"
98 value = "${aws_eks_cluster.demo2.certificate_authority.0.data}"
/dports/math/plplot-ada/plplot-5.15.0/examples/ada/
H A Dxstandard02a.adb93 procedure demo2 is subprogram
147 end demo2;
158 demo2;
H A Dxtraditional02a.adb93 procedure demo2 is subprogram
149 end demo2;
160 demo2;
/dports/math/plplot/plplot-5.15.0/examples/ada/
H A Dxstandard02a.adb93 procedure demo2 is subprogram
147 end demo2;
158 demo2;
H A Dxtraditional02a.adb93 procedure demo2 is subprogram
149 end demo2;
160 demo2;

12345678910>>...37