Henrik Böving 48eb3084a0 perf: speed up JSON serialisation (#6479) ... This PR speeds up JSON serialisation by using a lookup table to check whether a string needs to be escaped. The approach is based on https://byroot.github.io/ruby/json/2024/12/15/optimizing-ruby-json-part-1.html.		2025-01-08 12:06:25 +00:00
..
Basic.lean	chore: avoid importing List.Basic without List.Impl (#5245)	2024-09-04 01:25:50 +00:00
Elab.lean	chore: add missing copyright headers (#3411)	2024-02-20 01:49:55 +00:00
FromToJson.lean	feat: implement To/FromJSON Empty (#5421)	2024-09-24 03:27:23 +00:00
Parser.lean	fix: ilean loading performance (#4900)	2024-08-29 11:51:48 +00:00
Printer.lean	perf: speed up JSON serialisation (#6479)	2025-01-08 12:06:25 +00:00
Stream.lean	feat: UTF-8 string validation (#3958)	2024-04-20 18:36:37 +00:00