Recent changes

From Event-B

Track the most recent changes to the wiki on this page.

7 September 2010

• (diff) (hist) . . m Mode/FT Views‎; 17:05 . . (0) . . Ilya.lopatkin (Talk | contribs)
• (diff) (hist) . . Mode/FT Views‎; 17:04 . . (+2) . . Ilya.lopatkin (Talk | contribs)
• (diff) (hist) . . m Mode/FT Views‎; 16:43 . . (+92) . . Ilya.lopatkin (Talk | contribs)
• (diff) (hist) . . m Mode/FT Views‎; 16:40 . . (+4,332) . . Ilya.lopatkin (Talk | contribs)
• (diff) (hist) . . Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 16:19 . . (+27) . . Pascal (Talk | contribs) (→Step 1 : Adding POG modules: )
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 16:13 . . (+8) . . Pascal (Talk | contribs) (→Principles: )
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 16:12 . . (-6) . . Pascal (Talk | contribs) (→In this part: )
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 16:12 . . (-109) . . Pascal (Talk | contribs) (→Principles: )
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 15:56 . . (+9) . . Pascal (Talk | contribs) (→In this part: )
• (Upload log); 14:43 . . Ilya.lopatkin (Talk | contribs) (uploaded "Image:Modes train ft5959588.png": The train mode view with an emergency stop recovery mode)
• (Upload log); 13:48 . . Ilya.lopatkin (Talk | contribs) (uploaded "Image:Modes editing tips 45978567.png": The mode view editor)
• (diff) (hist) . . m Datatype Rules‎; 13:37 . . (0) . . Nicolas (Talk | contribs) (→Datatypes used: )
• (diff) (hist) . . Datatype Rules‎; 13:25 . . (-1,118) . . Nicolas (Talk | contribs) (removed application of auto eh in right part of sequents)
• (diff) (hist) . . Datatype Rules‎; 11:48 . . (+4,868) . . Nicolas (Talk | contribs) (Induction)
• (diff) (hist) . . m Extending the Static Checker (How to extend Rodin Tutorial)‎; 07:29 . . (-20) . . Pascal (Talk | contribs)
• (diff) (hist) . . m Extending the Static Checker (How to extend Rodin Tutorial)‎; 07:25 . . (+62) . . Pascal (Talk | contribs)
• (diff) (hist) . . m Extending the Static Checker (How to extend Rodin Tutorial)‎; 07:24 . . (+110) . . Pascal (Talk | contribs)
• (diff) (hist) . . Extending the Static Checker (How to extend Rodin Tutorial)‎; 07:24 . . (+107) . . Pascal (Talk | contribs)
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 07:23 . . (+13,492) . . Pascal (Talk | contribs)
• (Move log); 07:19 . . Pascal (Talk | contribs) (Extending the Proof Obligation Generator(How to extend Rodin Tutorial) moved to Extending the Proof Obligation Generator (How to extend Rodin Tutorial))
• (diff) (hist) . . m Providing help for your plug-in (How to extend Rodin Tutorial)‎; 07:18 . . (+87) . . Pascal (Talk | contribs)
• (Move log); 07:17 . . Pascal (Talk | contribs) (Extending the Static Checker(How to extend Rodin Tutorial) moved to Extending the Static Checker (How to extend Rodin Tutorial))
• (diff) (hist) . . m Providing help for your plug-in (How to extend Rodin Tutorial)‎; 07:16 . . (+65) . . Pascal (Talk | contribs)
• (diff) (hist) . . m Extending the Rodin Event-B Explorer (How to extend Rodin Tutorial)‎; 07:15 . . (+6) . . Pascal (Talk | contribs)
• (diff) (hist) . . m Extending the Rodin database (How to extend Rodin Tutorial)‎; 07:14 . . (+3) . . Pascal (Talk | contribs)

6 September 2010

• (diff) (hist) . . m Datatype Rules‎; 17:43 . . (+187) . . Nicolas (Talk | contribs) (→Application to trees: )
• (diff) (hist) . . m Datatype Rules‎; 17:15 . . (+718) . . Nicolas (Talk | contribs)
• (diff) (hist) . . m Datatype Rules‎; 17:02 . . (+596) . . Nicolas (Talk | contribs) (→Application to lists: )
• (diff) (hist) . . m Datatype Rules‎; 16:53 . . (+142) . . Nicolas (Talk | contribs) (→Application to lists: )
• (diff) (hist) . . m Datatype Rules‎; 16:49 . . (+45) . . Nicolas (Talk | contribs) (→Application to directions: )
• (diff) (hist) . . m Datatype Rules‎; 16:47 . . (-24) . . Nicolas (Talk | contribs) (→Application to directions: )
• (diff) (hist) . . m Datatype Rules‎; 16:46 . . (+861) . . Nicolas (Talk | contribs) (applying DC to directions)
• (diff) (hist) . . m Datatype Rules‎; 16:23 . . (-48) . . Nicolas (Talk | contribs) (corrected typos)
• (diff) (hist) . . m Mode/FT Views‎; 14:56 . . (+2,597) . . Ilya.lopatkin (Talk | contribs)
• (Upload log); 14:09 . . Ilya.lopatkin (Talk | contribs) (uploaded "Image:Modes train refinement4789bng4.png": Example of a refined modal diagram.)
• (Upload log); 12:48 . . Ilya.lopatkin (Talk | contribs) (uploaded "Image:Modes train properties892456089.png": Example of a mode diagram with an assumption/guarantee and an event mapping specified)
• (diff) (hist) . . m Modularisation Integration Issues‎; 11:34 . . (+1,069) . . Alexili (Talk | contribs)
• (diff) (hist) . . m Modularisation Integration Issues‎; 11:21 . . (+974) . . Alexili (Talk | contribs)
• (diff) (hist) . . m Modularisation Integration Issues‎; 11:15 . . (-8) . . Alexili (Talk | contribs)
• (diff) (hist) . . m Modularisation Integration Issues‎; 11:14 . . (+4) . . Alexili (Talk | contribs)
• (diff) (hist) . . m Modularisation Integration Issues‎; 11:13 . . (+137) . . Alexili (Talk | contribs)
• (diff) (hist) . . Nm Modularisation Integration Issues‎; 11:11 . . (+1,264) . . Alexili (Talk | contribs) (New page: The Modularisation plugin extends Event-B notation with the notions of interface and operation call. An interface is a new component kind declaring some external variables, invariants and ...)
• (diff) (hist) . . m Modularisation Plug-in‎; 10:57 . . (+70) . . Alexili (Talk | contribs)
• (diff) (hist) . . Nm Datatype Rules‎; 10:22 . . (+1,527) . . Nicolas (Talk | contribs) (New page: Datatype rules may seem a bit difficult to understand at first sight. Here are a few examples intended to make them clearer. They applied to the following datatypes: Directions: direct...)
• (diff) (hist) . . m Inference Rules‎; 08:54 . . (+34) . . Nicolas (Talk | contribs) (added a link to datatype rule examples)
• (diff) (hist) . . m Inference Rules‎; 08:25 . . (-71) . . Nicolas (Talk | contribs) (simplified representation of rule DATATYPE_INDUCTION (the meaning remains the same))

5 September 2010

• (diff) (hist) . . m Mode/FT Views‎; 17:00 . . (-19) . . Ilya.lopatkin (Talk | contribs)

3 September 2010

• (diff) (hist) . . N Extension Rewrite Rules‎; 17:15 . . (+753) . . Nicolas (Talk | contribs) (added rules SIMP_SPECIAL_COND_BTRUE and SIMP_SPECIAL_COND_BFALSE)
• (diff) (hist) . . m All Rewrite Rules‎; 17:12 . . (+62) . . Nicolas (Talk | contribs) (added section for extension rewrite rules)
• (diff) (hist) . . m Extending the Proof Obligation Generator(How to extend Rodin Tutorial)‎; 16:46 . . (+8) . . Tommy (Talk | contribs)