tla-transmutation
tla-transmutation copied to clipboard
Published
20 hours ago •
bugarela
bugarela
Elixir code and test generation from TLA+ specifications
Results
1
tla-transmutation issues
Sort by
recently updated
recently updated
newest added
Just an FYI (from your talk here: https://www.youtube.com/watch?v=trm9Lp0yt6Y), you can parse TLA+ with either Apalache (it outputs JSON which you can then walk in whatever language you want), or there's...
