diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-19 14:45:57 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-19 15:00:40 +0100 |
commit | 74827ee343904cb5d2a5143daf3a79dfd23a6756 (patch) | |
tree | cf8e424439ca1a038b7bad82c5f5cd65fbf9a6b2 /src/hls/PrintHTL.ml | |
parent | 9bccd4a26cc9d04536ddba46b3e161eaaa422bf2 (diff) | |
download | vericert-74827ee343904cb5d2a5143daf3a79dfd23a6756.tar.gz vericert-74827ee343904cb5d2a5143daf3a79dfd23a6756.zip |
[WIP] Re-implement translation of calls.
Add an explicit map of local HTL registers to control signals and params
of other modules, used to implement calls.
Diffstat (limited to 'src/hls/PrintHTL.ml')
0 files changed, 0 insertions, 0 deletions