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 May 23, 2024

• 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 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