Code

Add actor alive interface#1919

Code

Merged

Gamenot merged 8 commits intomasterhuawei-noah/SMARTS:masterfrom tucker/actor-alivehuawei-noah/SMARTS:tucker/actor-aliveCopy head branch name to clipboardApr 4, 2023

+93-19

Commits

Commits on Mar 28, 2023

• Add actor alive interface

  Gamenot

  committed
  3074d97

  Copy full SHA for 3074d97

• Working implentation

  Gamenot

  committed
  d48ee8f

  Copy full SHA for d48ee8f

• Fix test.

  Gamenot

  committed
  0b1ca08

  Copy full SHA for 0b1ca08

• Make format

  Gamenot

  committed
  19e8593

  Copy full SHA for 19e8593

• Fix id iterator.

  Gamenot

  committed
  2b1a636

  Copy full SHA for 2b1a636

Commits on Mar 31, 2023

• Add actors alive to conversion.

  Gamenot

  committed
  fadb6a9

  Copy full SHA for fadb6a9

Commits on Apr 4, 2023

• Forgotten review address.

  Gamenot

  committed
  c8cd908

  Copy full SHA for c8cd908

• Fix variable length tuple typing.

  Gamenot

  committed
  a80b03c

  Copy full SHA for a80b03c