Revision history of "Proof Dependencies and Reasoner Conflicts"

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 14:49, 6 June 2011imported>Nicolasm 1,104 bytes +228
  • curprev 12:52, 1 June 2011imported>Nicolasm 876 bytes +314
  • curprev 12:46, 1 June 2011imported>Nicolasm 562 bytes +33
  • curprev 17:26, 9 March 2011imported>Nicolasm 529 bytes +529 New page: Until Rodin 2.1, proof status is determined from proof dependencies on the one hand and a proof skeleton on the other hand. The skeleton is entirely visited, searching for conflicts in rea...