Skip to content

Chore/update latest rascal release#18

Merged
jurgenvinju merged 5 commits intocwi-swat:mainfrom
SWAT-engineering:chore/update-latest-rascal-release
Nov 7, 2024
Merged

Chore/update latest rascal release#18
jurgenvinju merged 5 commits intocwi-swat:mainfrom
SWAT-engineering:chore/update-latest-rascal-release

Commits

Commits on Oct 30, 2024

Commits on Oct 31, 2024

Commits on Nov 7, 2024