Home
last modified time | relevance | path

Searched refs:Range_Shifted (Results 1 – 25 of 136) sorted by relevance

123456

/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
H A Da-cofove.ads328 M.Range_Shifted
337 and M.Range_Shifted
370 and M.Range_Shifted
411 and M.Range_Shifted
434 and M.Range_Shifted
453 and M.Range_Shifted
480 and M.Range_Shifted
565 and M.Range_Shifted
604 and M.Range_Shifted
619 and M.Range_Shifted
[all …]
H A Da-cfinve.ads334 M.Range_Shifted
343 and M.Range_Shifted
376 and M.Range_Shifted
417 and M.Range_Shifted
440 and M.Range_Shifted
459 and M.Range_Shifted
486 and M.Range_Shifted
571 and M.Range_Shifted
610 and M.Range_Shifted
625 and M.Range_Shifted
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
H A Da-cofove.ads328 M.Range_Shifted
337 and M.Range_Shifted
370 and M.Range_Shifted
411 and M.Range_Shifted
434 and M.Range_Shifted
453 and M.Range_Shifted
480 and M.Range_Shifted
565 and M.Range_Shifted
604 and M.Range_Shifted
619 and M.Range_Shifted
[all …]
H A Da-cfinve.ads333 M.Range_Shifted
342 and M.Range_Shifted
375 and M.Range_Shifted
416 and M.Range_Shifted
439 and M.Range_Shifted
458 and M.Range_Shifted
485 and M.Range_Shifted
570 and M.Range_Shifted
609 and M.Range_Shifted
624 and M.Range_Shifted
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
H A Da-cofove.ads328 M.Range_Shifted
337 and M.Range_Shifted
370 and M.Range_Shifted
411 and M.Range_Shifted
434 and M.Range_Shifted
453 and M.Range_Shifted
480 and M.Range_Shifted
565 and M.Range_Shifted
604 and M.Range_Shifted
619 and M.Range_Shifted
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/
H A Da-cofuve.ads216 function Range_Shifted subprogspec
240 Range_Shifted'Result =
250 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
308 and then Range_Shifted
331 and then Range_Shifted
H A Da-cfinve.ads334 M.Range_Shifted
343 and M.Range_Shifted
376 and M.Range_Shifted
417 and M.Range_Shifted
440 and M.Range_Shifted
459 and M.Range_Shifted
486 and M.Range_Shifted
571 and M.Range_Shifted
610 and M.Range_Shifted
625 and M.Range_Shifted
[all …]
H A Da-cofove.ads313 M.Range_Shifted
322 and M.Range_Shifted
355 and M.Range_Shifted
396 and M.Range_Shifted
419 and M.Range_Shifted
438 and M.Range_Shifted
465 and M.Range_Shifted
550 and M.Range_Shifted
589 and M.Range_Shifted
604 and M.Range_Shifted
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/
H A Da-cofuve.ads217 function Range_Shifted subprogspec
241 Range_Shifted'Result =
251 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
309 and then Range_Shifted
332 and then Range_Shifted
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/
H A Da-cofuve.ads216 function Range_Shifted subprogspec
240 Range_Shifted'Result =
250 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
308 and then Range_Shifted
331 and then Range_Shifted
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/
H A Da-cofuve.ads217 function Range_Shifted subprogspec
241 Range_Shifted'Result =
251 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
309 and then Range_Shifted
332 and then Range_Shifted
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
H A Da-cfinve.ads334 M.Range_Shifted
343 and M.Range_Shifted
376 and M.Range_Shifted
417 and M.Range_Shifted
440 and M.Range_Shifted
459 and M.Range_Shifted
486 and M.Range_Shifted
571 and M.Range_Shifted
610 and M.Range_Shifted
625 and M.Range_Shifted
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/
H A Da-cofuve.ads217 function Range_Shifted subprogspec
241 Range_Shifted'Result =
251 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
309 and then Range_Shifted
332 and then Range_Shifted
/dports/lang/gcc9-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly5.5/9.1.0/adainclude/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/
H A Da-cofuve.ads216 function Range_Shifted subprogspec
240 Range_Shifted'Result =
250 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
308 and then Range_Shifted
331 and then Range_Shifted
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/
H A Da-cofuve.ads217 function Range_Shifted
241 Range_Shifted'Result =
251 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
309 and then Range_Shifted
332 and then Range_Shifted
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/libgnat/
H A Da-cofuve.ads215 function Range_Shifted subprogspec
239 Range_Shifted'Result =
249 pragma Annotate (GNATprove, Inline_For_Proof, Range_Shifted);
307 and then Range_Shifted
330 and then Range_Shifted

123456