pgo icon indicating copy to clipboard operation
pgo copied to clipboard

Published 20 hours ago • verified publisher icon DistCompiler

Representing time(r) in PlusCal/PGo

Open minhnhdo opened this issue 7 years ago • 1 comments

minhnhdo avatar Jan 17 '18 06:01 minhnhdo

For documentation purposes, a good starting point to think about this problem is probably chapter 2 of the TLA+ book.

rmascarenhas avatar Jan 18 '18 20:01 rmascarenhas

We have supported something like this for some time - see current systems/ folder.

fhackett avatar Nov 01 '22 22:11 fhackett