Coverage

Workflow runs for Coverage

• feat(toolchain): harden inputs and add integer lowering and interpret…

  completed successfully:
  Coverage#45:Commit9eed195pushedbyLunaStev
  master

  Oct 12, 20261m 27s
  More actions for workflow run 45

• feat(toolchain): harden inputs and add integer lowering and interpreted calls

  completed successfully:
  Coverage#44:Pull request#293synchronizebyLunaStev
  LunaStev:feat/toolchain-correctness-and-execution

  Oct 12, 20261m 15s
  More actions for workflow run 44

• feat(toolchain): harden inputs and add integer lowering and interpreted calls

  completed successfully:
  Coverage#43:Pull request#293openedbyLunaStev
  LunaStev:feat/toolchain-correctness-and-execution

  Oct 12, 20261m 14s
  More actions for workflow run 43

• fix(cli): validate artifact arguments and implement object debug outp…

  completed successfully:
  Coverage#42:Commit91ce99dpushedbyLunaStev
  master

  Oct 12, 20261m 11s
  More actions for workflow run 42

• fix(cli): reject invalid artifact arguments and implement object debug output

  completed successfully:
  Coverage#41:Pull request#292openedbyLunaStev
  LunaStev:fix/cli-arguments-and-object-debug

  Oct 12, 20261m 3s
  More actions for workflow run 41

• test: cover LCOV crate aggregation (#291)

  completed successfully:
  Coverage#40:Commit06577d6pushedbyLunaStev
  master

  Oct 7, 20261m 39s
  More actions for workflow run 40

• test: cover LCOV crate aggregation

  completed successfully:
  Coverage#39:Pull request#291openedbypollychen-lab
  pollychen-lab:agent/lcov-aggregation-regressions

  Oct 7, 20261m 32s
  More actions for workflow run 39

• feat(ir): execute tracked stack memory and enforce initialized reads …

  completed successfully:
  Coverage#38:Commitff38bafpushedbyLunaStev
  master

  Oct 7, 20263m 57s
  More actions for workflow run 38

• Execute tracked IR memory and enforce initialized reads

  completed successfully:
  Coverage#37:Pull request#243openedbyLunaStev
  LunaStev:feat/tracked-ir-memory

  Oct 7, 20261m 28s
  More actions for workflow run 37

• feat(ir): interpret bounded scalar integer and control-flow modules (…

  completed successfully:
  Coverage#36:Commit430c6fbpushedbyLunaStev
  master

  Oct 7, 20261m 15s
  More actions for workflow run 36

• feat(ir): execute bounded integer and control-flow IR

  completed successfully:
  Coverage#35:Pull request#242openedbyLunaStev
  LunaStev:feat/integer-ir-interpreter

  Oct 7, 20261m 24s
  More actions for workflow run 35

• feat(ir): read format 3 text and bound verification resources (#241)

  completed successfully:
  Coverage#34:Commit020d2a4pushedbyLunaStev
  master

  Oct 7, 20261m 23s
  More actions for workflow run 34

• feat(ir): read format 3 text and bound verification resources

  completed successfully:
  Coverage#33:Pull request#241synchronizebyLunaStev
  LunaStev:feat/ir-reader-and-bounded-verification

  Oct 7, 20261m 25s
  More actions for workflow run 33

• feat(ir): read format 3 text and bound verification resources

  completed successfully:
  Coverage#32:Pull request#241openedbyLunaStev
  LunaStev:feat/ir-reader-and-bounded-verification

  Oct 7, 20261m 20s
  More actions for workflow run 32

• fix(ir): verify casts and print explicit escaped identities (#240)

  completed successfully:
  Coverage#31:Commitb80bbbepushedbyLunaStev
  master

  Oct 7, 20263m 22s
  More actions for workflow run 31

• fix(ir): validate casts and emit unambiguous quoted IR

  completed successfully:
  Coverage#30:Pull request#240openedbyLunaStev
  LunaStev:fix/ir-casts-and-text-identities

  Oct 6, 20261m 27s
  More actions for workflow run 30

• feat: typed function declarations and verified direct and indirect ca…

  completed successfully:
  Coverage#29:Commit4f45fdbpushedbyLunaStev
  master

  Sep 27, 20261m 7s
  More actions for workflow run 29

• feat: typed function declarations and verified direct and indirect calls

  completed successfully:
  Coverage#28:Pull request#237synchronizebyLunaStev
  LunaStev:feat/typed-function-calls

  Sep 27, 20261m 27s
  More actions for workflow run 28

• feat: typed function declarations and verified direct and indirect calls

  completed successfully:
  Coverage#27:Pull request#237openedbyLunaStev
  LunaStev:feat/typed-function-calls

  Sep 27, 20263m 55s
  More actions for workflow run 27

• feat: version AST inputs and add optional Wave ELF records (#236)

  completed successfully:
  Coverage#26:Commit7dcfc5dpushedbyLunaStev
  master

  Sep 25, 20261m 24s
  More actions for workflow run 26

• feat: version AST inputs and add optional Wave ELF records

  completed successfully:
  Coverage#25:Pull request#236synchronizebyLunaStev
  LunaStev:feat/versioned-input-wave-elf

  Sep 25, 20262m 7s
  More actions for workflow run 25

• feat: version AST inputs and add optional Wave ELF records

  completed successfully:
  Coverage#24:Pull request#236openedbyLunaStev
  LunaStev:feat/versioned-input-wave-elf

  Sep 25, 20261m 41s
  More actions for workflow run 24

• docs: remove Rust tagline from README (#234)

  completed successfully:
  Coverage#23:Commit0792f0fpushedbyLunaStev
  master

  Sep 25, 20262m 9s
  More actions for workflow run 23

• docs: remove Rust tagline from README

  completed successfully:
  Coverage#22:Pull request#234openedbyLunaStev
  LunaStev:docs/remove-rust-tagline

  Sep 25, 20261m 44s
  More actions for workflow run 22

• fix(object): separate BSS storage and check section layouts (#233)

  completed successfully:
  Coverage#21:Commitedcd92bpushedbyLunaStev
  master

  Sep 25, 20261m 39s
  More actions for workflow run 21