ReqProof Audit

Workflow runs for ReqProof Audit

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#50:Pull request#291synchronizebybuger
  perf/eachkey-array-grouping

  Oct 5, 20268m 29s
  More actions for workflow run 50

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#49:Pull request#291synchronizebybuger
  perf/eachkey-array-grouping

  Oct 5, 20266m 12s
  More actions for workflow run 49

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#48:Pull request#291synchronizebybuger
  perf/eachkey-array-grouping

  Oct 5, 20266m 11s
  More actions for workflow run 48

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#47:Pull request#291synchronizebybuger
  perf/eachkey-array-grouping

  Oct 5, 20268m 11s
  More actions for workflow run 47

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#46:Pull request#291synchronizebybuger
  perf/eachkey-array-grouping

  Oct 4, 20268m 19s
  More actions for workflow run 46

• perf: group EachKey/EachKeyErr array paths by index (4x dense extraction)

  failed:
  ReqProof Audit#45:Pull request#291openedbybuger
  perf/eachkey-array-grouping

  Oct 4, 20266m 25s
  More actions for workflow run 45

• test: assert OOB Set is retrieved at the last index

  failed:
  ReqProof Audit#44:Pull request#290openedbyofficial-burak
  official-burak:fix-oracle-oob-set-append-get

  Sep 2, 202630d 0h 5m 26s
  More actions for workflow run 44

• path_compiler: clamp the pre-allocation hint in ParsePath

  failed:
  ReqProof Audit#43:Pull request#289synchronizebytzh476
  tzh476:clamp-path-hint

  Sep 1, 202630d 0h 4m 1s
  More actions for workflow run 43

• path_compiler: clamp the pre-allocation hint in ParsePath

  failed:
  ReqProof Audit#42:Pull request#289synchronizebytzh476
  tzh476:clamp-path-hint

  Aug 29, 202630d 0h 3m 44s
  More actions for workflow run 42

• path_compiler: clamp the pre-allocation hint in ParsePath

  failed:
  ReqProof Audit#41:Pull request#289openedbytzh476
  tzh476:clamp-path-hint

  Aug 28, 202630d 0h 1m 56s
  More actions for workflow run 41

• Merge parseInt fast-path (PR #285) + align SYS-REQ-061/062 surrogate FRETish

  failed:
  ReqProof Audit#40:Pull request#287openedbybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 27, 20261m 10s
  More actions for workflow run 40

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#39:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 20261m 14s
  More actions for workflow run 39

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#38:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 20261m 0s
  More actions for workflow run 38

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#37:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 20261m 8s
  More actions for workflow run 37

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#36:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 202638s
  More actions for workflow run 36

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#35:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 20261m 5s
  More actions for workflow run 35

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#34:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  Jul 26, 202656s
  More actions for workflow run 34

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#30:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  May 3, 202649s
  More actions for workflow run 30

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#29:Pull request#283synchronizebybuger
  fix-oss-fuzz-delete-leading-comma

  May 3, 202655s
  More actions for workflow run 29

• fix(parser): guard Delete leading-comma panic + empty-string key path components; L3 strict proof review

  failed:
  ReqProof Audit#28:Pull request#283openedbybuger
  fix-oss-fuzz-delete-leading-comma

  May 1, 20261m 3s
  More actions for workflow run 28

• Fix 2 bugs, remove 7 dead code blocks, add formal verification

  failed:
  ReqProof Audit#27:Pull request#281synchronizebybuger
  reqproof-assurance-hardening

  Apr 27, 202641s
  More actions for workflow run 27

• Fix 2 bugs, remove 7 dead code blocks, add formal verification

  completed successfully:
  ReqProof Audit#26:Pull request#281synchronizebybuger
  reqproof-assurance-hardening

  Apr 24, 202645s
  More actions for workflow run 26

• Fix 2 bugs, remove 7 dead code blocks, add formal verification

  completed successfully:
  ReqProof Audit#25:Pull request#281synchronizebybuger
  reqproof-assurance-hardening

  Apr 23, 202646s
  More actions for workflow run 25

• Fix 2 bugs, remove 7 dead code blocks, add formal verification

  completed successfully:
  ReqProof Audit#24:Pull request#281synchronizebybuger
  reqproof-assurance-hardening

  Apr 20, 202637s
  More actions for workflow run 24

• Fix 2 bugs, remove 7 dead code blocks, add formal verification

  completed successfully:
  ReqProof Audit#23:Pull request#281synchronizebybuger
  reqproof-assurance-hardening

  Apr 19, 20261m 15s
  More actions for workflow run 23