File tree
19 files changed
+171
-72
lines changed- common
- examples
- batched
- gritlm
- lookahead
- lookup
- passkey
- save-load-state
- simple-chat
- simple
- include
- src
- tests
- tools
- main
- run
- server
19 files changed
+171
-72
lines changedLines changed: 30 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1205 | 1205 |
| |
1206 | 1206 |
| |
1207 | 1207 |
| |
| 1208 | + | |
| 1209 | + | |
| 1210 | + | |
| 1211 | + | |
| 1212 | + | |
| 1213 | + | |
| 1214 | + | |
| 1215 | + | |
| 1216 | + | |
1208 | 1217 |
| |
1209 | 1218 |
| |
1210 | 1219 |
| |
| |||
1937 | 1946 |
| |
1938 | 1947 |
| |
1939 | 1948 |
| |
| 1949 | + | |
| 1950 | + | |
| 1951 | + | |
| 1952 | + | |
| 1953 | + | |
| 1954 | + | |
| 1955 | + | |
| 1956 | + | |
| 1957 | + | |
| 1958 | + | |
| 1959 | + | |
| 1960 | + | |
| 1961 | + | |
| 1962 | + | |
| 1963 | + | |
| 1964 | + | |
| 1965 | + | |
| 1966 | + | |
| 1967 | + | |
| 1968 | + | |
| 1969 | + | |
1940 | 1970 |
| |
1941 | 1971 |
| |
1942 | 1972 |
| |
|
Lines changed: 7 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
178 | 178 |
| |
179 | 179 |
| |
180 | 180 |
| |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
181 | 188 |
| |
182 | 189 |
| |
183 | 190 |
| |
|
Lines changed: 15 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
226 | 226 |
| |
227 | 227 |
| |
228 | 228 |
| |
229 |
| - | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
230 | 233 |
| |
231 | 234 |
| |
232 | 235 |
| |
| |||
335 | 338 |
| |
336 | 339 |
| |
337 | 340 |
| |
338 |
| - | |
| 341 | + | |
339 | 342 |
| |
340 | 343 |
| |
341 | 344 |
| |
342 | 345 |
| |
343 | 346 |
| |
344 | 347 |
| |
345 | 348 |
| |
346 |
| - | |
| 349 | + | |
347 | 350 |
| |
348 | 351 |
| |
349 |
| - | |
| 352 | + | |
350 | 353 |
| |
351 | 354 |
| |
352 | 355 |
| |
| |||
361 | 364 |
| |
362 | 365 |
| |
363 | 366 |
| |
364 |
| - | |
| 367 | + | |
365 | 368 |
| |
366 | 369 |
| |
367 | 370 |
| |
| |||
373 | 376 |
| |
374 | 377 |
| |
375 | 378 |
| |
376 |
| - | |
377 |
| - | |
| 379 | + | |
| 380 | + | |
378 | 381 |
| |
379 | 382 |
| |
380 | 383 |
| |
381 | 384 |
| |
382 | 385 |
| |
383 | 386 |
| |
384 |
| - | |
| 387 | + | |
385 | 388 |
| |
386 | 389 |
| |
387 | 390 |
| |
388 | 391 |
| |
389 | 392 |
| |
390 | 393 |
| |
391 | 394 |
| |
392 |
| - | |
| 395 | + | |
393 | 396 |
| |
394 | 397 |
| |
395 | 398 |
| |
| |||
401 | 404 |
| |
402 | 405 |
| |
403 | 406 |
| |
404 |
| - | |
| 407 | + | |
405 | 408 |
| |
406 | 409 |
| |
407 | 410 |
| |
| |||
411 | 414 |
| |
412 | 415 |
| |
413 | 416 |
| |
414 |
| - | |
| 417 | + | |
415 | 418 |
| |
416 | 419 |
| |
417 | 420 |
| |
418 | 421 |
| |
419 | 422 |
| |
420 |
| - | |
| 423 | + | |
421 | 424 |
| |
422 | 425 |
| |
423 | 426 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
61 |
| - | |
| 61 | + | |
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
| |||
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
79 |
| - | |
| 79 | + | |
80 | 80 |
| |
81 | 81 |
| |
82 |
| - | |
| 82 | + | |
83 | 83 |
| |
84 | 84 |
| |
85 | 85 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
238 | 238 |
| |
239 | 239 |
| |
240 | 240 |
| |
241 |
| - | |
| 241 | + | |
242 | 242 |
| |
243 | 243 |
| |
244 | 244 |
| |
245 | 245 |
| |
246 |
| - | |
| 246 | + | |
247 | 247 |
| |
248 | 248 |
| |
249 | 249 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
162 | 162 |
| |
163 | 163 |
| |
164 | 164 |
| |
| 165 | + | |
165 | 166 |
| |
| 167 | + | |
166 | 168 |
| |
167 | 169 |
| |
168 | 170 |
| |
| |||
173 | 175 |
| |
174 | 176 |
| |
175 | 177 |
| |
176 |
| - | |
| 178 | + | |
177 | 179 |
| |
178 | 180 |
| |
179 | 181 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
111 |
| - | |
| 111 | + | |
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
| |||
122 | 122 |
| |
123 | 123 |
| |
124 | 124 |
| |
125 |
| - | |
| 125 | + | |
126 | 126 |
| |
127 | 127 |
| |
128 | 128 |
| |
|
Lines changed: 5 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
| 256 | + | |
256 | 257 |
| |
257 | 258 |
| |
258 | 259 |
| |
| |||
274 | 275 |
| |
275 | 276 |
| |
276 | 277 |
| |
| 278 | + | |
277 | 279 |
| |
278 |
| - | |
| 280 | + | |
279 | 281 |
| |
280 | 282 |
| |
281 | 283 |
| |
| |||
349 | 351 |
| |
350 | 352 |
| |
351 | 353 |
| |
| 354 | + | |
352 | 355 |
| |
353 | 356 |
| |
354 | 357 |
| |
355 |
| - | |
| 358 | + | |
356 | 359 |
| |
357 | 360 |
| |
358 | 361 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
117 | 117 |
| |
118 | 118 |
| |
119 | 119 |
| |
120 |
| - | |
| 120 | + | |
| 121 | + | |
121 | 122 |
| |
122 | 123 |
| |
123 | 124 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
| 220 | + | |
220 | 221 |
| |
| 222 | + | |
221 | 223 |
| |
222 | 224 |
| |
223 |
| - | |
| 225 | + | |
224 | 226 |
| |
225 | 227 |
| |
226 | 228 |
| |
|
Lines changed: 9 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
| 79 | + | |
79 | 80 |
| |
80 |
| - | |
| 81 | + | |
| 82 | + | |
81 | 83 |
| |
82 | 84 |
| |
83 | 85 |
| |
| |||
128 | 130 |
| |
129 | 131 |
| |
130 | 132 |
| |
| 133 | + | |
131 | 134 |
| |
132 |
| - | |
| 135 | + | |
| 136 | + | |
133 | 137 |
| |
134 | 138 |
| |
135 | 139 |
| |
| |||
209 | 213 |
| |
210 | 214 |
| |
211 | 215 |
| |
| 216 | + | |
212 | 217 |
| |
213 |
| - | |
| 218 | + | |
| 219 | + | |
214 | 220 |
| |
215 | 221 |
| |
216 | 222 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
110 | 110 |
| |
111 | 111 |
| |
112 | 112 |
| |
| 113 | + | |
113 | 114 |
| |
| 115 | + | |
114 | 116 |
| |
115 | 117 |
| |
116 | 118 |
| |
| |||
125 | 127 |
| |
126 | 128 |
| |
127 | 129 |
| |
128 |
| - | |
| 130 | + | |
129 | 131 |
| |
130 | 132 |
| |
131 | 133 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
151 | 151 |
| |
152 | 152 |
| |
153 | 153 |
| |
| 154 | + | |
| 155 | + | |
154 | 156 |
| |
155 | 157 |
| |
156 | 158 |
| |
| |||
162 | 164 |
| |
163 | 165 |
| |
164 | 166 |
| |
165 |
| - | |
| 167 | + | |
166 | 168 |
| |
167 | 169 |
| |
168 | 170 |
| |
|
Lines changed: 7 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1197 | 1197 |
| |
1198 | 1198 |
| |
1199 | 1199 |
| |
1200 |
| - | |
| 1200 | + | |
1201 | 1201 |
| |
1202 | 1202 |
| |
1203 | 1203 |
| |
| |||
1215 | 1215 |
| |
1216 | 1216 |
| |
1217 | 1217 |
| |
1218 |
| - | |
| 1218 | + | |
1219 | 1219 |
| |
1220 | 1220 |
| |
1221 | 1221 |
| |
| |||
1346 | 1346 |
| |
1347 | 1347 |
| |
1348 | 1348 |
| |
1349 |
| - | |
| 1349 | + | |
| 1350 | + | |
| 1351 | + | |
| 1352 | + | |
1350 | 1353 |
| |
1351 | 1354 |
| |
1352 | 1355 |
| |
| |||
1384 | 1387 |
| |
1385 | 1388 |
| |
1386 | 1389 |
| |
1387 |
| - | |
| 1390 | + | |
1388 | 1391 |
| |
1389 | 1392 |
| |
1390 | 1393 |
| |
|
0 commit comments