Shon Feder

While it would be nice in theory to make this migration prior to doing any more substantial work on Shai, not all of our dependencies currently have stabilized support for...

Igor suggested looking at jpackage: https://github.com/informalsystems/apalache/pull/1700#pullrequestreview-958831981 I'll take a look, tho I think we may already have this functionality available through sbt-native-package.

Thanks for the bug report, @craft095! To help us prioritize, could you let us know whether this bug is currently blocking your ability to use Apalache for checking your specs,...

IIUC, the key problem here is just that we aren't normalizing the types before running our equality check. We are trying to compare values which of these two types: -...

To improve the correctness and reduce ad-hoc validation logic elsewhere in the program, we should rework the CLI parsing to decode the CLI args into (optional) enums in the case...

Is this still an issue to be addressed? Seems as though sufficient info was provided back in 2017, and there may not be anything be done around this?

I came in search of this this too.

Yeah, that'd be a great start! I wonder if it would also make sense to fold #765 and #570 and this into a single issue (or, rather just pick one...

In case it's useful context, I was considering using an embedable prolog as an alternative to sqlite (nice properties, like being able to write the database to a file in...

Your hint helped me, thanks @Kixunil. To make the hint more explicit: If you're using a toml `rust-toolchain` file, you can just replace ```yml - name: Setup rust toolchain uses:...