diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-10 18:45:20 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-10 18:45:20 +0100 |
| commit | 2f75aa7dd36a718588bf40cc951d898ebd6caa82 (patch) | |
| tree | ff7700f0a47c1f8ba3a12700ad7d58bceeb5711f /src/SoftwarePipelining | |
| parent | 772ab903121839b805a49557652a4c3e1b6af0ae (diff) | |
| download | vericert-2f75aa7dd36a718588bf40cc951d898ebd6caa82.tar.gz vericert-2f75aa7dd36a718588bf40cc951d898ebd6caa82.zip | |
Fix added tr_code constructors
They did not indicate what instruction they cover. Now tr_code_call and
tr_code_instr only apply to Icall and Ireturn respectively.
Diffstat (limited to 'src/SoftwarePipelining')
0 files changed, 0 insertions, 0 deletions