Re: [tlaplus] How to build Codeplex Tlaplus Tools?

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 09.03.2015 09:32, marc magrans de abril wrote:
> I'm not sure if I will have the time or the skill to make it happen.
> However, If I had both, I would like to fix the simulation issue with
> Liveness. Simulation is pretty useful when the state space is too big,
> even if incomplete.
> 
> [...]
> 
> In summary just ideas and a small amount of time.

Hi Marc,

in order to use your time most efficiently, consider following the
"mku-liveness" branch. It's where I'm working on TLC's liveness
implementation myself. I'd assume it is best if we even occasionally
touch base.

Cheers
Markus