Repository navigation

test: quint spec for stf - #15

Open

tac0turtle wants to merge 11 commits into

mainfrom

marko/quint_trial

Open

test: quint spec for stf#15
tac0turtle wants to merge 11 commits into
mainfrom
marko/quint_trial

Commits on Feb 24, 2026
- add quint spec for stf
  tac0turtle
  committed
  a6e2ccd
- regenerate specs
  tac0turtle
  committed
  304bfe5
- add some more
  tac0turtle
  committed
  a450801
Commits on Feb 26, 2026
- redo specs
  tac0turtle
  committed
  bee32ce
Commits on Mar 6, 2026
- simplify
  tac0turtle
  committed
  ab8bd1d
Commits on Mar 9, 2026
- erge branch 'main' into marko/quint_trial
  tac0turtle
  committed
  a8e2aae
- quality
  tac0turtle
  committed
  4e156a3
- dedup
  tac0turtle
  committed
  61c89af
- fix and use quint connect
  tac0turtle
  committed
  cb0dc79
- quint connect migration
  tac0turtle
  committed
  51c60eb
Commits on Mar 10, 2026
- Merge branch 'main' into marko/quint_trial
  tac0turtle
  committed
  e200886