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

Re: TLC code

From: fl <freder...@xxxxxxxxxxx>
Date: Wed, 2 Dec 2015 05:43:39 -0800 (PST)
References: <807ab4ee-1652-471b-9c55-547e70d38b47@googlegroups.com> <63a66cfb-2b29-43d2-9a11-3ea3e2ba5f43@googlegroups.com>

> Out of curiosity, what do you mean by "TLC code"? I am not familiar with that.

Excuse me. I mean PLUSCAL obviously.

--

FL

Follow-Ups:
- Re: TLC code
  - From: Ron Pressler

References:
- TLC code
  - From: fl
- Re: TLC code
  - From: Ron Pressler

Prev by Date: Re: [tlaplus] The effect of symmetry sets on TLC performance
Next by Date: Re: [tlaplus] Re: PlusCal: implicit label Error (PlusCal translator bug?)
Previous by thread: Re: TLC code
Next by thread: Re: TLC code
Index(es):
- Date
- Thread