diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-08-08 07:23:51 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-08-10 09:47:28 +0200 |
commit | cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f (patch) | |
tree | 6fced3e0d1338c78413db14acefa99ba17c0b2c7 /src/libraries.adb | |
parent | 258bbf955b78fd9838c23b1d3e36c8ce6f90f6cc (diff) | |
download | ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.gz ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.bz2 ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.zip |
Add support for --time-resolution (jit only). Fix #613
Diffstat (limited to 'src/libraries.adb')
0 files changed, 0 insertions, 0 deletions