`json`: fix additionalProperties, allow space after enum/const#7840

Merged

ochafik merged 21 commits intoggml-org:masterfrom

ochafik:json-additional

Jun 26, 2024

Commits on Jun 9, 2024

json: default additionalProperty to true
ochafik
committed
json: don't force additional props after normal properties!
ochafik
committed
json: allow space after enum/const
ochafik
committed
json: update pydantic example to set additionalProperties: false
ochafik
committed

Commits on Jun 10, 2024

json: prevent additional props to redefine a typed prop
ochafik
committed

Commits on Jun 11, 2024

Merge remote-tracking branch 'origin/master' into json-additional
ochafik
committed
port not_strings to python, add trailing space
ochafik
committed
fix not_strings & port to js+py
ochafik
committed
Update json-schema-to-grammar.cpp
ochafik
committed
fix _not_strings for substring overlaps
Olivier Chafik
committed

Commits on Jun 12, 2024

Merge remote-tracking branch 'origin/master' into json-additional
Olivier Chafik
committed

Commits on Jun 22, 2024

Merge remote-tracking branch 'origin/master' into json-additional
ochafik
committed
json: fix additionalProperties default, uncomment tests
ochafik
committed
json: add integ. test case for additionalProperties
ochafik
committed
json: nit: simplify condition
ochafik
committed

Commits on Jun 23, 2024

Commits on Jun 24, 2024

Merge remote-tracking branch 'origin/master' into json-additional
ochafik
committed

Commits on Jun 25, 2024