Commits

Commit history

1. Commits on Nov 10, 2026

   • Draw a StateRefinement without from only from the states it leaves uncovered

     Show description for 23a1d3b
     

     CatarinaGamboa

     and

     claude

     committed
     23a1d3bView commit details

     Copy full SHA for 23a1d3b

     View code at this pointBrowse repository at this point
2. Commits on Nov 9, 2026

   • Negate only a state compared with != as a value of its set

     Show description for b5a1061
     

     CatarinaGamboa

     and

     claude

     committed
     b5a1061View commit details

     Copy full SHA for b5a1061

     View code at this pointBrowse repository at this point

   • Read named state sets and states written as values of their sets

     Show description for c927195
     

     CatarinaGamboa

     and

     claude

     committed
     c927195View commit details

     Copy full SHA for c927195

     View code at this pointBrowse repository at this point
3. Commits on Nov 4, 2026

   • Skip a missing file and test a supertype spec without a state set

     Show description for 0ae018e
     

     CatarinaGamboa

     and

     claude

     committed
     0ae018eView commit details

     Copy full SHA for 0ae018e

     View code at this pointBrowse repository at this point

   • Inherit the state sets and methods of the supertypes' specs

     Show description for 10e5d0b
     

     CatarinaGamboa

     and

     claude

     committed
     10e5d0bView commit details

     Copy full SHA for 10e5d0b

     View code at this pointBrowse repository at this point
4. Commits on Oct 26, 2026

   • Draw a StateRefinement without from as an entry transition

     Show description for 2b5519d
     

     CatarinaGamboa

     and

     claude

     committed
     2b5519dView commit details

     Copy full SHA for 2b5519d

     View code at this pointBrowse repository at this point
5. Commits on Oct 25, 2026

   • Parse one state machine per state set

     Show description for 7f6f718
     

     CatarinaGamboa

     and

     claude

     committed
     7f6f718View commit details

     Copy full SHA for 7f6f718

     View code at this pointBrowse repository at this point
6. Commits on Oct 24, 2026

   • Draw only the diagram and look up classes by name

     Show description for 8573a29
     

     CatarinaGamboa

     and

     claude

     committed
     8573a29View commit details

     Copy full SHA for 8573a29

     View code at this pointBrowse repository at this point

   • Add the receiver's possible states to StateMachineErrorContext

     Show description for d11acf0
     

     CatarinaGamboa

     and

     claude

     committed
     d11acf0View commit details

     Copy full SHA for d11acf0

     View code at this pointBrowse repository at this point
7. Commits on Oct 20, 2026

   • Add the failing call's context to StateMachineErrorContext

     Show description for 6486cd9
     

     CatarinaGamboa

     and

     claude

     committed
     6486cd9View commit details

     Copy full SHA for 6486cd9

     View code at this pointBrowse repository at this point

   • Add static factory methods as initial transitions

     Show description for 45a0ef1
     

     CatarinaGamboa

     and

     claude

     committed
     45a0ef1View commit details

     Copy full SHA for 45a0ef1

     View code at this pointBrowse repository at this point
8. Commits on Sep 24, 2026

   • Record constructor signatures on initial state transitions

     CatarinaGamboa

     committed
     fde3ebfView commit details

     Copy full SHA for fde3ebf

     View code at this pointBrowse repository at this point
9. Commits on Sep 8, 2026

   • Add Project

     rcosta358

     committed
     ecedc30View commit details

     Copy full SHA for ecedc30

     View code at this pointBrowse repository at this point
10. Loading