diff options
author | Erik Scholz <Green-Sky@users.noreply.github.com> | 2023-03-19 18:57:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-19 19:57:00 +0200 |
commit | 0b366e735729327476ec31da02de3c9c9771ddfb (patch) | |
tree | 84022e2ae4d512f44e430a0fb8b49acf3c4a6f72 /Makefile | |
parent | 160bfb217da5038ccbd74438f9f16a16012d7866 (diff) |
Command line switch to use F16 for memory_k and memory_v (refactor of #154) (#294)
* Use F16 for memory_k and memory_v
* add command line switch to use f16 instead of f32 for memory k+v
---------
Co-authored-by: Ty Everett <ty@tyweb.us>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions