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