Olivier Chafik
ab9a3240a9
JSON schema conversion: ⚡️ faster repetitions, min/maxLength for strings, cap number length (#6555)
* json: rename python schema converter to make import easier
* server: skip null json_schema / grammar fields
* json: deps management for primitive rules (+ allow null values)
* json: optimize repetitions for minItems/maxItems and regexps: `a{,3}` goes from `"a"? "a"? "a"?` (explosive combos) to `(a (a (a)?)?)?`
* grammars: add troubleshooting section to readme
* json: cap length of numbers to 15 digits before/after decimal point
(avoids infinite gen, e.g. "one third" -> `0.333333333333...`)
* json: unify all repetition code (w/ or w/o sep)
* json: support string minLength/maxLength
* server+json: update server/README w/ result_format
* nits
* json: fix type error w/ python 3.8
* json: fix server/README (json_schema in /completion vs. result_format in /v1/chat/completions)
* json: simplify DOT `{"type": "string", "pattern": "^.$"}`
* json: remove recursion in opt_repetitions (avoids Python stack overflow)
* json: rm dead code
* json: rm useless assert & ggml.h import
2024-04-12 19:43:38 +01:00
..
2024-02-25 12:09:09 +02:00
2024-03-22 09:36:03 +02:00
2024-04-05 21:34:53 +03:00
2024-02-16 11:31:07 +02:00
2024-02-16 11:31:07 +02:00
2024-03-09 15:53:59 +02:00
2024-03-27 09:16:02 +02:00
2024-04-09 13:44:08 -04:00
2024-04-12 10:26:47 +02:00
2024-02-17 23:03:14 +02:00
2024-02-25 12:09:09 +02:00
2024-04-11 19:47:34 +01:00
2024-04-10 21:16:48 +03:00
2024-03-29 22:34:44 +01:00
2024-03-16 17:46:29 +02:00
2024-04-12 11:49:58 +03:00
2024-04-12 15:11:46 +03:00
2023-10-06 16:16:38 +03:00
2024-03-26 01:16:01 +01:00
2024-03-10 22:03:17 +02:00
2024-03-13 18:54:21 +01:00
2024-04-12 10:52:36 +02:00
2024-04-09 13:44:08 -04:00
2024-04-09 13:44:08 -04:00
2024-04-12 10:52:36 +02:00
2024-03-26 01:16:01 +01:00
2024-03-26 16:46:41 +02:00
2024-02-27 14:35:51 +02:00
2024-04-12 10:52:36 +02:00
2024-04-12 10:52:36 +02:00
2024-02-03 13:23:37 +02:00
2024-03-25 09:38:22 +02:00
2024-04-08 15:43:30 +03:00
2024-04-12 19:43:38 +01:00
2024-02-16 11:31:07 +02:00
2024-04-09 13:44:08 -04:00
2024-03-25 15:52:41 +08:00
2024-04-09 13:44:08 -04:00
2024-03-14 20:29:32 +02:00
2023-07-06 19:17:50 +03:00
2024-01-06 11:40:24 +02:00
2023-03-29 20:21:09 +03:00
2023-05-03 20:58:11 +03:00
2023-10-03 21:04:01 +03:00
2023-06-15 21:05:53 +03:00
2023-08-30 09:29:32 +03:00
2024-04-11 14:51:07 +02:00
2023-04-13 16:03:39 +03:00
2024-04-12 19:43:38 +01:00
2024-03-21 11:50:43 +00:00
2023-07-21 13:53:27 +03:00
2023-07-21 13:53:27 +03:00
2024-01-23 08:51:27 +02:00
2023-08-30 09:50:55 +03:00
2023-09-27 19:25:12 +03:00
2023-07-21 11:13:18 +03:00
2024-01-25 14:51:24 -05:00
2024-01-25 14:51:24 -05:00
2023-08-23 17:29:09 +03:00
2024-04-12 19:43:38 +01:00
2024-03-07 11:41:53 +02:00
2023-08-23 17:29:09 +03:00
2024-04-12 19:43:38 +01:00