llama.cpp
`json`: fix additionalProperties, allow space after enum/const
#7840
Merged
Merged
`json`: fix additionalProperties, allow space after enum/const #7840
ochafik
merged
21 commits into
ggml-org:master
from
ochafik:json-additional
json: default additionalProperty to true
12a061c8
json: don't force additional props after normal properties!
8785a6ee
json: allow space after enum/const
87d506f5
json: update pydantic example to set additionalProperties: false
43f74e0c
ochafik
changed the title
json: prevent additional props to redefine a typed prop
adca9af2
Merge remote-tracking branch 'origin/master' into json-additional
67434386
port not_strings to python, add trailing space
8b47473d
ochafik
changed the title
fix not_strings & port to js+py
4e637560
Update json-schema-to-grammar.cpp
02e26344
fix _not_strings for substring overlaps
0e48ea8e
Merge remote-tracking branch 'origin/master' into json-additional
322d6113
Merge remote-tracking branch 'origin/master' into json-additional
6c859ee4
json: fix additionalProperties default, uncomment tests
2f1a087c
json: add integ. test case for additionalProperties
5c2d3fa1
json: nit: simplify condition
f714d7f1
HanClinto
commented
on 2024-06-23
reformat grammar integ tests w/ R"""()""" strings where there's escapes
3c64db18
Merge remote-tracking branch 'origin/master' into json-additional
65680f94
ochafik
changed the title
Merge remote-tracking branch 'origin/master' into json-additional
35bbac1e
HanClinto
approved these changes
on 2024-06-25
Merge remote-tracking branch 'origin/master' into json-additional
c6df6cee
Merge remote-tracking branch 'origin/master' into json-additional
fba3a864
update # tokens in server test: consts can now have trailing space
23beed22
Reviewers
Assignees
No one assigned
Labels
testing
examples
python
Review Complexity : Medium
server
Milestone
No milestone
Login to write a write a comment.
Login via GitHub