using:pgo_generating_go_from_pluscal

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
using:pgo_generating_go_from_pluscal [2024/09/28 18:21] – fponziusing:pgo_generating_go_from_pluscal [2024/09/28 18:21] (current) – fponzi
Line 8: Line 8:
 Watch the talk to the TLA+ 2019 conf: Watch the talk to the TLA+ 2019 conf:
  
-{{youtube>GvrpUeDN5zs}}+{{youtube>GvrpUeDN5zs?large}}
  
 You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]] You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]]
  
  • using/pgo_generating_go_from_pluscal.1727547670.txt.gz
  • Last modified: 2024/09/28 18:21
  • by fponzi