| /dports/math/cvc4/CVC4-1.7/proofs/signatures/ |
| H A D | ex_bv.plf | 7 …(BitVec 4) (a_var_bv _ a) (bvand 4 (a_var_bv 4 b) (a_bv _ (bvc b0 (bvc b0 (bvc b0 (bvc b0 (bvc b0 …
8 (% f3 (th_holds (= (BitVec 4) (a_var_bv _ b) (a_bv _ (bvc b1 (bvc b1 (bvc b1 (bvc b1 (bvc b1 bvn)))…
13 ;; (decl_bv_term_const _ (bvc b0 (bvc b0 (bvc b0 (bvc b0 (bvc b0 bvn))))) (\ c (\ ba3
14 ;; (decl_bv_term_const _ (bvc b1 (bvc b1 (bvc b1 (bvc b1 (bvc b1 bvn))))) (\ d (\ ba4
22 (decl_bblast _ _ _ (bv_bbl_const 4 _ (bvc b0 (bvc b0 (bvc b0 (bvc b0 bvn))))) (\ bt3
23 (decl_bblast _ _ _ (bv_bbl_const 4 _ (bvc b1 (bvc b1 (bvc b1 (bvc b1 bvn))))) (\ bt4
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/ui/main/ |
| H A D | bvc_container_view_controller.mm | 24 - (void)setCurrentBVC:(UIViewController*)bvc {
25 DCHECK(bvc);
26 if (self.currentBVC == bvc) {
30 // Remove the current bvc, if any.
41 [self addChildViewController:bvc];
42 bvc.view.frame = self.view.bounds;
43 [self.view addSubview:bvc.view];
44 [bvc didMoveToParentViewController:self];
52 DCHECK(self.currentBVC == bvc);
|
| /dports/devel/asl/asl-current/tests/t_65ce02/ |
| H A D | t_65ce02.asm | 104 bvc *+20
105 bvc *+200
106 bvc <*+20
107 bvc >*+20
108 ;bvc <*+200
109 bvc >*+200
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/sim/testsuite/sim/arm/thumb/ |
| H A D | bvc.cgs | 1 # arm testcase for bvc $soffset8
8 .global bvc
9 bvc:
10 bvc footext
|
| /dports/devel/avr-gdb/gdb-7.3.1/sim/testsuite/sim/arm/thumb/ |
| H A D | bvc.cgs | 1 # arm testcase for bvc $soffset8
8 .global bvc
9 bvc:
10 bvc footext
|
| /dports/devel/gdb761/gdb-7.6.1/sim/testsuite/sim/arm/thumb/ |
| H A D | bvc.cgs | 1 # arm testcase for bvc $soffset8
8 .global bvc
9 bvc:
10 bvc footext
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gdb/sim/testsuite/sim/arm/thumb/ |
| H A D | bvc.cgs | 1 # arm testcase for bvc $soffset8
8 .global bvc
9 bvc:
10 bvc footext
|
| /dports/devel/binutils/binutils-2.37/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/devel/djgpp-binutils/binutils-2.17/gas/testsuite/gas/cris/ |
| H A D | branch.s | 38 bvc start
60 bvc startm16
84 bvc startm16
110 bvc startm32
135 bvc startm32
161 bvc endp32
186 bvc endp32
211 bvc endp16
236 bvc endp16
260 bvc end
|
| /dports/science/quantum-espresso/q-e-qe-6.7.0/GWW/simple_bse/ |
| H A D | hamiltonian.f90 | 26 COMPLEX(kind=DP), ALLOCATABLE :: bvc(:,:),bvc_t(:,:) local
73 allocate(bvc(pm%numv,pm%numc))
85 bvc=(0.d0,0.d0)
141 bvc(iv,ic)=bvc(iv,ic)+bvc_t(ic,iv)
145 call mp_sum(bvc,world_comm)
151 &bvc(1:pm%numv,1:pm%numc)
158 deallocate(hmat,imat,bvc)
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/MC/M68k/Control/Classes/ |
| H A D | MxBcc.s | 21 ; CHECK: bvc $1
23 bvc $1 label
64 ; CHECK: bvc $3fc
66 bvc $3fc label
|
| /dports/audio/zynaddsubfx/zynaddsubfx-3.0.6-rc5/src/UI/ |
| H A D | BankView.cpp | 183 BankViewControls *bvc = (BankViewControls*)v; in modeButtonCb() local
184 bvc->mode(modeCb(w->label())); in modeButtonCb()
229 bvc(NULL), slots{0}, nselected(-1), npart(0), cbwig_(0) in BankView()
246 bvc = bvc_; in init()
296 const int mode = bvc->mode(); in react()
323 bvc->mode(1); in react()
334 bvc->mode(1); in react()
|
| /dports/devel/cc65/cc65-2.19/asminc/ |
| H A D | longbranch.mac | 69 bvc *+5
74 bvc *+5
83 bvc Target
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/m68hc11/ |
| H A D | branchs12.s | 25 bvc L1
45 bvc L0
85 bvc undefined
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/m68hc11/ |
| H A D | branchs12.s | 25 bvc L1
45 bvc L0
85 bvc undefined
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/m68hc11/ |
| H A D | branchs12.s | 25 bvc L1
45 bvc L0
85 bvc undefined
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/m68hc11/ |
| H A D | branchs12.s | 25 bvc L1
45 bvc L0
85 bvc undefined
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/m68hc11/ |
| H A D | branchs12.s | 25 bvc L1
45 bvc L0
85 bvc undefined
|