apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Optimize dependencies after refactoring `passes`

Open Kukovec opened this issue 2 years ago • 0 comments

As tla-types is now a typechecker-only module, and passes live on their own, we should rewire dependencies in build.sbt to reflect the new dependency graph.

Kukovec avatar Oct 19 '22 10:10 Kukovec