Markus Alexander Kuppe
Markus Alexander Kuppe
https://docs.oracle.com/javase/7/docs/api/java/util/Formatter.html
@FedericoPonzi A couple of months have passed, and it appears that you’re preparing a 0.1 release. Perhaps it’s time to revisit this PR?
+1 for the XML exporter: it has the fewest unknowns and offers the most generic API, making it best for future integration with any ecosystem.
If parsing and level-checking were fast enough, would there still be a need to track state using checksums or modification times, or is there another requirement that justifies it?
> The reason is the performance. The size of the current proof documents is small enough, and re-parsing all would still work for now. But if the stdlib or the...
I'm catching up on today's community call, where @muenchnerkindl mentioned that the proof-checking time for ByzPaxos would be too long for our GitHub CI. One potential solution could be to...
Related: https://github.com/tlaplus/vscode-tlaplus/issues/293#issuecomment-1584912472
I don't have time to resurrect publishing to maven central or Github's equivalent -- PR welcome. Can't you grab the tla2tools.jar from https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0?
https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-apache-maven-registry
https://maven.apache.org/guides/getting-started/index.html#what-is-a-snapshot-version