User contributions
From WeizmannWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 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) . . (+36) . . N LSC Reference (Smadar moved page LSC Reference to LSC Language Reference) (current)
- 09:10, 29 April 2014 (diff | hist) . . (0) . . m LSC Language 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)
- 06:08, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSystemModelGUI.zip (uploaded a new version of "Image:WristWatchExampleSystemModelGUI.zip") (current)
- 06:07, 27 February 2014 (diff | hist) . . (0) . . File:WristWatch.zip (uploaded a new version of "Image:WristWatch.zip") (current)
- 06:06, 27 February 2014 (diff | hist) . . (0) . . File:WristWatchExampleSwingGUI.zip (uploaded a new version of "Image:WristWatchExampleSwingGUI.zip") (current)
- 15:31, 25 February 2014 (diff | hist) . . (-837) . . How to define play-in-able Swing GUI application
- 15:28, 25 February 2014 (diff | hist) . . (+51) . . PlayGo HowTo
- 15:26, 25 February 2014 (diff | hist) . . (+199) . . N How to see the locations in the LSC editor (New page: To view the locations of the LSC lifelines, first open the LSC in the LSC Editor. Now click the 'Show/Hide Locations' button in the PlayGo toolbar. *[[LSC Locations in PlayGo| More about ...) (current)
- 15:26, 25 February 2014 (diff | hist) . . (-324) . . How to view a specification: in the LSC editor and in the UML editor
- 15:25, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode2.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode3.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaCode1.png (current)
- 15:24, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSCSpec.png (current)
- 15:23, 25 February 2014 (diff | hist) . . (0) . . N File:ConcreteLSC.png (current)
- 15:23, 25 February 2014 (diff | hist) . . (0) . . N File:UniversalBindingViaConcretization.png (current)
- 15:22, 25 February 2014 (diff | hist) . . (+2,007) . . N How to implement Universal Binding (New page: At present [http://www.wisdom.weizmann.ac.il/~maozs/s2a/ S2A Compiler], which is the mechanism used for playing out LSC specification, does not support [[LSC Reference#Universal_Binding|un...)
- 15:21, 25 February 2014 (diff | hist) . . (+24) . . PlayGo HowTo
- 15:18, 25 February 2014 (diff | hist) . . (+140) . . PlayGo HowTo
- 15:03, 25 February 2014 (diff | hist) . . (0) . . N File:Phone.zip (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC22.png (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC23.png (current)
- 15:01, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC20.png (current)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)