All workflows

Workflow runs

• CI

  failed:
  CI#2410:Scheduled
  main

  Nov 13, 202646s
  More actions for workflow run 2410

• docs(rewrite): design the M3 analysis manager

  completed successfully:
  Rust minimum supported version#104:Pull request#857synchronizebyalexcgatea
  alex/analysis-manager

  Nov 12, 20265m 31s
  More actions for workflow run 104

• docs(rewrite): design the M3 analysis manager

  completed successfully:
  Rust minimum supported version#103:Pull request#857stackedbyalexcgatea
  alex/analysis-manager

  Nov 12, 20265m 32s
  More actions for workflow run 103

• docs(rewrite): design the M3 analysis manager

  completed successfully:
  Rust minimum supported version#102:Pull request#857openedbyalexcgatea
  alex/analysis-manager

  Nov 12, 20265m 43s
  More actions for workflow run 102

• feat(rewrite): worklist-based fixpoint driver

  completed successfully:
  Rust minimum supported version#101:Pull request#854synchronizebyalexcgatea
  alex/queue-based-fixpoint-driver

  Nov 12, 20266m 25s
  More actions for workflow run 101

• feat(rewrite): native statement and block rules in driver sweeps (#842)

  completed successfully:
  Rust minimum supported version#100:Commit5f51f0apushedbyalexcgatea
  rust

  Nov 12, 20265m 41s
  More actions for workflow run 100

• feat(rewrite): native statement and block rules in driver sweeps

  completed successfully:
  Rust minimum supported version#99:Pull request#842synchronizebyalexcgatea
  alex/native-rules

  Nov 12, 20265m 33s
  More actions for workflow run 99

• CI

  failed:
  CI#2409:Scheduled
  main

  Nov 12, 202643s
  More actions for workflow run 2409

• feat(ir): move and splice statements, blocks and CFGs in Rewriter

  completed successfully:
  Rust minimum supported version#98:Pull request#848synchronizebyalexcgatea
  alex/code-motion

  Nov 11, 20264m 25s
  More actions for workflow run 98

• refactor(ir): create and insert statements at an InsertionPoint

  completed successfully:
  Rust minimum supported version#97:Pull request#849synchronizebyalexcgatea
  alex/insertion-api

  Nov 11, 20265m 7s
  More actions for workflow run 97

• feat(ir): move and splice statements, blocks and CFGs in Rewriter

  completed successfully:
  Rust minimum supported version#96:Pull request#848synchronizebyalexcgatea
  alex/code-motion

  Nov 11, 20265m 58s
  More actions for workflow run 96

• feat(ir): move and splice statements, blocks and CFGs in Rewriter

  completed successfully:
  Rust minimum supported version#95:Pull request#848synchronizebyalexcgatea
  alex/code-motion

  Nov 11, 20262h 5m 6s
  More actions for workflow run 95

• Type system framework for Kirin

  completed successfully:
  Rust minimum supported version#94:Pull request#855openedbyplanza-quera
  planza/type-system-framework

  Nov 11, 20265m 11s
  More actions for workflow run 94

• refactor(interpreter): read analysis results through one view (#853)

  completed successfully:
  Rust minimum supported version#93:Commit2958d85pushedbyzhenrongliew
  rust

  Nov 11, 20265m 34s
  More actions for workflow run 93

• feat(ir): move and splice statements, blocks and CFGs in Rewriter

  completed successfully:
  Rust minimum supported version#92:Pull request#848synchronizebyalexcgatea
  alex/code-motion

  Nov 11, 20263m 46s
  More actions for workflow run 92

• refactor(interpreter): read analysis results through one view

  completed successfully:
  Rust minimum supported version#91:Pull request#853synchronizebyzhenrongliew
  dl/analysis-results-view

  Nov 11, 20264m 50s
  More actions for workflow run 91

• feat(rewrite): worklist-based fixpoint driver

  completed successfully:
  Rust minimum supported version#90:Pull request#854synchronizebyalexcgatea
  alex/queue-based-fixpoint-driver

  Nov 11, 20264m 7s
  More actions for workflow run 90

• CI

  completed successfully:
  CI#2408:Scheduled
  main

  Nov 11, 202647s
  More actions for workflow run 2408

• feat(rewrite): worklist-based fixpoint driver

  completed successfully:
  Rust minimum supported version#89:Pull request#854synchronizebyalexcgatea
  alex/queue-based-fixpoint-driver

  Nov 10, 20265m 36s
  More actions for workflow run 89

• feat(rewrite): worklist-based fixpoint driver

  completed successfully:
  Rust minimum supported version#88:Pull request#854openedbyalexcgatea
  alex/queue-based-fixpoint-driver

  Nov 10, 20265m 8s
  More actions for workflow run 88

• feat(rewrite): worklist-based fixpoint driver

  completed successfully:
  Rust minimum supported version#87:Pull request#854stackedbyalexcgatea
  alex/queue-based-fixpoint-driver

  Nov 10, 20264m 40s
  More actions for workflow run 87

• refactor(interpreter): read analysis results through one view

  completed successfully:
  Rust minimum supported version#86:Pull request#853openedbyzhenrongliew
  dl/analysis-results-view

  Nov 10, 20266m 3s
  More actions for workflow run 86

• check annotated operand types in generated builders

  completed successfully:
  Rust minimum supported version#85:Pull request#847synchronizebyJonhasA
  jc/rs-ssa-val-check

  Nov 10, 20264m 34s
  More actions for workflow run 85

• feat(ir): clone statements and CFGs, and inline calls in linear time

  completed successfully:
  Rust minimum supported version#84:Pull request#851openedbyalexcgatea
  alex/cloning-inlining

  Nov 10, 20265m 42s
  More actions for workflow run 84

• feat(ir): clone statements and CFGs, and inline calls in linear time

  completed successfully:
  Rust minimum supported version#83:Pull request#851stackedbyalexcgatea
  alex/cloning-inlining

  Nov 10, 20265m 20s
  More actions for workflow run 83