Empty Set Rewrite 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.

12 May 2014

24 May 2013

22 May 2013

  • curprev 13:2713:27, 22 May 2013‎ imported>Josselin‎ 9,833 bytes +319‎ Added rules SIMP_BINTER_SING_EQUAL_EMPTY, SIMP_BINTER_SETMINUS_EQUAL_EMPTY
  • curprev 08:2308:23, 22 May 2013‎ imported>Josselin‎ 9,514 bytes +246‎ Update introduction
  • curprev 08:1708:17, 22 May 2013‎ imported>Josselin‎ 9,268 bytes −558‎ Removed rules SIMP_PRJ1_EQUAL_TYPE and SIMP_PRJ2_EQUAL_TYPE
  • curprev 08:1408:14, 22 May 2013‎ imported>Josselin‎ 9,826 bytes 0‎ Fixed rule SIMP_PPROD_EQUAL_TYPE (the condition did not typecheck)
  • curprev 08:0308:03, 22 May 2013‎ imported>Josselin‎ 9,826 bytes +7‎ Fixed side condition (SIMP_TYPE_EQUAL_RELDOMRAN)
  • curprev 07:5107:51, 22 May 2013‎ imported>Josselin‎ 9,819 bytes +3‎ Renamed rule SIMP_TYPE_EQUAL_RELDOM into SIMP_TYPE_EQUAL_RELDOMRAN
  • curprev 07:3907:39, 22 May 2013‎ imported>Josselin‎ 9,816 bytes +4‎ Fixed name rule SIMP_UPTO_EQUAL_INTEGER
  • curprev 07:3707:37, 22 May 2013‎ imported>Josselin‎ 9,812 bytes +228‎ Added rules SIMP_UPTO_EQUAL_NATURAL, SIMP_UPTO_EQUAL_NATURAL1

21 May 2013

7 May 2013

  • curprev 16:4816:48, 7 May 2013‎ imported>Laurent‎ 5,562 bytes −9‎ Update introduction about variants of the rules

2 May 2013

  • curprev 07:5207:52, 2 May 2013‎ imported>Josselin‎ 5,571 bytes +48‎ Fixed rules SIMP_CPROD_EQUAL_EMPTY, SIMP_UPTO_EQUAL_EMPTY, SIMP_SREL_EQUAL_EMPTY, SIMP_STREL_EQUAL_EMPTY (changed rule to predicate)

30 April 2013

29 April 2013

26 April 2013

Retrieved from ‘https://wiki.event-b.org/index.php/Empty_Set_Rewrite_Rules’