Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 5, 2026

• Add `oneof` as alias for `any` nondeterministic choice, deprecate `any` (#326)

  Show description for 8c85883
  

  3 peopleauthored
  8c85883

  Copy full SHA for 8c85883

Commits on Jun 10, 2025

• Partial implementation of refinement - parser and ast changes. (#223)

  Show description for b8f857e
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  b8f857e

  Copy full SHA for b8f857e

Commits on May 21, 2025

• Add grammar and ast changes to support state space composition (#202)

  Show description for 4743eb2
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  4743eb2

  Copy full SHA for 4743eb2

Commits on Apr 29, 2025

• Custom param name for transition assertion (#181)

  Show description for df063bc
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  df063bc

  Copy full SHA for df063bc

• Initial version of transition assertion (#180)

  Show description for c373e62
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  c373e62

  Copy full SHA for c373e62

Commits on Jan 2, 2025

• Allow specifying durable and ephemeral states for roles (#138)

  Show description for 14ba2c4
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  14ba2c4

  Copy full SHA for 14ba2c4

Commits on Dec 4, 2024

• Implement fairness marker on any keyword. (#115)

  Show description for 09460e4
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  09460e4

  Copy full SHA for 09460e4

Commits on Oct 16, 2024

• First steps to CTL - exists assertion type (#103)

  jayaprabhakar

  authored
  2b59739

  Copy full SHA for 2b59739

Commits on Jul 6, 2024

• Use 'if' instead of ':' in the x = any iterable if condition (#59)

  Show description for 8aedd7a
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  8aedd7a

  Copy full SHA for 8aedd7a

Commits on Jun 15, 2024

• Support symmetric_values and symmetric role (#48)

  Show description for 410144a
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  410144a

  Copy full SHA for 410144a

Commits on May 23, 2024

• Any with condition (#38)

  Show description for 0eae88e
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  0eae88e

  Copy full SHA for 0eae88e

• Support require stmt and simplified any stmt (#37)

  Show description for 8280cba
  

  jp-fizzbee

  and

  jayaprabhakar

  authored
  8280cba

  Copy full SHA for 8280cba

Commits on May 6, 2024

• Support for methods within roles (#28)

  jp-fizzbee

  authored
  92c861c

  Copy full SHA for 92c861c

Commits on Apr 29, 2024

• Role AST and parser (#21)

  jp-fizzbee

  authored
  bf44d5e

  Copy full SHA for bf44d5e

Commits on Mar 26, 2024

• Fresh commit from the old repo (#1)

  jp-fizzbee

  authored
  228338c

  Copy full SHA for 228338c

Loading