llama.cpp
`json`: support integer minimum, maximum, exclusiveMinimum, exclusiveMaximum
#7797
Merged

`json`: support integer minimum, maximum, exclusiveMinimum, exclusiveMaximum #7797

ochafik merged 30 commits into ggml-org:master from ochafik:json-bounds2
ochafik
json: support minimum for positive integer values
057bbdc1
json: fix min 0
d69ccb06
json: min + max integer constraints
c37c4840
json: handle negative min / max integer bounds
af63f4fb
json: fix missing paren min/max bug
a381deb1
json: proper paren fix
f8db4781
json: integration test for schemas
5a86c6f0
json: fix bounds tests
431edb8e
Update json-schema-to-grammar.cpp
b6b6a6ca
github-actions github-actions added testing
ochafik ochafik removed testing
ochafik ochafik added enhancement
ochafik ochafik added Review Complexity : High
Merge remote-tracking branch 'origin/master' into json-bounds2
a786c038
github-actions github-actions added testing
json: fix negative max
931b5436
json: fix negative min (w/ more than 1 digit)
4c1c2936
Update test-grammar-integration.cpp
ac2a8f89
json: nit: move string rules together
3549702d
json: port min/max integer support to Python & JS
e9336807
github-actions github-actions added examples
github-actions github-actions added python
github-actions github-actions added server
nit: move + rename _build_min_max_int
a0f19047
p-e-w
fix min in [1, 9]
dcc27d1a
ochafik
Update test-grammar-integration.cpp
d1f67912
add C++11-compatible replacement for std::string_view
cad377d3
add min/max constrained int field to pydantic json schema example
d6483a9c
mofosyne mofosyne added Review Complexity : Medium
Merge remote-tracking branch 'origin/master' into json-bounds2
f03e9b93
Merge remote-tracking branch 'origin/master' into json-bounds2
6fa73649
fix merge
948e55e8
json: add integration tests for min/max bounds
670d5a61
Merge remote-tracking branch 'origin/master' into json-bounds2
9fb8a75e
ochafik ochafik changed the title [WIP] `json`: support integer minimum, maximum, exclusiveMinimum, exclusiveMaximum `json`: support integer minimum, maximum, exclusiveMinimum, exclusiveMaximum 1 year ago
ochafik ochafik marked this pull request as ready for review 1 year ago
HanClinto
HanClinto commented on 2024-06-24
HanClinto
HanClinto commented on 2024-06-24
Merge remote-tracking branch 'origin/master' into json-bounds2
d7d957db
reshuffle/merge min/max integ test cases
3a80d1e1
HanClinto
HanClinto commented on 2024-06-24
HanClinto
HanClinto commented on 2024-06-24
nits / cleanups
09a9b756
HanClinto
HanClinto approved these changes on 2024-06-24
Merge remote-tracking branch 'origin/master' into json-bounds2
48f417db
defensive code against string out of bounds (apparently different beh…
36bf0036
HanClinto
HanClinto commented on 2024-06-25
ochafik ochafik merged 84631fe1 into master 1 year ago
HanClinto
ochafik ochafik deleted the json-bounds2 branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone