Skip to content

Add SANY as a parser backend option - #275

Open
ahelwer wants to merge 1 commit into
tlaplus:mainfrom
ahelwer:sany-parser-backend
Open

Add SANY as a parser backend option#275
ahelwer wants to merge 1 commit into
tlaplus:mainfrom
ahelwer:sany-parser-backend

Add SANY as a parser backend option

190faf5
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jun 19, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO