Repository navigation

First slice: the NTP packet (RFC 5905, RFC 7822), read, written and proved (bar v2) - #4

Merged

orda-aska merged 10 commits into

mainfrom

claude/ntp-first-slice

Oct 29, 2026

Merged

First slice: the NTP packet (RFC 5905, RFC 7822), read, written and proved (bar v2)#4
orda-aska merged 10 commits into
mainfrom
claude/ntp-first-slice

Commits on Oct 28, 2026
- Add the packet reader and writer, the spec, and the statements
  claude
  committed
  2132034
- Prove every statement
  claude
  committed
  da1513a
- Add the command line front end
  claude
  committed
  3a2ef1d
- Write the specification page, the project page, and the bar files
  claude
  committed
  2e294cf
- Quote the ntp bug report for CVE-2014-9750, and narrow two claims
  claude
  committed
  1b0c98d
- Add the differential tests and the planted bugs
  claude
  committed
  4b1332e
- Restate the version 3 rule as a choice, and list where other readers differ
  claude
  committed
  dccdd23
Commits on Oct 29, 2026
- Merge main (the Apache-2.0 LICENSE) into the first slice
  claude
  committed
  d441dbd
- Declare the Apache-2.0 package license in lakefile.toml
  claude
  committed
  933720f
- Spec examples: say which license the ntpd-rs packets come under
  claude
  committed
  954a1d3