Event-B Statemachines: Revision history

6 October 2015

• curprev 08:0408:04, 6 October 2015‎ imported>Colin‎ 13,820 bytes +3‎ →‎Validation

28 September 2015

• curprev 13:2613:26, 28 September 2015‎ imported>Son‎ m 13,817 bytes +153‎ →‎Transition
• curprev 13:0313:03, 28 September 2015‎ imported>Son‎ m 13,664 bytes +532‎ →‎Validation

26 June 2015

• curprev 09:3809:38, 26 June 2015‎ imported>Colin‎ 13,132 bytes −137‎ →‎Installation

20 October 2014

• curprev 09:0809:08, 20 October 2014‎ imported>Colin‎ 13,269 bytes +32‎ →‎Installation

6 October 2014

• curprev 07:1007:10, 6 October 2014‎ imported>Colin‎ 13,237 bytes +15‎ →‎Installation

29 September 2014

• curprev 16:0516:05, 29 September 2014‎ imported>Colin‎ 13,222 bytes −14‎ →‎Installation
• curprev 13:1713:17, 29 September 2014‎ imported>Colin‎ 13,236 bytes −57‎ →‎Installation

12 June 2014

• curprev 16:0916:09, 12 June 2014‎ imported>Colin‎ 13,293 bytes −201‎ →‎Translation to Event-B
• curprev 16:0616:06, 12 June 2014‎ imported>Colin‎ 13,494 bytes −10‎ No edit summary
• curprev 16:0116:01, 12 June 2014‎ imported>Colin‎ 13,504 bytes −15‎ →‎State Invariants
• curprev 15:5815:58, 12 June 2014‎ imported>Colin‎ 13,519 bytes +1,117‎ →‎Semantics
• curprev 12:5412:54, 12 June 2014‎ imported>Colin‎ 12,402 bytes +25‎ →‎Diagram Editor
• curprev 12:5312:53, 12 June 2014‎ imported>Colin‎ 12,377 bytes +11‎ →‎Toolbar
• curprev 12:4812:48, 12 June 2014‎ imported>Colin‎ 12,366 bytes −6‎ No edit summary
• curprev 12:4712:47, 12 June 2014‎ imported>Colin‎ 12,372 bytes +19‎ →‎Validation
• curprev 12:4512:45, 12 June 2014‎ imported>Colin‎ 12,353 bytes −5‎ No edit summary
• curprev 12:4412:44, 12 June 2014‎ imported>Colin‎ 12,358 bytes +19‎ No edit summary
• curprev 12:4012:40, 12 June 2014‎ imported>Colin‎ 12,339 bytes −194‎ →‎Elements
• curprev 12:3612:36, 12 June 2014‎ imported>Colin‎ 12,533 bytes +2,071‎ →‎Disjunctive Source States
• curprev 11:2111:21, 12 June 2014‎ imported>Colin‎ 10,462 bytes −1‎ →‎Disjunctive Source States
• curprev 11:1911:19, 12 June 2014‎ imported>Colin‎ 10,463 bytes +175‎ →‎Installation

11 June 2014

• curprev 11:4111:41, 11 June 2014‎ imported>Colin‎ 10,288 bytes +83‎ →‎Context Menu
• curprev 11:3611:36, 11 June 2014‎ imported>Colin‎ 10,205 bytes +970‎ →‎Context Menu

4 June 2014

• curprev 15:4915:49, 4 June 2014‎ imported>Colin‎ 9,235 bytes −284‎ →‎Disjunctive Source States
• curprev 15:4415:44, 4 June 2014‎ imported>Colin‎ 9,519 bytes +1‎ →‎Event-B Explorer
• curprev 15:4415:44, 4 June 2014‎ imported>Colin‎ 9,518 bytes −796‎ →‎Event-B Explorer
• curprev 15:3615:36, 4 June 2014‎ imported>Colin‎ 10,314 bytes −3‎ →‎Event-B Explorer
• curprev 15:2715:27, 4 June 2014‎ imported>Colin‎ 10,317 bytes +106‎ →‎Event-B Explorer
• curprev 14:2914:29, 4 June 2014‎ imported>Colin‎ 10,211 bytes −658‎ →‎Known Problems
• curprev 14:2714:27, 4 June 2014‎ imported>Colin‎ 10,869 bytes +321‎ →‎Installation
• curprev 14:2014:20, 4 June 2014‎ imported>Colin‎ 10,548 bytes −264‎ →‎Overview

11 January 2013

• curprev 15:2315:23, 11 January 2013‎ imported>Colin‎ 10,812 bytes +164‎ →‎Semantics
• curprev 15:1515:15, 11 January 2013‎ imported>Colin‎ 10,648 bytes −220‎ →‎Elements
• curprev 15:1215:12, 11 January 2013‎ imported>Colin‎ 10,868 bytes −3‎ →‎Disjunctive Source States
• curprev 15:1115:11, 11 January 2013‎ imported>Colin‎ 10,871 bytes +925‎ →‎Context Menu
• curprev 14:5914:59, 11 January 2013‎ imported>Colin‎ 9,946 bytes +290‎ →‎Known Problems
• curprev 14:5614:56, 11 January 2013‎ imported>Colin‎ 9,656 bytes −705‎ →‎Known Problems

11 October 2011

• curprev 11:2711:27, 11 October 2011‎ imported>Andy‎ 10,361 bytes −36‎ →‎Overview
• curprev 11:2511:25, 11 October 2011‎ imported>Andy‎ 10,397 bytes +20‎ →‎Overview
• curprev 11:2111:21, 11 October 2011‎ imported>Andy‎ 10,377 bytes 0‎ →‎Overview
• curprev 11:1811:18, 11 October 2011‎ imported>Andy‎ 10,377 bytes +3‎ →‎Overview
• curprev 11:1811:18, 11 October 2011‎ imported>Andy‎ 10,374 bytes +200‎ →‎Overview

18 May 2011

• curprev 11:4711:47, 18 May 2011‎ imported>Vitaly‎ 10,174 bytes +516‎ No edit summary
• curprev 11:2111:21, 18 May 2011‎ imported>Vitaly‎ 9,658 bytes +753‎ No edit summary

11 May 2011

• curprev 14:2714:27, 11 May 2011‎ imported>Vitaly‎ 8,905 bytes +1,076‎ No edit summary
• curprev 11:5411:54, 11 May 2011‎ imported>Vitaly‎ 7,829 bytes −10‎ No edit summary
• curprev 11:5111:51, 11 May 2011‎ imported>Vitaly‎ 7,839 bytes +1,158‎ No edit summary
• curprev 10:5810:58, 11 May 2011‎ imported>Vitaly‎ 6,681 bytes +6‎ No edit summary
• curprev 10:5410:54, 11 May 2011‎ imported>Vitaly‎ 6,675 bytes +2,026‎ No edit summary