55 lines
1.7 KiB
Plaintext
55 lines
1.7 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_FLOATING_POINT
|
|
RV SPARK_05
|
|
|
|
U system.exn_llf%b s-exnllf.adb 6c05c057 NE OL PK
|
|
W system%s system.ads system.ali
|
|
|
|
U system.exn_llf%s s-exnllf.ads 91db2be4 NE OL PU PK
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-exnllf.ads 20150526102925 bc7ebbdc system.exn_llf%s
|
|
D s-exnllf.adb 20150526102925 d07b7b8b system.exn_llf%b
|
|
X 1 system.ads
|
|
37K9*System 200e11 2|34r9 49r5 3|37r14 191r5
|
|
X 2 s-exnllf.ads
|
|
34K16*Exn_LLF 1|37k9 2|49l12 49e19 3|37b21 191l12 191t19
|
|
37V13*Exn_Float{float} 38>7 39>7 3|48b13 71l8 71t17
|
|
38f7 Left{float} 3|49b7 58r20 60r35 60r42 62r35 62r42 62r49 64r36 64r43 69r47
|
|
39i7 Right{integer} 3|50b7 54r12 69r54
|
|
41V13*Exn_Long_Float{long_float} 42>7 43>7 3|77b13 100l8 100t22
|
|
42f7 Left{long_float} 3|78b7 87r20 89r40 89r47 91r40 91r47 91r54 93r41 93r48
|
|
. 98r52
|
|
43i7 Right{integer} 3|79b7 83r12 98r59
|
|
45V13*Exn_Long_Long_Float{long_long_float} 46>7 47>7 3|106b13 127l8 127t27
|
|
46f7 Left{long_long_float} 3|107b7 116r20 118r20 118r27 120r20 120r27 120r34
|
|
. 122r21 122r28 125r25
|
|
47i7 Right{integer} 3|108b7 112r12 125r31
|
|
X 3 s-exnllf.adb
|
|
39V13 Exp{long_long_float} 40>7 41>7 69s25 98s30 125s20 133b13 189l8 189t11
|
|
40f7 Left{long_long_float} 134b7 138r35
|
|
41i7 Right{integer} 135b7 139r27
|
|
52f7 Temp{float} 64m13 65r35 65r42
|
|
81f7 Temp{long_float} 93m13 94r40 94r47
|
|
110f7 Temp{long_long_float} 122m13 123r20 123r27
|
|
137f7 Result{long_long_float} 151m16 151r26 159r17 178m19 178r29 186r26
|
|
138f7 Factor{long_long_float} 151r35 156m13 156r23 156r32 178r38 183m16 183r26
|
|
. 183r35
|
|
139i7 Exp{integer} 148r10 150r16 154m13 154r20 155r23 177r19 181m16 181r23
|
|
. 182r26
|
|
|