diff options
author | wbpxre150 <100937007+wbpxre150@users.noreply.github.com> | 2023-04-22 16:56:35 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-22 11:56:35 +0300 |
commit | 36b4f7e06406eed8a605cc9f2921d9244ef6a8e5 (patch) | |
tree | 06a364b6fdead7c76c4c7809270944bad952706b /spm-headers | |
parent | 10f19c1121068ce3dab9bece03a8b9caaea2db36 (diff) |
llama : print timings on ctrl+c exit (#1021)
* print timings on ctrl+c exit
* remove redundant free memory call.
* add global pointer to ctx.
Diffstat (limited to 'spm-headers')
0 files changed, 0 insertions, 0 deletions