User contributions
From WeizmannWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 08:00, 10 September 2014 (diff | hist) . . (+23) . . Wall Painting Example (→Download the Wall Painting Example)
- 07:56, 10 September 2014 (diff | hist) . . (-103) . . Wristwatch Example (→Wristwatch final application (runnable jar))
- 07:54, 10 September 2014 (diff | hist) . . (+34) . . Phone Specification
- 07:53, 10 September 2014 (diff | hist) . . (+30) . . Phone Specification
- 07:50, 10 September 2014 (diff | hist) . . (+27) . . PlayGo Examples (→Water Tap)
- 07:49, 10 September 2014 (diff | hist) . . (-3) . . PlayGo Examples (→Baby Monitor)
- 07:48, 10 September 2014 (diff | hist) . . (+19) . . Baby Monitor Specification (→Baby Monitor LSC project)
- 07:48, 10 September 2014 (diff | hist) . . (+9) . . Baby Monitor Specification (→Baby Monitor final application (runnable jar))
- 07:46, 10 September 2014 (diff | hist) . . (+25) . . PlayGo Examples (→Memory Game LSC project)
- 07:45, 10 September 2014 (diff | hist) . . (+17) . . PlayGo Examples (→Memory game final application (runnable jar))
- 07:25, 10 September 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (Smadar uploaded a new version of "File:MemoryGameSwingGUI.zip") (current)
- 07:09, 10 September 2014 (diff | hist) . . (-110) . . Troubleshoot (→Play-out failure)
- 07:08, 10 September 2014 (diff | hist) . . (+198) . . Troubleshoot (→Play-out failure)
- 07:02, 10 September 2014 (diff | hist) . . (-103) . . Download PlayGo
- 12:55, 23 August 2014 (diff | hist) . . (+28) . . Wall Painting Example (→Installation Instructions)
- 12:51, 23 August 2014 (diff | hist) . . (+1) . . Wall Painting Example (→Downloads)
- 12:42, 23 August 2014 (diff | hist) . . (+4) . . Getting Started with PlayGo (→Create your first LSC project) (current)
- 06:29, 30 July 2014 (diff | hist) . . (-17) . . Download PlayGo (→PlayGo for Linux)
- 06:28, 30 July 2014 (diff | hist) . . (-8) . . Download PlayGo (→PlayGo for Linux)
- 10:37, 15 July 2014 (diff | hist) . . (0) . . Download PlayGo
- 08:01, 17 June 2014 (diff | hist) . . (-31) . . Download PlayGo
- 08:01, 17 June 2014 (diff | hist) . . (-35) . . Download PlayGo
- 07:59, 17 June 2014 (diff | hist) . . (-42) . . Download PlayGo
- 07:39, 16 June 2014 (diff | hist) . . (-45) . . Download PlayGo
- 05:19, 8 June 2014 (diff | hist) . . (+60) . . Download PlayGo
- 05:16, 8 June 2014 (diff | hist) . . (+149) . . Download PlayGo
- 07:12, 28 May 2014 (diff | hist) . . (+56) . . Download PlayGo
- 07:11, 28 May 2014 (diff | hist) . . (-56) . . Download PlayGo (→PlayGo for Windows)
- 06:13, 22 May 2014 (diff | hist) . . (0) . . File:Rovtool-source 20140520-1220.zip (Smadar uploaded a new version of "File:Rovtool-source 20140520-1220.zip") (current)
- 06:21, 21 May 2014 (diff | hist) . . (+131) . . Wall Painting Example (→Download the ROV framework)
- 06:16, 21 May 2014 (diff | hist) . . (0) . . N File:Rovtool-source 20140520-1220.zip
- 06:14, 21 May 2014 (diff | hist) . . (+563) . . Wall Painting Example (→Download the Wall Painting Example)
- 09:48, 14 May 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (Smadar uploaded a new version of "File:MemoryGameSwingGUI.zip")
- 08:45, 1 May 2014 (diff | hist) . . (+30) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:44, 1 May 2014 (diff | hist) . . (+4) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:31, 1 May 2014 (diff | hist) . . (-5) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:20, 1 May 2014 (diff | hist) . . (-31) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:14, 1 May 2014 (diff | hist) . . (-12) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:14, 1 May 2014 (diff | hist) . . (+160) . . PlayGo Feature List (→Java API for LSC Creation)
- 08:06, 1 May 2014 (diff | hist) . . (-134) . . How to create an LSC specification using the Java API (current)
- 07:09, 1 May 2014 (diff | hist) . . (+52) . . PlayGo Feature List (→Java API for LSC Creation)
- 07:07, 1 May 2014 (diff | hist) . . (-1) . . How to create an LSC specification using the Java API
- 11:50, 29 April 2014 (diff | hist) . . (0) . . File:LSC Language Reference PlayGo.pdf (Smadar uploaded a new version of "File:LSC Language Reference PlayGo.pdf")
- 09:10, 29 April 2014 (diff | hist) . . (0) . . m LSC Language Reference (Smadar moved page LSC Reference to LSC Language Reference) (current)
- 09:10, 29 April 2014 (diff | hist) . . (+36) . . N LSC Reference (Smadar moved page LSC Reference to LSC Language Reference) (current)
- 07:07, 29 April 2014 (diff | hist) . . (-2) . . LSC Language Reference
- 07:06, 29 April 2014 (diff | hist) . . (+63) . . LSC Language Reference
- 07:04, 29 April 2014 (diff | hist) . . (+86) . . Language & Concepts (→Additional Information)
- 06:58, 29 April 2014 (diff | hist) . . (0) . . LSC Language Reference
- 06:57, 29 April 2014 (diff | hist) . . (-1) . . LSC Language Reference
- 06:57, 29 April 2014 (diff | hist) . . (+485) . . LSC Language Reference
- 06:55, 29 April 2014 (diff | hist) . . (+20) . . How to implement Universal Binding (current)
- 06:47, 29 April 2014 (diff | hist) . . (0) . . N File:LSC Language Reference PlayGo.pdf
- 06:45, 29 April 2014 (diff | hist) . . (+12) . . LSC Language Reference
- 06:45, 29 April 2014 (diff | hist) . . (0) . . LSC Language Reference (→Step and Superstep)
- 06:45, 29 April 2014 (diff | hist) . . (+92) . . LSC Language Reference
- 06:42, 29 April 2014 (diff | hist) . . (+4) . . LSC Language Reference (→Step and Superstep)
- 06:41, 29 April 2014 (diff | hist) . . (+7) . . LSC Language Reference (→Step and Superstep)
- 06:41, 29 April 2014 (diff | hist) . . (-28) . . LSC Language Reference (→Step and Superstep)
- 06:40, 29 April 2014 (diff | hist) . . (-19) . . LSC Language Reference (→LSC Specification)
- 06:34, 29 April 2014 (diff | hist) . . (+14) . . How to implement Universal Binding
- 06:23, 29 April 2014 (diff | hist) . . (+483) . . PlayGo Feature List (→Play-out strategies)
- 06:20, 29 April 2014 (diff | hist) . . (+9) . . How to define play-in-able Swing GUI application (→Right-click menu) (current)
- 06:19, 29 April 2014 (diff | hist) . . (+47) . . PlayGo HowTo
- 06:18, 29 April 2014 (diff | hist) . . (0) . . N File:GenerateBPJevent.png (current)
- 06:18, 29 April 2014 (diff | hist) . . (+1,695) . . N How to create S2A-BPJ integrated solution (Created page with "There is great value in integrating parts of the same specification written in different BP implementations into a single running application. We describe here how to create a...") (current)
- 06:17, 29 April 2014 (diff | hist) . . (0) . . N File:WallPainting.zip (current)
- 06:12, 29 April 2014 (diff | hist) . . (0) . . N File:ForbidRedUntilRefill.png (current)
- 06:12, 29 April 2014 (diff | hist) . . (0) . . N File:MonitorRED.png (current)
- 06:11, 29 April 2014 (diff | hist) . . (+2,160) . . N Wall Painting Example (Created page with "This example demonstrates the integration of [http://www.wisdom.weizmann.ac.il/~bprogram/bpj/ BPJ] scenarios with LSCs. An explanation of the original example and the behavior...")
- 06:10, 29 April 2014 (diff | hist) . . (-2) . . PlayGo Examples (→Wall Painting)
- 06:09, 29 April 2014 (diff | hist) . . (0) . . N File:Drone.jpg (current)
- 06:07, 29 April 2014 (diff | hist) . . (+798) . . PlayGo Examples
- 08:13, 23 March 2014 (diff | hist) . . (+8) . . How to implement Universal Binding
- 16:02, 19 March 2014 (diff | hist) . . (+11) . . How to view a specification: in the LSC editor and in the UML editor (current)
- 15:51, 13 March 2014 (diff | hist) . . (+20) . . Download PlayGo
- 15:41, 13 March 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851.withNewFormalJar.zip (current)
- 09:06, 2 March 2014 (diff | hist) . . (-10) . . Third party components (current)
- 09:06, 2 March 2014 (diff | hist) . . (+156) . . Third party components
- 09:03, 2 March 2014 (diff | hist) . . (+3,014) . . N Third party components (New page: This software includes the following third party software components. Copies of the licenses can be found in the folder third_party_components_licenses. To obtain additional materials r...)
- 08:07, 27 February 2014 (diff | hist) . . (0) . . File:AlarmDisplay.png (uploaded a new version of "Image:AlarmDisplay.png") (current)
- 08:06, 27 February 2014 (diff | hist) . . (0) . . File:AlarmOff.png (uploaded a new version of "Image:AlarmOff.png") (current)
- 08:05, 27 February 2014 (diff | hist) . . (0) . . File:AlarmBeep.png (uploaded a new version of "Image:AlarmBeep.png") (current)
- 08:04, 27 February 2014 (diff | hist) . . (0) . . File:BlinkAlarm.png (uploaded a new version of "Image:BlinkAlarm.png") (current)
- 08:03, 27 February 2014 (diff | hist) . . (0) . . File:EnableAlarm.png (uploaded a new version of "Image:EnableAlarm.png") (current)
- 08:02, 27 February 2014 (diff | hist) . . (0) . . File:AlarmState.png (uploaded a new version of "Image:AlarmState.png") (current)
- 08:01, 27 February 2014 (diff | hist) . . (0) . . File:DisplayDate.png (uploaded a new version of "Image:DisplayDate.png") (current)
- 08:00, 27 February 2014 (diff | hist) . . (0) . . File:LightState.png (uploaded a new version of "Image:LightState.png") (current)
- 07:59, 27 February 2014 (diff | hist) . . (0) . . File:ShowTime.png (uploaded a new version of "Image:ShowTime.png") (current)
- 07:58, 27 February 2014 (diff | hist) . . (0) . . File:TimeTicks.png (uploaded a new version of "Image:TimeTicks.png") (current)
- 07:57, 27 February 2014 (diff | hist) . . (0) . . File:TypeChangeUpdate.png (uploaded a new version of "Image:TypeChangeUpdate.png") (current)
- 07:56, 27 February 2014 (diff | hist) . . (0) . . File:UpdateTypeBlink.png (uploaded a new version of "Image:UpdateTypeBlink.png") (current)
- 07:55, 27 February 2014 (diff | hist) . . (0) . . File:UpdateType.png (uploaded a new version of "Image:UpdateType.png") (current)
- 07:53, 27 February 2014 (diff | hist) . . (0) . . File:UpdateSeconds.png (uploaded a new version of "Image:UpdateSeconds.png") (current)
- 07:52, 27 February 2014 (diff | hist) . . (0) . . File:IncreaseTime.png (uploaded a new version of "Image:IncreaseTime.png") (current)
- 07:51, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmHoursEnd.png (uploaded a new version of "Image:ModeAlarmHoursEnd.png") (current)
- 07:48, 27 February 2014 (diff | hist) . . (0) . . File:ModeAlarmEnd.png (uploaded a new version of "Image:ModeAlarmEnd.png") (current)
- 07:46, 27 February 2014 (diff | hist) . . (0) . . File:ModesAlarm.png (uploaded a new version of "Image:ModesAlarm.png") (current)
- 07:45, 27 February 2014 (diff | hist) . . (0) . . File:Modes.png (uploaded a new version of "Image:Modes.png") (current)
- 07:38, 27 February 2014 (diff | hist) . . (0) . . File:WatchModes.png (uploaded a new version of "Image:WatchModes.png") (current)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)