[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox

On 25.11.2015 13:34, Jaak Ristioja wrote:
> However it seems to have problems with the progress dialog not closing
> properly. After some clicking around the GUI became totally
> unresponsive, not even repainting itself after minimize+restore.
> Are there any plans for the next TLA Toolbox (bugfix) release?

Hi Jaak,

what do you mean by unresponsive progress dialog? Are you talking about
the splash screen or the one that shows up during model checking? If
it's reproducible, can you share your spec/model.

There are plans for a new TLA+ Toolbox release, but it's too early to
communicate any dates.