Skip to content

Moved to the latest rascal and rascal-plugin release#12

Merged
jurgenvinju merged 3 commits intocwi-swat:mainfrom SWAT-engineering:chore/update-latest-rascal-releaseOct 17, 2024

Commits

Commits on Jun 14, 2024

Commits on Aug 27, 2024

Commits on Oct 17, 2024