diff options
author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-04-06 19:45:43 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-08 20:22:42 +0200 |
commit | 8ba693433eec6f496d72361d8075573b47333ad1 (patch) | |
tree | 49e01cb6b20cdc2f2de5cd275cecf50ab461d73e /src/grt/grt-rtis_addr.adb | |
parent | f5a7ce7b355b553e12365c247b68cc19b3f3123d (diff) | |
download | ghdl-8ba693433eec6f496d72361d8075573b47333ad1.tar.gz ghdl-8ba693433eec6f496d72361d8075573b47333ad1.tar.bz2 ghdl-8ba693433eec6f496d72361d8075573b47333ad1.zip |
src: Define PSL type RTI with simplified assertion state.
Diffstat (limited to 'src/grt/grt-rtis_addr.adb')
0 files changed, 0 insertions, 0 deletions