User contributions
From WeizmannWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:54, 25 November 2012 (diff | hist) . . (0) . . N File:Playgo ver1.4.3.zip (current)
- 08:54, 29 October 2012 (diff | hist) . . (-39) . . PlayGo Feature List (→Trace exploration and visualization)
- 08:49, 29 October 2012 (diff | hist) . . (+49) . . PlayGo Feature List (→Trace exploration and visualization)
- 08:46, 29 October 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Synthesis)
- 08:43, 29 October 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Counter play-out)
- 08:42, 29 October 2012 (diff | hist) . . (+104) . . PlayGo Feature List (→Synthesis)
- 08:36, 24 October 2012 (diff | hist) . . (+5) . . How to Play In
- 08:34, 24 October 2012 (diff | hist) . . (-4) . . How to change a play-out strategy (current)
- 08:33, 24 October 2012 (diff | hist) . . (+30) . . How to change a play-out strategy
- 08:32, 24 October 2012 (diff | hist) . . (+10) . . How to change a play-out strategy
- 09:29, 10 October 2012 (diff | hist) . . (0) . . N File:Playin.ignore.JPG (current)
- 09:27, 10 October 2012 (diff | hist) . . (+8) . . How to Play In (→Basic play-in)
- 09:26, 10 October 2012 (diff | hist) . . (+100) . . How to Play In
- 07:58, 10 October 2012 (diff | hist) . . (+9) . . How to change a play-out strategy
- 07:57, 10 October 2012 (diff | hist) . . (+241) . . How to change a play-out strategy
- 07:53, 10 October 2012 (diff | hist) . . (-1) . . How to change a play-out strategy
- 11:24, 28 March 2012 (diff | hist) . . (0) . . N File:CommandLine.png (current)
- 11:23, 28 March 2012 (diff | hist) . . (+1,375) . . N How to run an LSC project outside the context of PlayGo (New page: == From Eclipse == * Open the project in Eclipse * Remove the following System Arguments (if exists): '''-DlscDebug=true -Dport=2080''' (these arguments are responsible for the LSC debuggi...) (current)
- 11:23, 28 March 2012 (diff | hist) . . (0) . . PlayGo HowTo
- 11:22, 28 March 2012 (diff | hist) . . (+51) . . PlayGo HowTo
- 11:17, 28 March 2012 (diff | hist) . . (+862) . . N How to create an LSC specification using the Java API (New page: You can create new LSCs by coding them in Java. The il.ac.wis.cs.common project, provided with the PlayGo download, contains an example for creating LSCs by coding them in Java. You can us...)
- 11:16, 28 March 2012 (diff | hist) . . (+199) . . N How to generate a Tracer log (New page: ====Generate Tracer Logs==== Configuring the tracer is done from the S2A project's properties page. The generated log files can be explored using the [[The Tracer ...)
- 11:15, 28 March 2012 (diff | hist) . . (0) . . File:S2a.playout.properties.jpeg (uploaded a new version of "Image:S2a.playout.properties.jpeg") (current)
- 11:12, 28 March 2012 (diff | hist) . . (+167) . . N How to change a play-out strategy (New page: Changing the active play-out strategy is possible from the project Properties page: Image:S2a.playout.properties.jpeg)
- 11:09, 28 March 2012 (diff | hist) . . (0) . . How to change the way elements are shown in the LSC editor
- 11:07, 28 March 2012 (diff | hist) . . (0) . . N File:Preferences.lsceditor.png (current)
- 11:06, 28 March 2012 (diff | hist) . . (+214) . . N How to change the way elements are shown in the LSC editor (New page: You can affect the way elements are displayed in the editor by changing some of the values in the Preferences. From the Windows menu select Preferences --> PlayGo --> LSCEditor: [[Image:p...)
- 11:05, 28 March 2012 (diff | hist) . . (+587) . . N LSC Locations in PlayGo (New page: A location is the intersection of a lifeline with any other LSC construct, such as message, condition, sub chart. A location is marked graphically by a solid, filled, red or blue circle. ...) (current)
- 11:03, 28 March 2012 (diff | hist) . . (+782) . . N How to view a specification: in the LSC editor and in the UML editor (New page: An LSC specification can be viewed using the LSC editor. Since PlayGo contains the UML variant of LSC, one can also view the LSC specification using the UML editor provided as part of [ht...)
- 11:01, 28 March 2012 (diff | hist) . . (0) . . N File:Play-in-able.jpg (current)
- 10:59, 28 March 2012 (diff | hist) . . (-256) . . How to define play-in-able Swing GUI application
- 10:58, 28 March 2012 (diff | hist) . . (0) . . File:New.LSC.project.JPG (uploaded a new version of "Image:New.LSC.project.JPG") (current)
- 10:55, 28 March 2012 (diff | hist) . . (+551) . . PlayGo HowTo
- 10:55, 28 March 2012 (diff | hist) . . (+37) . . PlayGo
- 12:00, 27 March 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Synthesis)
- 11:40, 27 March 2012 (diff | hist) . . (+1,145) . . PlayGo Feature List
- 11:39, 27 March 2012 (diff | hist) . . (+323) . . PlayGo Feature List (→Synthesis)
- 18:48, 21 March 2012 (diff | hist) . . (+1) . . Getting Started with PlayGo (→Install PlayGo)
- 18:47, 21 March 2012 (diff | hist) . . (+29) . . Download PlayGo
- 08:34, 18 March 2012 (diff | hist) . . (0) . . PlayGo Examples (→Water Tap)
- 08:34, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.zip
- 08:33, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.uml (current)
- 10:34, 15 March 2012 (diff | hist) . . (+1) . . PlayGo HowTo
- 10:34, 15 March 2012 (diff | hist) . . (+2) . . PlayGo HowTo
- 10:33, 15 March 2012 (diff | hist) . . (-6) . . PlayGo Examples
- 10:31, 15 March 2012 (diff | hist) . . (+30) . . Instructions for creating LSC project from LSC file
- 10:30, 15 March 2012 (diff | hist) . . (+8) . . Instructions for creating LSC project from LSC file
- 10:29, 15 March 2012 (diff | hist) . . (0) . . N File:New.lscProjectByModel.jpg
- 10:28, 15 March 2012 (diff | hist) . . (0) . . N File:NewLSCProject.jpg (current)
- 10:25, 15 March 2012 (diff | hist) . . (+420) . . N Instructions for creating LSC project from LSC file (New page: # Download and install PlayGo #Start PlayGo #Create a new LSC project as follows: ## File Menu-->New-->LSC Project ## In the new LSC project dialog, check the 'choose ...)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)