Inference Rules: 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.

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

23 August 2010

6 August 2010

4 August 2010

28 April 2010

  • curprev 13:4713:47, 28 April 2010imported>Tommy 23,389 bytes −884 Rules OV_SETENUM_L (resp. OV_SETENUM_R) and OV_L (resp. OV_R) have been implemented in r8699.

21 April 2010

27 March 2010

1 February 2010

  • curprev 11:5611:56, 1 February 2010imported>Laurent 23,295 bytes +1,470 Added rules SIMP_CARD_SETMINUS_L, SIMP_CARD_SETMINUS_R, SIMP_CARD_CPROD_L and SIMP_CARD_CPROD_R (were previously rewrite rules).

15 January 2010

13 January 2010

7 January 2010

  • curprev 11:0811:08, 7 January 2010imported>Laurent 21,825 bytes +813 Replaced CARD_SUBSETEQ by DERIV_LE_CARD, DERIV_GE_CARD, DERIV_LT_CARD, DERIV_GT_CARD, DERIV_EQUAL_CARD.

23 December 2009

  • curprev 11:5311:53, 23 December 2009imported>Laurent 21,012 bytes 0 Code for rules FIN_SUBSETEQ_R and FIN_REL_R is now fixed in Subversion.

21 December 2009

14 November 2009

11 November 2009

8 October 2009

18 August 2009

  • curprev 09:0409:04, 18 August 2009imported>Nicolasm 21,191 bytes +288 added SIM_REL_IMAGE_L (for implementation traceability purposes)
  • curprev 08:5808:58, 18 August 2009imported>Nicolasm 20,903 bytes +301 added SIM_FCOMP_L (for implementation traceability purposes)
  • curprev 08:5408:54, 18 August 2009imported>Nicolasm 20,602 bytes +369 added DIS_SETMINUS_L (for implementation traceability purposes)

17 August 2009

15 July 2009

  • curprev 09:0009:00, 15 July 2009imported>Nicolasm 19,031 bytes +172 Added comment for one point rule with 'exists' quantifier

10 July 2009

8 July 2009

6 July 2009

3 July 2009

23 June 2009

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)