rete-final · Tags · Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code

This server will be unavailable due to maintenance on July 29, 2026 between 19:00 and 22:00 (Central European Time). We are sorry for the inconvenience. During this period, neither Git nor the GitLab web interface will be available, so please make sure you plan accordingly.

rete-final

Rensink, Arend (UT-EEMCS)

@m7644387

1d54570a · Merge branch 'worktree-attr-desugar-gh859' · Jul 19, 2026

Last mainline tree containing the RETE matching engine, retired in the following commit; see claude/rete-retirement.md on the retirement branch for revival notes.

Admin message