3 ms·
> tooling to run model checkers in a ci pipeline Helpful to escape the alloy UI: https://github.com/elo-enterprises/docker-alloy-cli https://github.com/elo-en
by photonthug 2y ago
> tooling to run model checkers in a ci pipeline
Helpful to escape the alloy UI:
https://github.com/elo-enterprises/docker-alloy-cli https://github.com/elo-enterprises/docker-alloy-cli
- chrsig 2y agoMy hero! I looked into what it would take to tackle it from the source code, There were some barriers, like the jars not really being published to maven, but the biggest just being the time & energy investment to pick up java again. I'll definitely be looking into this project and seeing if there's anything I can contribute back.