GitHub / buger/jsonparser / commits
One of the fastest alternative JSON parser for Go that does not require schema
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 36a686d1 | docs: add ReqProof proof-of-quality card to the verification section | Leonid Bugaev <l****x@g****m> | 6 days ago | |
| 6454f95d | docs: fix naming consistency in README (EachArray/EachObject canonical) | Tit Petric <t****t@t****o> | 28 days ago | |
| 6dce0d0c | docs: add ALL new APIs to README reference (GetUint64, GetArrayLen, | Tit Petric <t****t@t****o> | 28 days ago | |
| fc6f66eb | Revise README with updated project title and info |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
28 days ago | |
| 5663ba4b | v1.6.1: gjson-style fast-skip optimization + benchmarks vs gjson/sonic | Tit Petric <t****t@t****o> | 28 days ago | |
| caa05b05 | perf: gjson-style fast-skip in hot loops + benchmarks vs gjson/sonic | Tit Petric <t****t@t****o> | 28 days ago | |
| f1c83acd | docs: remove anniversary article from repo (private draft) | Tit Petric <t****t@t****o> | 28 days ago | |
| 6c827359 | docs: ten-year anniversary article with personal backstory and transitive deps | Tit Petric <t****t@t****o> | 28 days ago | |
| 3005d5bc | v1.6.0: Append function + all KI fixes (zero open known issues) | Tit Petric <t****t@t****o> | 29 days ago | |
| a55c29b4 | v1.5.1: 6.1x large-payload speedup + fresh benchmarks | Tit Petric <t****t@t****o> | 29 days ago | |
| 09dbcf61 | perf: SWAR string scan in stringEndConfig (8% large-payload speedup) | Tit Petric <t****t@t****o> | 29 days ago | |
| df5ae5b6 | perf: bound stringEnd backslash scan to string body (5.8x large-payload speedup) | Tit Petric <t****t@t****o> | 30 days ago | |
| ae21251e | Add MC/DC witnesses for SYS-REQ-115 (Config) and SYS-REQ-116 (ReaderParser) | Tit Petric <t****t@t****o> | about 1 month ago | |
| dfb33c14 | docs: complete CHANGELOG with v1.3.0–v1.5.0 entries, all mentioning ReqProof ... | Tit Petric <t****t@t****o> | about 1 month ago | |
| 6955fbe8 | v1.5.0: Config (single quotes + lenient escapes), streaming ReaderParser, nam... | Tit Petric <t****t@t****o> | about 1 month ago | |
| ebb4a3af | fix: remove duplicate fmt import (#263), update Dockerfile to Go 1.25 (#268) | Tit Petric <t****t@t****o> | about 1 month ago | |
| f6ddf269 | v1.4.0: ArrayEachErr, Escape/SetString, wildcards, JSONPath, GetArrayLen, Get... | Tit Petric <t****t@t****o> | about 1 month ago | |
| eb9c2520 | v1.3.1: fix Set aliasing (#209/#141), EachKey array-index (#232), benchmark f... | Tit Petric <t****t@t****o> | about 1 month ago | |
| a9004e7c | docs: add proof coverage to README + CHANGELOG for v1.3.0 | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 1723912b | merge Merge pull request #287 from buger/fix-oss-fuzz-delete-leading-comma |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 858e2cdd | Merge PR #285 parseInt fast-path + align SYS-REQ-061/062 surrogate FRETish | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| f0958b57 | proof: L3 strict review — hazard sweeps, structure-aware fuzzer, 6 bug fixes,... | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| f26958f9 | merge Merge pull request #283 from buger/fix-oss-fuzz-delete-leading-comma |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| ae6fe746 | Delete PROOF_CATALOG_DOGFOOD_CASE_STUDY.md |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 63ac271f | proof: enable all checks at warn level; drop bogus test-function proptest ann... | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 631752d7 | Revert "ci: build proof from source + install probe for version parity" | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 9f4a999f | ci: build proof from source + install probe for version parity | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 125c706c | proof: complete L3 strict review — catalog, hazard, MC/DC, governance | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 753cda01 | fix: guard empty-string key path components; remove synthetic proof scaffolding | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| 7169e68b | Tighten proof posture to L3 strict (mirror reqforge self-dogfood) | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| bf9294e1 | Record no-authored-change impact reviews for parser.go (PR #283) | Leonid Bugaev <l****x@g****m> | about 1 month ago | |
| b0adab04 |
Update catalog dogfood case study for v0.3.0 catalog refinements
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| a50174c0 |
Apply Proof obligation-class catalog v1.0.0 dogfood
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| ff8c4a74 |
Migrate _lemmas/_proof.go files to host-attached directives + inline helpers
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 6855f4ef |
Item #3: apply path-conditions + variadic/multi-return + verify-safety
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 80cf537d |
jsonparser re-sweep with translator gap fixes — 12 new lemmas
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 2896e609 |
Apply reqproof toolchain (Phase O→Z.2) to jsonparser
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| a6c5ed3a |
fix(Delete): guard against negative prevTok on leading-comma input
Co-authored-by: Claude Opus 4.7 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| c172c166 | merge Merge pull request #269 from buger/tinygo |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
4 months ago | |
| 680cd2e7 | merge Merge pull request #281 from buger/reqproof-assurance-hardening |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
4 months ago | |
| 9dce61c6 |
Migrate review storage from reviews/ folder to per-requirement timestamps
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| c03b9ef6 |
feat: add property-based obligation classes with 24 new SYS-REQs
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 9c46110d |
chore: fix spec lint warnings — remove stale parent field, set review metadata
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 8bbb8a86 |
Close coverage gaps: SYS-REQ-007/008/010 fuzz harness coverage to 100%
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 552e93b1 |
Install Z3 via apt before audit
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 98133b4e |
Remove manual Z3 pre-download, now handled by proof-action
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 1b70eadb |
Debug Z3 pre-download: remove output suppression
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| aac1fbc1 |
Pre-download Z3 solver before audit
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 47497fac |
Trigger CI rebuild with cache-busted proof-action
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 8c7ce02c |
Use ubuntu-24.04 for glibc 2.39 compatibility with Z3 solver
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 99f4991f |
Proper CI setup: Go 1.25 for MC/DC, latest proof, fail-level warn
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| ee892db3 |
Switch to latest proof with fail-level warn
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| f6b4f4cf |
Pin proof version until latest channel is populated
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| d3e23076 |
Use default latest version, fail-level error until next release
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 2045ad77 |
Set fail-level to error until next proof release
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| f60ebe9e |
Use probelabs/proof-action@v1 with version pin and scope=full
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| e2bb97c4 |
Fix audit CI: use downloads.reqproof.com with pinned version
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 2938f97a |
Fix audit CI: install proof via Homebrew (available on ubuntu-latest)
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 5526c5c8 |
Fix audit CI: use R2 CDN for proof download, re-enable workflow
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| e0ff4be0 |
Fix CI: disable audit until public release, update upload-artifact to v4
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| caf87762 |
Remove internal research docs from tracked files
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| b12ab089 |
Complete traceability: annotate all tests, add documentation links
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 7e56e264 |
Remove generated fixtures from repo, add tests/ to .gitignore
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 0a788cae |
Remove internal dogfooding notes from docs/
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 7a510119 |
Fix reqproof.dev → reqproof.com
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| b415ee71 |
Add formal verification section to README
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| 7817c767 |
Fix 2 bugs, remove dead code, add formal verification with ReqProof
Co-authored-by: Claude Opus 4.6 (1M context) <n****y@a****m> |
Leonid Bugaev <l****x@g****m> | 4 months ago | |
| a69e7e01 | merge Merge pull request #276 from dbarrosop/master |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
5 months ago | |
| d3eacc0b | fix: prevent panic on negative slice index in Delete with malformed JSON (GO-... | David Barroso <d****p@d****m> | 5 months ago | |
| 768145b8 | Update bytes_unsafe.go |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 14ba29bb | Add support for tinygo |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 61b32cfd | merge Merge pull request #241 from unxcepted/master |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 4 years ago | |
| 2181e839 | merge Merge pull request #244 from ScaleChamp/patch-2 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 4 years ago | |
| 1510b519 | Added latest versions of go to tests |
Mikhail Faraponov <1****e@u****m>
Committed by: GitHub <n****y@g****m> |
over 4 years ago | |
| 6fc2e488 | fix: eachkey allocation | unx <u****9@g****m> | over 4 years ago | |
| a6f867eb | merge Merge pull request #239 from AdamKorcz/cifuzz1 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| cbc01fdb | Fuzzing: Add CIFuzz | AdamKorcz <a****m@a****m> | almost 5 years ago | |
| dc92d693 | merge Merge pull request #228 from jonomacd/null-handling |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 2d9d6343 | merge Merge pull request #231 from carsonip/fix-parseint-overflow-check |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 608d8c5d | Fix parseInt overflow check false negative | Carson Ip <c****p@p****o> | over 5 years ago | |
| 09bcf22e | Update README.md |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 51af27e1 | Added bespoke error for null cases | Jono MacDougall <j****d@g****m> | over 5 years ago | |
| a0c6c18b | merge Merge pull request #227 from daria-kay/leading-spaces |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 817f6399 | fix index out of range | daria-kay <d****0@g****m> | over 5 years ago | |
| bf062a19 | merge Merge pull request #226 from daria-kay/leading-spaces |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 40b56a14 | fix deletion by key with leading space | daria-kay <d****0@g****m> | over 5 years ago | |
| 275f2e85 | merge Merge pull request #223 from Villenny/patch-3 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 702655df | merge Merge pull request #225 from janreggie/fix-224 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| df3ea76e | merge Merge pull request #221 from d-hat/CVE-2020-35381 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 392c7161 | Updated travis to build for 1.13 to 1.15 | Jan Reggie Dela Cruz <j****z@g****m> | over 5 years ago | |
| 449b0242 | - eliminate 2 allocations in EachKey() |
Ryan Haksi <r****i@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| e015c376 | merge Merge pull request #196 from AllenX2018/fix-issue-107 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 1e1db9ea | handle "[" as a malformed array index by returning NotFound | Doran Moppert <d****t@r****m> | over 5 years ago | |
| d15cedbd | introduce some tests for malformed array indexes in GetString() | Doran Moppert <d****t@r****m> | over 5 years ago | |
| 9b2f2997 | merge Merge pull request #220 from saginadir/patch-2 |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| ee298179 | Small type fix in parser.go |
Sagi <s****r@g****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 26b93019 | merge Merge pull request #217 from buger/fuzz-update |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 6 years ago | |
| 93ae43c6 | Update to use built-in fuzz function |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 6 years ago | |
| 1239415c | merge Merge pull request #208 from xsandr/each-array-memory-optimization |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 6 years ago | |
| 71a899e0 | merge Merge pull request #213 from nagesh4193/master |
Leonid Bugaev <l****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 6 years ago |