directory /gcc/config/stormy16/ @ 158:494b0b89df80 default tip

name size permissions
[up] drwxr-xr-x
file constraints.md 3319 -rw-r--r--
file predicates.md 4077 -rw-r--r--
file stormy-abi 5560 -rw-r--r--
file stormy16-protos.h 2843 -rw-r--r--
file stormy16.c 78922 -rw-r--r--
file stormy16.h 11694 -rw-r--r--
file stormy16.md 36433 -rw-r--r--
file stormy16.opt 848 -rw-r--r--