llama.cpp
JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length
#6555
Merged
Merged
JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length #6555
ochafik
merged
17 commits into
ggml-org:master
from
ochafik:json-faster-repetitions2
json: rename python schema converter to make import easier
2148f244
server: skip null json_schema / grammar fields
f771a8f1
json: deps management for primitive rules (+ allow null values)
159b883b
json: optimize repetitions for minItems/maxItems and regexps: `a{,3}`…
a59e9431
grammars: add troubleshooting section to readme
07163fb6
json: cap length of numbers to 15 digits before/after decimal point
dcf5d328
json: unify all repetition code (w/ or w/o sep)
181f984d
json: support string minLength/maxLength
de4e60ea
server+json: update server/README w/ result_format
6c885dce
nits
3c81e944
json: fix type error w/ python 3.8
67a5184f
ochafik
changed the title
json: fix server/README (json_schema in /completion vs. result_format…
9c33ee99
HanClinto
commented
on 2024-04-10
HanClinto
commented
on 2024-04-10
HanClinto
commented
on 2024-04-11
HanClinto
commented
on 2024-04-11
json: simplify DOT `{"type": "string", "pattern": "^.$"}`
ed13d47c
Merge remote-tracking branch 'origin/master' into json-faster-repetit…
958bdda5
json: remove recursion in opt_repetitions (avoids Python stack overflow)
64e30590
json: rm dead code
ba90d5b7
json: rm useless assert & ggml.h import
dfd4eb3a
HanClinto
commented
on 2024-04-12
HanClinto
approved these changes
on 2024-04-12
Login to write a write a comment.
Login via GitHub