/dports/cad/yosys/yosys-yosys-0.12/examples/smtbmc/ |
H A D | Makefile | 2 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 | .gitignore | 3 demo2.smt2 4 demo2.smtc 5 demo2.vcd 6 demo2.yslog
|
/dports/games/uhexen2/hw/ |
H A D | mapcycle.cfg | 3 // 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 D | reserved-prefixes.stderr | 17 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 D | reserved-prefixes.rs | 3 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 D | test.sh | 13 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 D | demo.rkt | 21 (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 D | demo.rkt | 21 (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 D | DEMOLIST | 11 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 D | makefile | 8 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 D | trust_signer_remove.md | 95 $ 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 D | trust_signer_add.md | 132 $ 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 D | trust_signer_remove.md | 95 $ 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 D | trust_signer_add.md | 132 $ 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 D | trust_signer_remove.md | 103 $ 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 D | Makefile | 17 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 D | makefile | 26 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 D | eks-cluster-2.tf | 70 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 D | eks-cluster-2.tf | 70 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 D | eks-cluster-2.tf | 70 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 D | eks-cluster-2.tf | 70 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 D | xstandard02a.adb | 93 procedure demo2 is subprogram 147 end demo2; 158 demo2;
|
H A D | xtraditional02a.adb | 93 procedure demo2 is subprogram 149 end demo2; 160 demo2;
|
/dports/math/plplot/plplot-5.15.0/examples/ada/ |
H A D | xstandard02a.adb | 93 procedure demo2 is subprogram 147 end demo2; 158 demo2;
|
H A D | xtraditional02a.adb | 93 procedure demo2 is subprogram 149 end demo2; 160 demo2;
|