Home
last modified time | relevance | path

Searched refs:Saved_SM (Results 1 – 25 of 74) sorted by relevance

123

/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dcontracts.adb450 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
503 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
538 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
712 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
738 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1048 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dcontracts.adb450 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
503 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
538 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
712 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
738 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1048 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/
H A Dcontracts.adb450 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
503 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
538 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
712 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
738 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1048 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dcontracts.adb459 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
512 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
547 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
721 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
747 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1054 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/
H A Dcontracts.adb459 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
512 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
547 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
721 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
747 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1054 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/
H A Dcontracts.adb459 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
512 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
547 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
721 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
747 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
989 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1008 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1044 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1129 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1194 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb934 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1054 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/
H A Dcontracts.adb444 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
497 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
532 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
672 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
698 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
940 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
959 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
995 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1019 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1091 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dcontracts.adb492 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
545 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
580 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
758 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1014 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1186 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1205 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1241 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1326 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1391 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb1063 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1179 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dcontracts.adb492 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
545 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
580 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
758 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1014 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1186 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1205 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1241 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1326 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1391 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb1063 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1179 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dcontracts.adb492 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
545 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
580 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
758 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1014 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1186 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1205 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1241 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1326 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1391 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dcontracts.adb504 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
557 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
592 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
770 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1006 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1166 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1185 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1221 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1306 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
1371 Restore_SPARK_Mode (Saved_SM, Saved_SMP);
[all …]
H A Drtsfind.adb1076 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode; constant
1192 Restore_SPARK_Mode (Saved_SM, Saved_SMP);

123