diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:16:35 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:16:35 +0100 |
commit | 51a8be8db7ffe527a792b082aa66016fd2c95e3f (patch) | |
tree | b455e966832597ba071273528650c1ca85753cd4 /.gitignore | |
parent | a39b85fe1baa48e47261199971641bd71a5f0b0e (diff) | |
download | vericert-51a8be8db7ffe527a792b082aa66016fd2c95e3f.tar.gz vericert-51a8be8db7ffe527a792b082aa66016fd2c95e3f.zip |
Add "internal calls only" into translation spec
Necessary, as external calls are present in RTL, but we should not translate
them. This will need to be added as a check into the HTL translation.
Admitted in HTLgenspec for now.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions