Home
last modified time | relevance | path

Searched defs:Srec (Results 1 – 7 of 7) sorted by relevance

/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dlib-xref-spark_specific.adb918 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
928 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dlib-xref-spark_specific.adb968 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
978 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Dlib-xref-alfa.adb926 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable
936 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Dlib-xref-alfa.adb926 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable
936 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dlib-xref-spark_specific.adb968 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
978 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
/dports/devel/tigcc/tigcc-0.96.b8_10/tigcc/sources/a68k/
H A DA68kglb.h44 GLOBAL struct fs Srec; /* Object file */ variable
/dports/cad/ghdl/ghdl-1.0.0/src/synth/
H A Dsynth-oper.adb458 Srec : Memtyp; variable