Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on Apr 29, 2026

• Merge pull request #269 from buger/tinygo

  Show description for c172c16
  buger

  authored
  c172c16

  Copy full SHA for c172c16

• Merge pull request #281 from buger/reqproof-assurance-hardening

  Show description for 680cd2e
  buger

  authored
  680cd2e

  Copy full SHA for 680cd2e

Commits on Apr 27, 2026

• Migrate review storage from reviews/ folder to per-requirement timestamps

  Show description for 9dce61c
  

  buger

  and

  claude

  committed
  9dce61c

  Copy full SHA for 9dce61c

Commits on Apr 24, 2026

• feat: add property-based obligation classes with 24 new SYS-REQs

  Show description for c03b9ef
  

  buger

  and

  claude

  committed
  c03b9ef

  Copy full SHA for c03b9ef

Commits on Apr 23, 2026

• chore: fix spec lint warnings — remove stale parent field, set review metadata

  Show description for 9c46110
  

  buger

  and

  claude

  committed
  9c46110

  Copy full SHA for 9c46110

Commits on Apr 20, 2026

• Close coverage gaps: SYS-REQ-007/008/010 fuzz harness coverage to 100%

  Show description for 8bbb8a8
  

  buger

  and

  claude

  committed
  8bbb8a8

  Copy full SHA for 8bbb8a8

Commits on Apr 19, 2026

• Install Z3 via apt before audit

  Show description for 552e93b
  

  buger

  and

  claude

  committed
  552e93b

  Copy full SHA for 552e93b

• Remove manual Z3 pre-download, now handled by proof-action

  Show description for 98133b4
  

  buger

  and

  claude

  committed
  98133b4

  Copy full SHA for 98133b4

• Debug Z3 pre-download: remove output suppression

  Show description for 1b70ead
  

  buger

  and

  claude

  committed
  1b70ead

  Copy full SHA for 1b70ead

• Pre-download Z3 solver before audit

  Show description for aac1fbc
  

  buger

  and

  claude

  committed
  aac1fbc

  Copy full SHA for aac1fbc

• Trigger CI rebuild with cache-busted proof-action

  Show description for 47497fa
  

  buger

  and

  claude

  committed
  47497fa

  Copy full SHA for 47497fa

• Use ubuntu-24.04 for glibc 2.39 compatibility with Z3 solver

  Show description for 8c7ce02
  

  buger

  and

  claude

  committed
  8c7ce02

  Copy full SHA for 8c7ce02

• Proper CI setup: Go 1.25 for MC/DC, latest proof, fail-level warn

  Show description for 99f4991
  

  buger

  and

  claude

  committed
  99f4991

  Copy full SHA for 99f4991

• Switch to latest proof with fail-level warn

  Show description for ee892db
  

  buger

  and

  claude

  committed
  ee892db

  Copy full SHA for ee892db

• Pin proof version until latest channel is populated

  Show description for f6b4f4c
  

  buger

  and

  claude

  committed
  f6b4f4c

  Copy full SHA for f6b4f4c

• Use default latest version, fail-level error until next release

  Show description for d3e2307
  

  buger

  and

  claude

  committed
  d3e2307

  Copy full SHA for d3e2307

• Set fail-level to error until next proof release

  Show description for 2045ad7
  

  buger

  and

  claude

  committed
  2045ad7

  Copy full SHA for 2045ad7

• Use probelabs/proof-action@v1 with version pin and scope=full

  Show description for f60ebe9
  

  buger

  and

  claude

  committed
  f60ebe9

  Copy full SHA for f60ebe9

• Fix audit CI: use downloads.reqproof.com with pinned version

  Show description for e2bb97c
  

  buger

  and

  claude

  committed
  e2bb97c

  Copy full SHA for e2bb97c

• Fix audit CI: install proof via Homebrew (available on ubuntu-latest)

  Show description for 2938f97
  

  buger

  and

  claude

  committed
  2938f97

  Copy full SHA for 2938f97

• Fix audit CI: use R2 CDN for proof download, re-enable workflow

  Show description for 5526c5c
  

  buger

  and

  claude

  committed
  5526c5c

  Copy full SHA for 5526c5c

• Fix CI: disable audit until public release, update upload-artifact to v4

  Show description for e0ff4be
  

  buger

  and

  claude

  committed
  e0ff4be

  Copy full SHA for e0ff4be

• Remove internal research docs from tracked files

  Show description for caf8776
  

  buger

  and

  claude

  committed
  caf8776

  Copy full SHA for caf8776

• Complete traceability: annotate all tests, add documentation links

  Show description for b12ab08
  

  buger

  and

  claude

  committed
  b12ab08

  Copy full SHA for b12ab08

• Remove generated fixtures from repo, add tests/ to .gitignore

  Show description for 7e56e26
  

  buger

  and

  claude

  committed
  7e56e26

  Copy full SHA for 7e56e26

• Remove internal dogfooding notes from docs/

  Show description for 0a788ca
  

  buger

  and

  claude

  committed
  0a788ca

  Copy full SHA for 0a788ca

• Fix reqproof.dev → reqproof.com

  Show description for 7a51011
  

  buger

  and

  claude

  committed
  7a51011

  Copy full SHA for 7a51011

• Add formal verification section to README

  Show description for b415ee7
  

  buger

  and

  claude

  committed
  b415ee7

  Copy full SHA for b415ee7

• Fix 2 bugs, remove dead code, add formal verification with ReqProof

  Show description for 7817c76
  

  buger

  and

  claude

  committed
  7817c76

  Copy full SHA for 7817c76

Commits on Mar 19, 2026

• Merge pull request #276 from dbarrosop/master

  Show description for a69e7e0
  buger

  authored
  a69e7e0

  Copy full SHA for a69e7e0

Commits on Mar 18, 2026

• fix: prevent panic on negative slice index in Delete with malformed JSON (GO-2026-4514)

  dbarrosop

  committed
  d3eacc0

  Copy full SHA for d3eacc0

Commits on Mar 11, 2024

• Update bytes_unsafe.go

  buger

  authored
  768145b

  Copy full SHA for 768145b

• Add support for tinygo

  Show description for 14ba29b
  buger

  authored
  14ba29b

  Copy full SHA for 14ba29b

Commits on Apr 18, 2022

• Merge pull request #241 from unxcepted/master

  Show description for 61b32cf
  buger

  authored
  61b32cf

  Copy full SHA for 61b32cf

• Merge pull request #244 from ScaleChamp/patch-2

  Show description for 2181e83
  buger

  authored
  2181e83

  Copy full SHA for 2181e83