diff options
author | kalomaze <66376113+kalomaze@users.noreply.github.com> | 2023-12-23 03:27:07 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-23 11:27:07 +0200 |
commit | b9ec82d262cb20d7f0a8a1157bfa9aace40e2625 (patch) | |
tree | d2040853479940cbb5343295e0115dda16b0d96d /examples/server/server.cpp | |
parent | e0a4002273907b2c414b6b5442d99e08bfe2df35 (diff) |
grammar : check the full vocab only if necessary (opt) (#4306)
* Check the full vocab for grammar only if necessary
* Fix missing logit restoration step (?)
Does this matter, actually?
* Fix whitespace / formatting
* Adjust comment
* Didn't mean to push test gbnf
* Split sampling into the helper function (?)
And also revert the changes made to the header
* common : fix final newline
---------
Co-authored-by: Georgi Gerganov <ggerganov@gmail.com>
Diffstat (limited to 'examples/server/server.cpp')
0 files changed, 0 insertions, 0 deletions