75 lines
2.7 KiB
Plaintext
Executable file
75 lines
2.7 KiB
Plaintext
Executable file
V "GNAT Lib v7"
|
|
M P W=b
|
|
A -gnatwa
|
|
A -gnata
|
|
A -g
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_ALLOCATORS
|
|
RV NO_EXCEPTION_HANDLERS
|
|
RV NO_EXCEPTIONS
|
|
RV NO_IO
|
|
RV NO_IMPLICIT_CONDITIONALS
|
|
RV NO_LOCAL_ALLOCATORS
|
|
RV NO_RECURSION
|
|
RV NO_STANDARD_ALLOCATORS_AFTER_ELABORATION
|
|
RV NO_STANDARD_STORAGE_POOLS
|
|
RV NO_DEFAULT_INITIALIZATION
|
|
RV SPARK_05
|
|
|
|
U tester_listes%b tester_listes.adb eb9c3630 NE OO SU
|
|
W ada%s ada.ads ada.ali
|
|
W ada.exceptions%s a-except.adb a-except.ali
|
|
Z ada.integer_text_io%s a-inteio.ads a-inteio.ali
|
|
W ada.tags%s a-tags.adb a-tags.ali
|
|
W ada.text_io%s a-textio.adb a-textio.ali
|
|
Z ada.unchecked_deallocation%s
|
|
W listes%s listes.adb listes.ali
|
|
W system%s system.ads system.ali
|
|
W system.assertions%s s-assert.adb s-assert.ali
|
|
W system.exception_table%s s-exctab.adb s-exctab.ali
|
|
W system.standard_library%s s-stalib.adb s-stalib.ali
|
|
|
|
D ada.ads 20170106103348 76789da1 ada%s
|
|
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
|
|
D a-inteio.ads 20070406091342 f64b89a4 ada.integer_text_io%s
|
|
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
|
|
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
|
|
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
|
|
D a-textio.ads 20140717063745 386df5d4 ada.text_io%s
|
|
D a-tiinio.ads 20140717063513 aa04e5d6 ada.text_io.integer_io%s
|
|
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
|
|
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
|
|
D interfac.ads 20160502101001 5ab55268 interfaces%s
|
|
D i-cstrea.ads 20140801100435 e53d8b8e interfaces.c_streams%s
|
|
D listes.ads 20201106153924 6e6e8c16 listes%s
|
|
D listes.adb 20201106153924 43d05d9b listes%b
|
|
D system.ads 20170510173650 4635ec04 system%s
|
|
D s-assert.ads 20140225151544 cd8d2c94 system.assertions%s
|
|
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
|
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
|
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
|
|
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
|
|
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
|
|
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
|
|
D tester_listes.adb 20201106153925 bd9f4ff2 tester_listes%b
|
|
X 1 ada.ads
|
|
16K9*Ada 20e8 28|1r6 1r30
|
|
X 7 a-textio.ads
|
|
49K13*Text_IO 471e16 28|1w10 1r34
|
|
208U14*Put 28|9r43
|
|
X 13 listes.ads
|
|
4k9*Listes 97e11 28|2w6 6r21
|
|
74u19 Tester 28|9r21[5]
|
|
X 28 tester_listes.adb
|
|
4U11*Tester_Listes 4b11 12l5 12t18
|
|
5K17 Listes_Character[13|4] 7r13
|
|
8U19 Tester_Character[13|74] 11s9
|
|
|