diff options
| author | Robert Norton | 2018-03-14 18:02:10 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 18:04:09 +0000 |
| commit | 7aef4970c36b45f50dc61d66353dc759b438e706 (patch) | |
| tree | ca5399a81d8019975778dc14c66fbfbf6daa52d0 /src/reporting_basic.ml | |
| parent | 26c7468c15c15424535afebc12e995a3a746476f (diff) | |
Add and use execute_branch and execute_branch_pcc functions to align code with existing MIPS and CHERI specs.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions