Post A6Gk2sLPfGaw9pU1Ds by mikegerwitz@mastodon.mikegerwitz.com
 (DIR) More posts by mikegerwitz@mastodon.mikegerwitz.com
 (DIR) Post #A6Gk2rNVG0flA1SAqG by mikegerwitz@mastodon.mikegerwitz.com
       2021-04-10T06:07:05Z
       
       0 likes, 0 repeats
       
       Working on a TLC2 (TLA+ model checker) package for Guix, until I found that one of its dependencies is lsp4j (not yet packaged), which is built with Gradle, which is not currently packaged in Guix.This escalated quickly.  I should probably try to build without Gradle.  My Java skills are weak, so I guess we'll see how this goes...
       
 (DIR) Post #A6Gk2rqDXFdob4t6bA by mikegerwitz@mastodon.mikegerwitz.com
       2021-04-12T05:42:45Z
       
       0 likes, 0 repeats
       
       I'm pretty excited that I have a working #TLA+ Tools package for #guix working now (tla2tools.jar).  But I have a lot of cleanup (for it and new dependencies) to do before offering a patch, and some more wrapper scripts to write.  Also need to figure out why some pcal tests are failing.This allows for model checking, simulation, and LaTeX output generation, among some other things as well.
       
 (DIR) Post #A6Gk2sLPfGaw9pU1Ds by mikegerwitz@mastodon.mikegerwitz.com
       2021-04-15T04:36:19Z
       
       1 likes, 0 repeats
       
       TLA+ Tools patch series submitted after ~17 hours of work:https://issues.guix.gnu.org/47789I'll consider tackling TLAPS (the proof system) in the near future, if I have the energy and it's not too involved.