Difference between revisions of "The Latex to LSC Compiler"

From WeizmannWiki
Jump to: navigation, search
(Created page with "== The Latex to LSC Compiler ==")
 
(This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.)
Line 1: Line 1:
== The Latex to LSC Compiler ==
+
= The Latex2PlayGo Compiler =
 +
 
 +
This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.
 +
 
 +
== The PlayGo Environment ==
 +
 
 +
First we need to download [https://weizmann.box.com/s/vze4kqq5gbf01cw92lx5dwijjju1pddb here] a PlayGo version that includes a template project and the Latex2PlayGo compiler.
 +
 
 +
The (general) userguide for PlayGo can be found [https://weizmann.box.com/s/irjrbvlipdol1vm64v0kf7uju00lqzn1 here].
 +
 
 +
You can also find useful information and tutorials at the [http://wiki.weizmann.ac.il/playgo/index.php/Main_Page PlayGo homepage].

Revision as of 15:19, 17 May 2017

The Latex2PlayGo Compiler

This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.

The PlayGo Environment

First we need to download here a PlayGo version that includes a template project and the Latex2PlayGo compiler.

The (general) userguide for PlayGo can be found here.

You can also find useful information and tutorials at the PlayGo homepage.