Arithmetic 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.

3 June 2024

19 February 2024

25 October 2023

4 October 2023

6 April 2023

4 April 2011

17 March 2011

17 January 2011

  • curprev 17:3417:34, 17 January 2011‎ imported>Benoit‎ m 13,548 bytes −231‎ Removed rules SIMP_SPECIAL_KBOOL_BTRUE and SIMP_SPECIAL_KBOOL_BFALSE which are duplicates.
  • curprev 17:1317:13, 17 January 2011‎ imported>Benoit‎ m 13,779 bytes +5‎ Added stars to the automatic rules implemented in auto rewriter L2.
  • curprev 17:0717:07, 17 January 2011‎ imported>Benoit‎ m 13,774 bytes +25‎ Added stars to the automatic rules implemented in auto rewriter L2.

13 January 2011

  • curprev 14:0414:04, 13 January 2011‎ imported>Laurent‎ 13,749 bytes −181‎ Removed rule SIMP_CARD_COMPSET which is superseded by SIMP_COMPSET_IN.

15 December 2010

8 December 2010

  • curprev 14:0514:05, 8 December 2010‎ imported>Benoit‎ 14,280 bytes +627‎ Added rules SIMP_CARD_PRJ1, SIMP_CARD_PRJ2, SIMP_CARD_PRJ1_DOMRES and SIMP_CARD_PRJ2_DOMRES
  • curprev 14:0014:00, 8 December 2010‎ imported>Benoit‎ 13,653 bytes +171‎ Renamed SIMP_CARD_ID in SIMP_CARD_ID_DOMRES and added SIMP_CARD_ID

7 December 2010

  • curprev 17:0017:00, 7 December 2010‎ imported>Benoit‎ m 13,482 bytes +275‎ rewritten SIMP_CARD_LAMBDA as described in the mail for the user list

22 November 2010

16 November 2010

8 October 2010

30 August 2010

1 February 2010

  • curprev 11:5911:59, 1 February 2010‎ imported>Laurent‎ 13,115 bytes −267‎ Removed rules SIMP_CARD_SETMINUS and SIMP_CARD_CPROD (are now inference rules).

8 January 2010

  • curprev 14:5214:52, 8 January 2010‎ imported>Laurent‎ 13,382 bytes −8‎ Updated side-condition for rules SIMP_LIT_IN_*.
  • curprev 09:3009:30, 8 January 2010‎ imported>Laurent‎ 13,390 bytes 0‎ Marked SIMP_CARD_SETMINUS as broken (both sets could be infinite, in which case WD is not preserved).

7 January 2010

  • curprev 11:2411:24, 7 January 2010‎ imported>Laurent‎ 13,390 bytes 0‎ Marked SIMP_CARD_CPROD as broken because ill-defined (e.g., if S is empty, T can be infinite)
  • curprev 11:1111:11, 7 January 2010‎ imported>Laurent‎ 13,390 bytes −882‎ Moved rules DERIV_*_CARD to the page for inference rules (which corresponds to their actual implementation).

21 December 2009

8 October 2009

26 August 2009

  • curprev 13:1413:14, 26 August 2009‎ imported>Nicolas‎ m 14,011 bytes +1,173‎ added SIMP_MULTI_ARITHREL_PLUS_PLUS, SIMP_MULTI_ARITHREL_PLUS_R, SIMP_MULTI_ARITHREL_PLUS_L, SIMP_MULTI_ARITHREL_MINUS_MINUS_R, SIMP_MULTI_ARITHREL_MINUS_MINUS_L
  • curprev 12:0312:03, 26 August 2009‎ imported>Nicolas‎ m 12,838 bytes +632‎ added SIMP_MULTI_MINUS_PLUS_L, SIMP_MULTI_MINUS_PLUS_R, SIMP_MULTI_MINUS_PLUS_PLUS, SIMP_MULTI_PLUS_MINUS

25 August 2009

10 July 2009

8 July 2009

  • curprev 10:3310:33, 8 July 2009‎ imported>Laurent‎ m 11,858 bytes −1,008‎ Fixed rule names to make them easy to extract

15 June 2009

  • curprev 15:4515:45, 15 June 2009‎ imported>Nicolas‎ m 12,866 bytes +291‎ added SIMP_CARD_SETMINUS and SIMP_CARD_CPROD
  • curprev 14:5814:58, 15 June 2009‎ imported>Nicolas‎ m 12,575 bytes +152‎ added SIMP_MULTI_DIV_PROD
  • curprev 14:3914:39, 15 June 2009‎ imported>Nicolas‎ m 12,423 bytes +111‎ renamed SIMP_SPECIAL_EXPN_1 into SIMP_SPECIAL_EXPN_1_R; added SIMP_SPECIAL_EXPN_1_L

24 March 2009

11 February 2009

29 January 2009

  • curprev 15:3815:38, 29 January 2009‎ imported>Frederic‎ 13,226 bytes +13,226‎ New page: {{RRHeader}} {{RRRow}}|<font size="-2"> SIMP_SPECIAL_MOD_0 </font>||<math> 0 \,\bmod\, E \;\;\defi\;\; 0 </math>|| || A {{RRRow}}|<font size="-2"> SIMP_SPECIAL_MOD_1 </font>||<math> ...
Retrieved from ‘https://wiki.event-b.org/index.php/Arithmetic_Rewrite_Rules’