Difference between revisions of "The Latex to LSC Compiler"
From WeizmannWiki
(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 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 13: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.
