Commits

Branch selector

 main

User selector

NL02

All time

Commit History

Commits on Jun 10, 2026

• [Explicit State Access] Add constraint to require all writes come after all reads of the same state element

  Show description for 0f0dd69
  

  NL02

  authored and

  copybara-github

  committed
  0f0dd69

  Copy full SHA for 0f0dd69

Commits on Jun 8, 2026

• [Explicit State Access] Add package-wide check for unused or mistyped arc override patterns and verify imposed arc throughput limits don't violate constraints.

  Show description for fd25f0a
  

  NL02

  authored and

  copybara-github

  committed
  fd25f0a

  Copy full SHA for fd25f0a

• [Explicit State Access] Set throughput constraints and check for arc pattern when adding backedge constraints.

  Show description for 3fba966
  

  NL02

  authored and

  copybara-github

  committed
  3fba966

  Copy full SHA for 3fba966

Commits on Jun 3, 2026

• [Explicit State Access] Add library functions to check for ambiguous or overlapping patterns

  Show description for eae7f64
  

  NL02

  authored and

  copybara-github

  committed
  eae7f64

  Copy full SHA for eae7f64

• [Explicit State Access] Add functions to help determine throughput when given multiple labeled or unlabeled arcs.

  Show description for 7934596
  

  NL02

  authored and

  copybara-github

  committed
  7934596

  Copy full SHA for 7934596

Commits on Jun 1, 2026

• Remove unused target

  Show description for f4208b4
  

  NL02

  authored and

  copybara-github

  committed
  f4208b4

  Copy full SHA for f4208b4

Commits on May 29, 2026

• [Explicit State Access] Add input parsing for command line flags --default_arc_worst_case_throughput and --arc_worst_case_throughput

  Show description for 01df504
  

  NL02

  authored and

  copybara-github

  committed
  01df504

  Copy full SHA for 01df504

Commits on May 27, 2026

• [Explcit State Access] Support Next nodes constructed by state element in array_untuple_pass.

  Show description for bf84bbf
  

  NL02

  authored and

  copybara-github

  committed
  bf84bbf

  Copy full SHA for bf84bbf

Commits on May 19, 2026

• [Explicit State Access] Support Next Nodes constructed with state element in pipeline_register_insertion_pass.

  Show description for 3aca1da
  

  NL02

  authored and

  copybara-github

  committed
  3aca1da

  Copy full SHA for 3aca1da

Commits on May 12, 2026

• Add a fuzzer test

  Show description for 3d0955c
  

  NL02

  authored and

  copybara-github

  committed
  3d0955c

  Copy full SHA for 3d0955c

Commits on May 7, 2026

• Add a fuzzer test

  Show description for 03974f9
  

  NL02

  authored and

  copybara-github

  committed
  03974f9

  Copy full SHA for 03974f9

• Add a fuzzer test failure

  Show description for 39263e8
  

  NL02

  authored and

  copybara-github

  committed
  39263e8

  Copy full SHA for 39263e8

Commits on May 1, 2026

• [Explicit State Access] Error when detecting a write without a corresponding state read

  Show description for 42e7034
  

  NL02

  authored and

  copybara-github

  committed
  42e7034

  Copy full SHA for 42e7034

Commits on Apr 30, 2026

• Explicit State Access: Scheduling support for unread/multi-read Next nodes

  Show description for 9ebb548
  

  NL02

  authored and

  copybara-github

  committed
  9ebb548

  Copy full SHA for 9ebb548

Commits on Apr 22, 2026

• [Explicit State Access] Verify updated ir code for ExplicitStateAccess produces error assertions.

  Show description for 153339c
  

  NL02

  authored and

  copybara-github

  committed
  153339c

  Copy full SHA for 153339c

• [Explicit State Access] Update function_converter to use new Next methods which only take in state_element and update golden files

  Show description for b446791
  

  NL02

  authored and

  copybara-github

  committed
  b446791

  Copy full SHA for b446791

Commits on Apr 21, 2026

• [Explicit State Access] Support direct StateElement in Next nodes

  Show description for 76be06f
  

  NL02

  authored and

  copybara-github

  committed
  76be06f

  Copy full SHA for 76be06f

Commits on Apr 14, 2026

• [Explicit State Access] Update xls/ir code to use GetStateReadsByStateElement and GetStateReads

  Show description for b1fe66d
  

  NL02

  authored and

  copybara-github

  committed
  b1fe66d

  Copy full SHA for b1fe66d

Commits on Apr 10, 2026

• [Explicit State Access] Allow multiple StateRead nodes to map to a single state element.

  Show description for 07144ac
  

  NL02

  authored and

  copybara-github

  committed
  07144ac

  Copy full SHA for 07144ac

Commits on Apr 6, 2026

• Refactor GetStateElement and GetStateRead Function signatures to avoid casting int64_t.

  Show description for 924d3e7
  

  NL02

  authored and

  copybara-github

  committed
  924d3e7

  Copy full SHA for 924d3e7

Commits on Mar 31, 2026

• [Explicit State Access] Replace StateRead parameter in next_values with StateElement

  Show description for 92e7668
  

  NL02

  authored and

  copybara-github

  committed
  92e7668

  Copy full SHA for 92e7668

Commits on Mar 30, 2026

• [Explicit State Access] Allow multiple states to be passed into proc's Next and update asserts to handle multiple states

  Show description for f41a74a
  

  NL02

  authored and

  copybara-github

  committed
  f41a74a

  Copy full SHA for f41a74a

Commits on Mar 24, 2026

• [Explicit State Access] Save labels to StateRead and Next nodes

  Show description for 11a0950
  

  NL02

  authored and

  copybara-github

  committed
  11a0950

  Copy full SHA for 11a0950

Commits on Mar 23, 2026

• [Explicit State Access] Allow rust-like label syntax where optional labels can be detected with an apostrophe '''.

  Show description for 348cb38
  

  NL02

  authored and

  copybara-github

  committed
  348cb38

  Copy full SHA for 348cb38

Commits on Mar 17, 2026

• [Explicit State Value] Add a constructor method for Next node to set up refactor which replaces the state_read node with state_element

  Show description for 612a349
  

  NL02

  authored and

  copybara-github

  committed
  612a349

  Copy full SHA for 612a349

Commits on Mar 11, 2026

• [Explicit State Access] Add label field to next and state read nodes

  Show description for 752f219
  

  NL02

  authored and

  copybara-github

  committed
  752f219

  Copy full SHA for 752f219

Commits on Mar 5, 2026

• [Explicit State Access] Clean up repetitive testing code

  Show description for cffe84c
  

  NL02

  authored and

  copybara-github

  committed
  cffe84c

  Copy full SHA for cffe84c

Commits on Mar 4, 2026

• [Explicit State Access] Add function headers for labeled_read and labeled_write

  Show description for e1d9ef4
  

  NL02

  authored and

  copybara-github

  committed
  e1d9ef4

  Copy full SHA for e1d9ef4

Commits on Feb 27, 2026

• Automated rollback of commit 5e2eab60930bcb586011acc4799ebfb8a6619a3b.

  Show description for 059cfc2
  

  NL02

  authored and

  copybara-github

  committed
  059cfc2

  Copy full SHA for 059cfc2

Commits on Feb 25, 2026

• [Explicit State Access] Add some error handling for read and write.

  Show description for a89edd7
  

  NL02

  authored and

  copybara-github

  committed
  a89edd7

  Copy full SHA for a89edd7

Commits on Feb 18, 2026

• [Explicit State Access] Add builtin read/write functionality for state

  Show description for 88d3f34
  

  NL02

  authored and

  copybara-github

  committed
  88d3f34

  Copy full SHA for 88d3f34

Commits on Feb 12, 2026

• [Explicit State Access] Error if attempting to read or write without feature flag

  Show description for 350979b
  

  NL02

  authored and

  copybara-github

  committed
  350979b

  Copy full SHA for 350979b

Commits on Feb 2, 2026

• [Explicit State Access] Create AstVisitorNode to implcitly Cast State<T> onto Proc Next Param's

  Show description for a6fbcbc
  

  NL02

  authored and

  copybara-github

  committed
  a6fbcbc

  Copy full SHA for a6fbcbc

Commits on Jan 28, 2026

• [Explicit State Access] Return the type as the initialized state in init

  Show description for df6a997
  

  NL02

  authored and

  copybara-github

  committed
  df6a997

  Copy full SHA for df6a997

• [Explicit State Access] Move Pre and Post TypeCheckPass to make builtin_stubs available within semantics_analysis

  Show description for f5259af
  

  NL02

  authored and

  copybara-github

  committed
  f5259af

  Copy full SHA for f5259af