Set Rewrite Rules: Revision history

17 January 2011

• curprev 17:3017:30, 17 January 2011‎ imported>Benoit‎ m 29,569 bytes +1‎ Added stars to the automatic rules implemented in auto rewriter L2.
• curprev 17:1517:15, 17 January 2011‎ imported>Benoit‎ m 29,568 bytes +4‎ Added stars to the automatic rules implemented in auto rewriter L2.
• curprev 17:1017:10, 17 January 2011‎ imported>Benoit‎ m 29,564 bytes +5‎ Added stars to the automatic rules implemented in auto rewriter L2.
• curprev 16:4916:49, 17 January 2011‎ imported>Benoit‎ m 29,559 bytes +14‎ Added stars to the automatic rules implemented in auto rewriter L2.

14 January 2011

• curprev 15:0415:04, 14 January 2011‎ imported>Benoit‎ 29,545 bytes +185‎ Added rule SIMP_COMPSET_SUBSETEQ.

13 January 2011

• curprev 09:3509:35, 13 January 2011‎ imported>Laurent‎ 29,360 bytes −3‎ Normalised rule SIMP_SPECIAL_SUBSET_L.

15 December 2010

• curprev 16:4316:43, 15 December 2010‎ imported>Laurent‎ 29,363 bytes −382‎ Removed subsumed rules SIMP_TYPE_KUNION and SIMP_TYPE_KINTER.

8 December 2010

• curprev 13:5513:55, 8 December 2010‎ imported>Benoit‎ 29,745 bytes +652‎ Added rules SIMP_FINITE_PRJ1, SIMP_FINITE_PRJ2, SIMP_FINITE_PRJ1_DOMRES and SIMP_FINITE_PRJ2_DOMRES
• curprev 13:3513:35, 8 December 2010‎ imported>Benoit‎ 29,093 bytes +124‎ added rule SIMP_FINITE_ID_DOMRES

6 December 2010

• curprev 19:1919:19, 6 December 2010‎ imported>Laurent‎ 28,969 bytes +284‎ Added missing side condition to SIMP_FINITE_LAMBDA.
• curprev 18:3318:33, 6 December 2010‎ imported>Laurent‎ 28,685 bytes −6‎ Generalized rule SIMP_FINITE_LAMBDA

3 December 2010

• curprev 14:4914:49, 3 December 2010‎ imported>Laurent‎ 28,691 bytes +181‎ Added rules SIMP_FINITE_UNION and SIMP_FINITE_QUNION

2 December 2010

• curprev 10:1910:19, 2 December 2010‎ imported>Benoit‎ 28,510 bytes −195‎ No edit summary

10 November 2010

• curprev 12:3212:32, 10 November 2010‎ imported>Laurent‎ m 28,705 bytes −1‎ No edit summary
• curprev 08:4908:49, 10 November 2010‎ imported>Laurent‎ m 28,706 bytes +866‎ No edit summary

27 October 2010

• curprev 13:1313:13, 27 October 2010‎ imported>Laurent‎ 27,840 bytes −370‎ Removed rules about overriding which belong to set rewrite.
• curprev 13:0913:09, 27 October 2010‎ imported>Laurent‎ 28,210 bytes −506‎ Removed rules SIMP_SPECIAL_FORALL_BTRUE, SIMP_SPECIAL_FORALL_BFALSE, SIMP_SPECIAL_EXISTS_BTRUE, and SIMP_SPECIAL_EXISTS_BFALSE which are subsumed by SIMP_FORALL and SIMP_EXISTS respectively.
• curprev 13:0113:01, 27 October 2010‎ imported>Laurent‎ 28,716 bytes +10‎ Proposed improvement to SIMP_TYPE_OVERL_CPROD
• curprev 12:5112:51, 27 October 2010‎ imported>Laurent‎ 28,706 bytes 0‎ Proposed improvement to SIMP_SPECIAL_COMPSET_BFALSE
• curprev 12:2612:26, 27 October 2010‎ imported>Laurent‎ 28,706 bytes +112‎ Added rule SIMP_KINTER_POW (needs checking)
• curprev 10:2410:24, 27 October 2010‎ imported>Laurent‎ 28,594 bytes +2‎ Marked rules SIMP_FORALL and SIMP_EXISTS as implemented
• curprev 09:4609:46, 27 October 2010‎ imported>Laurent‎ 28,592 bytes −123‎ Removed rule SIMP_MULTI_EQV_NOT_NOT which is subsumed by SIMP_MULTI_EQV.
• curprev 09:4209:42, 27 October 2010‎ imported>Laurent‎ m 28,715 bytes +4‎ Marked rules SIMP_MULTI_AND, SIMP_MULTI_AND_NOT, SIMP_MULTI_OR, and SIMP_MULTI_OR_NOT as implemented

17 September 2010

• curprev 13:2313:23, 17 September 2010‎ imported>Laurent‎ m 28,711 bytes 0‎ Fixed typo

30 August 2010

• curprev 12:1612:16, 30 August 2010‎ imported>Wohuai‎ m 28,711 bytes +309‎ No edit summary

24 August 2010

• curprev 13:0013:00, 24 August 2010‎ imported>Tommy‎ 28,402 bytes −218‎ Undo revision 6764 by Tommy (Talk) as a special page for those rewriting rules shall be opened.
• curprev 12:5312:53, 24 August 2010‎ imported>Tommy‎ 28,620 bytes +218‎ Added Rules for the cond operator (e.g. SIMP_COND_BTRUES, IMP_COND_BFALSE rules)

12 August 2010

• curprev 15:1015:10, 12 August 2010‎ imported>Nicolas‎ m 28,402 bytes 0‎ Updated implementation indication for SIMP_EQUAL_CONSTR, SIMP_EQUAL_CONSTR_DIFF, SIMP_DESTR_CONSTR

6 August 2010

• curprev 11:4511:45, 6 August 2010‎ imported>Nicolas‎ m 28,402 bytes 0‎ corrected implementation for SIMP_EQUAL_CONSTR and SIMP_EQUAL_CONSTR_DIFF and SIMP_DESTR_CONSTR (not implemented yet)
• curprev 11:4311:43, 6 August 2010‎ imported>Nicolas‎ 28,402 bytes +865‎ No edit summary

11 June 2010

• curprev 16:0016:00, 11 June 2010‎ imported>Nicolas‎ 27,537 bytes +2‎ No edit summary

31 May 2010

• curprev 15:3915:39, 31 May 2010‎ imported>Tommy‎ 27,535 bytes −714‎ Moved rules FUNIMG_SET_DOMSUB and FUNIMG_DOMSUB to Relational Rewrite Rules now known as SIMP_DOMSUB

18 May 2010

• curprev 15:2715:27, 18 May 2010‎ imported>Tommy‎ m 28,249 bytes −4‎ No edit summary

28 April 2010

• curprev 14:0814:08, 28 April 2010‎ imported>Tommy‎ 28,253 bytes +718‎ Added conditionnal rules FUNIMG_SET_DOMSUB_L and FUNIMG_DOMSUB_L

27 January 2010

• curprev 07:3207:32, 27 January 2010‎ imported>Laurent‎ 27,535 bytes +9‎ Removed rules SIMP_SUBSET_BUNION and SIMP_SUBSET_BINTER which where wrong.

26 January 2010

• curprev 19:0519:05, 26 January 2010‎ imported>Wohuai‎ 27,526 bytes −1‎ No edit summary

25 January 2010

• curprev 23:5323:53, 25 January 2010‎ imported>Laurent‎ 27,527 bytes +64‎ Fixed rules DEF_IN_KUNION, DEF_IN_KINTER, DEF_IN_QUNION and DEF_IN_QINTER.
• curprev 23:4023:40, 25 January 2010‎ imported>Laurent‎ 27,463 bytes +69‎ Added side condition to DEF_SUBSETEQ
• curprev 23:3623:36, 25 January 2010‎ imported>Laurent‎ 27,394 bytes +50‎ Added side condition to DEF_SPECIAL_NOT_EQUAL
• curprev 23:3323:33, 25 January 2010‎ imported>Laurent‎ 27,344 bytes +76‎ Commented out rules SIMP_FINITE_*
• curprev 23:2723:27, 25 January 2010‎ imported>Laurent‎ 27,268 bytes −237‎ Removed SIMP_MULTI_OVERL which is a relation rewrite rule.
• curprev 23:2523:25, 25 January 2010‎ imported>Laurent‎ 27,505 bytes −3‎ Simplified side-condition of SIMP_SUBSETEQ_COMPSET_R
• curprev 23:1923:19, 25 January 2010‎ imported>Laurent‎ 27,508 bytes +88‎ Added side condition to SIMP_IN_COMPSET
• curprev 21:3921:39, 25 January 2010‎ imported>Laurent‎ 27,420 bytes −12‎ Made SIMP_SUBSETEQ_COMPSET_L more general by renaming the quantified variable.
• curprev 21:3021:30, 25 January 2010‎ imported>Laurent‎ 27,432 bytes +158‎ Added side condition to SIMP_FORALL and SIMP_EXISTS

21 December 2009

• curprev 11:0311:03, 21 December 2009‎ imported>Tommy‎ m 27,274 bytes −1‎ removed * on unimplemented rules - 2nd pass
• curprev 10:1710:17, 21 December 2009‎ imported>Tommy‎ m 27,275 bytes −59‎ removed * on unimplemented rules

23 November 2009

• curprev 09:5409:54, 23 November 2009‎ imported>Nicolas‎ m 27,334 bytes +57‎ updated rule SIMP_FINITE_ID to math V2

17 August 2009

• curprev 12:5312:53, 17 August 2009‎ imported>Nicolas‎ m 27,277 bytes +134‎ added DEF_IN_POW1

30 July 2009

• curprev 14:5614:56, 30 July 2009‎ imported>Nicolas‎ m 27,143 bytes +109‎ renamed SIMP_IN_COMPSET into SIMP_IN_COMPSET_ONEPOINT and SIMP_IN_COMPSET_GENERAL into SIMP_IN_COMPSET