AnimB limitations: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

27 September 2010

20 November 2008

2 October 2008

  • curprev 09:2509:25, 2 October 2008‎ imported>Mathieu‎ m 2,468 bytes +51‎ cat
  • curprev 09:2109:21, 2 October 2008‎ imported>Wohuai‎ 2,417 bytes +2,417‎ New page: When you try to animate a non-trivial model, it might happen that you get an internal error. It might also happen that some events are gray, which means that the animator is unable to eval...
Retrieved from ‘https://wiki.event-b.org/index.php/AnimB_limitations’