All workflows

Workflow runs

• Move spec and proof modules and names under Der

  completed successfully:
  verified bar#15:Commit3aae69dpushedbyzero-aska
  claude/der-namespace

  Oct 30, 20262m 37s
  More actions for workflow run 15

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

  completed successfully:
  verified bar#14:Commitca9971fpushedbyzero-aska
  main

  Oct 29, 20263m 18s
  More actions for workflow run 14

• Add the Apache License 2.0

  completed successfully:
  verified bar#13:Pull request#3submittedbyzero-aska
  Oct 29, 20263m 27s
  More actions for workflow run 13

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

  completed successfully:
  verified bar#10:Commit7d59421pushedbyahrazzle
  main

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

• First slice: one DER element (X.690), read and written, proved (bar v2)

  completed successfully:
  verified bar#8:Pull request#2synchronizebyzero-aska
  claude/der-first-slice

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

• Tests and page: fix the eight findings of the second self-review

  completed successfully:
  verified bar#7:Commit3cdbf7fpushedbyzero-aska
  claude/der-first-slice

  Oct 28, 20263m 16s
  More actions for workflow run 7

• First slice: one DER element (X.690), read and written, proved (bar v2)

  completed successfully:
  verified bar#6:Pull request#2synchronizebyzero-aska
  claude/der-first-slice

  Oct 28, 20263m 13s
  More actions for workflow run 6

• encoding_unique: state it on the writer's encoding

  completed successfully:
  verified bar#5:Commit7fb4f0bpushedbyzero-aska
  claude/der-first-slice

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

• First slice: one DER element (X.690), read and written, proved (bar v2)

  failed:
  verified bar#4:Pull request#2openedbyzero-aska
  claude/der-first-slice

  Oct 28, 20263m 14s
  More actions for workflow run 4

• Planted bugs: 35 of 35 caught, with ENUMERATED and valid

  failed:
  verified bar#3:Commitb9b604epushedbyzero-aska
  claude/der-first-slice

  Oct 28, 20263m 22s
  More actions for workflow run 3

• Differential tests: a model of X.690, four oracles, Wycheproof

  failed:
  verified bar#2:Commitf18cb93pushedbyzero-aska
  claude/der-first-slice

  Oct 28, 20263m 15s
  More actions for workflow run 2

• README and SPEC for the first slice

  failed:
  verified bar#1:Commitb64e157pushedbyzero-aska
  claude/der-first-slice

  Oct 27, 20261m 5s
  More actions for workflow run 1