All workflows

Workflow runs

• Move proof modules and spec names under Sqlite

  completed successfully:
  verified bar#16:Commit9513b34pushedbyzero-aska
  claude/sqlite-namespace

  Oct 30, 20263m 2s
  More actions for workflow run 16

• Merge pull request #3 from Proven-Commons/docs/apache-2.0-license-202…

  completed successfully:
  verified bar#15:Commit4ac0c25pushedbyzero-aska
  main

  Oct 29, 20262m 52s
  More actions for workflow run 15

• Add the Apache License 2.0

  completed successfully:
  verified bar#14:Pull request#3submittedbyzero-aska
  Oct 29, 20262m 37s
  More actions for workflow run 14

• Merge pull request #2 from Proven-Commons/claude/sqlite-first-slice

  completed successfully:
  verified bar#11:Commit487858fpushedbyahrazzle
  main

  Oct 28, 20262m 9s
  More actions for workflow run 11

• First slice: SQLite header, b-tree pages and records, read and proved (bar v2)

  completed successfully:
  verified bar#9:Pull request#2openedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20262m 29s
  More actions for workflow run 9

• Accept text encoding 0 with schema format 0; finish the tests

  completed successfully:
  verified bar#8:Commit010218dpushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20262m 33s
  More actions for workflow run 8

• Differential tests, work in progress

  completed successfully:
  verified bar#7:Commitec10008pushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20262m 57s
  More actions for workflow run 7

• Write the specification page and the project page

  failed:
  verified bar#6:Commit81d6e4dpushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20262m 3s
  More actions for workflow run 6

• Prove the page reader and every statement

  failed:
  verified bar#5:Commitb7ed85apushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20262m 10s
  More actions for workflow run 5

• Add the command line front end

  failed:
  verified bar#4:Commite69dcfbpushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20261m 28s
  More actions for workflow run 4

• Prove the record reader

  failed:
  verified bar#3:Commit9763b7fpushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20261m 15s
  More actions for workflow run 3

• Prove the varint and header readers

  failed:
  verified bar#2:Commitde95539pushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 20261m 13s
  More actions for workflow run 2

• Add the spec, the reader, and the first proofs (work in progress)

  failed:
  verified bar#1:Commite85359dpushedbyzero-aska
  claude/sqlite-first-slice

  Oct 28, 202639s
  More actions for workflow run 1