All pull requests

Pull requests

• chore(analyzer): bump tla-ts to 0.0.8

  #640·aidenybai opened Nov 4, 2026Owner·

  ·
  3

• fix(verifier): keep only the last pass of a render React repeats

  #639·aidenybai opened Nov 4, 2026Owner·

  ·
  3

• fix(verifier): stand in for globals a module declares ambiently

  #638·aidenybai opened Nov 4, 2026Owner·

  ·
  3

• fix(conformance): drop branch hits from a render React throws away

  #637·aidenybai opened Nov 4, 2026Owner·

  ·
  3

• fix(conformance): count the target of a logical assignment without wrapping it

  #636·aidenybai opened Nov 4, 2026Owner·

  ·
  3

• refactor(analyzer): let TLC compute next values

  #621·aidenybai opened Nov 3, 2026Owner·

  ·
  3

• refactor(analyzer): read the state graph through tla-ts onState and onStep

  #620·aidenybai opened Nov 3, 2026Owner·

  ·
  3

• refactor(analyzer): use TLA+ terms in the viewer and drop regions

  #610·aidenybai opened Nov 2, 2026Owner·

  ·
  3

• refactor(analyzer): batch type checker queries into a dense type table

  #608·aidenybai opened Nov 2, 2026Owner·

  ·
  3

• feat(analyzer): write each component as a TLA+ spec

  #512·aidenybai opened Oct 27, 2026Owner·

  ·
  8

• feat(analyzer): the viewer opens on a list of its examples

  #223·aidenybai opened Oct 20, 2026Owner·

  ·
  4

• chore: move the toolchain from pnpm and vite-plus to bun and tsdown

  #156·aidenybai opened Oct 13, 2026Owner·

  ·
  5

• Add engine262-backed scalar analysis and concrete execution

  #149·aidenybai opened Sep 28, 2026Owner·

  ·
  3

• Add contextual module resolution and toolchain adapters

  #147·aidenybai opened Sep 25, 2026Owner·

  ·
  3

• Set up pinned engine262 and Test262 harness

  #146·aidenybai opened Sep 25, 2026Owner·

  ·
  4

• feat(parser): build React fiber trees from source without running it

  #116·aidenybai opened Sep 6, 2026Owner·

  ·
  3

• feat(analyzer): add React program analysis

  #115·aidenybai opened Sep 6, 2026Owner·

  ·
  15

  

• feat: add diagram component board

  #114·aidenybai opened Sep 6, 2026Owner·

  ·
  7

• feat: lightweight react-reconciler-compatible reconciler

  #107·aidenybai opened Aug 28, 2026Owner·

  ·
  8

  

• Add conditional hooks example

  #96·aidenybai opened Aug 15, 2026Owner·

  ·
  3

• Refactor Bippy for happy-path clarity

  #93·aidenybai opened Aug 13, 2026Owner·

  ·
  3

• Harden instrumentation and remove dead code

  #80·aidenybai opened Jul 24, 2026Owner·

  ·
  3

• Add experimental conditional hooks runtime

  #74·aidenybai opened Jul 19, 2026Owner·

  ·
  3

• chore(deps): bump actions/setup-node from 4 to 7

  dependenciesgithub_actions
  #73·dependabot[bot] opened Jul 15, 2026Bot·

  ·
  3

• chore(deps): bump actions/cache from 4 to 6

  dependenciesgithub_actions
  #72·dependabot[bot] opened Jul 15, 2026Bot·

  ·
  4