User contributions for Guillaume
From Event-B
Jump to navigationJump to search
15 November 2024
- 15:3515:35, 15 November 2024 diff hist +332 Theory Plug-in Developer Documentation Add step to speed up composite sites current
12 November 2024
- 08:1008:10, 12 November 2024 diff hist +54 Template:Dev News Atelier B plug-in release 2.4 current
17 October 2024
- 13:3213:32, 17 October 2024 diff hist +48 Template:Dev News B2Latex plug-in version 0.8.0
- 13:3013:30, 17 October 2024 diff hist +109 B2Latex Release 0.8 current
3 June 2024
- 15:1315:13, 3 June 2024 diff hist +1 Relation Rewrite Rules Rules DEF_EQUAL_FUN_IMAGE and SIMP_SPECIAL_IN_*ID have been implemented in Rodin 3.9 current
- 15:1115:11, 3 June 2024 diff hist +1 Arithmetic Rewrite Rules Rules DEF_EXPN_STEP, SIMP_{MIN,MAX}_IN and SIMP_KBOOL_LIT_EQUAL_TRUE have been implemented in Rodin 3.9 current
- 15:1015:10, 3 June 2024 diff hist +1 Inference Rules Rule FIN_COMPSET_R has been implemented in Rodin 3.9 current
30 May 2024
- 14:3114:31, 30 May 2024 diff hist +446 Theory Plug-in Developer Documentation Update instructions to manage composite update sites
15 April 2024
- 12:4912:49, 15 April 2024 diff hist −31 Rodin Workshop 2024 Remove link to the website of a lawyer named Guillaume Verdier who is not me
- 12:4512:45, 15 April 2024 diff hist −548 Template:Main Page/Community Add Rodin workshop 2024 and remove old links current
8 March 2024
- 16:1716:17, 8 March 2024 diff hist +538 Relation Rewrite Rules Add four rules related to set membership and identity
19 February 2024
- 16:5016:50, 19 February 2024 diff hist +148 Arithmetic Rewrite Rules Add rule for exponentiation step
5 February 2024
- 14:3114:31, 5 February 2024 diff hist +110 Relation Rewrite Rules Add rule DEF_EQUAL_FUNIMAGE
1 February 2024
- 10:2210:22, 1 February 2024 diff hist +203 Inference Rules Add rule for finiteness of explicit set comprehension
25 October 2023
- 09:4409:44, 25 October 2023 diff hist +202 Arithmetic Rewrite Rules Add planned rules SIMP_{MIN/MAX}_IN
4 October 2023
- 09:5509:55, 4 October 2023 diff hist +111 Arithmetic Rewrite Rules Add requested rule SIMP_KBOOL_LIT_EQUAL_TRUE
13 April 2023
- 14:3314:33, 13 April 2023 diff hist 0 Set Rewrite Rules Rules SIMP_{EMPTY,SINGLE}_PARTITION were implemented current
- 14:3214:32, 13 April 2023 diff hist +2 Inference Rules Rules EQV_LR and EQV_RL were implemented
6 April 2023
- 09:3309:33, 6 April 2023 diff hist +2 Arithmetic Rewrite Rules Rules DEF_EQUAL_{MIN,MAX} have been implemented in Rodin 3.8
- 09:3209:32, 6 April 2023 diff hist +1 Relation Rewrite Rules Rule DEF_BCOMP has been implemented in Rodin 3.8
- 09:3109:31, 6 April 2023 diff hist 0 Set Rewrite Rules Rules DEF_EQUAL_CARD and SIMP_EQUAL_CARD are implemented as of Rodin 3.8
- 09:3009:30, 6 April 2023 diff hist 0 Inference Rules Add star to proof rules implemented in Rodin 3.8
25 November 2022
- 15:1815:18, 25 November 2022 diff hist +350 Set Rewrite Rules Add rules for cardinal equality
21 October 2022
- 15:3015:30, 21 October 2022 diff hist −2 Set Rewrite Rules Move rewrite rules for KUNION and QUNION to the commented-out section for disabled rules, as they are false
- 15:2615:26, 21 October 2022 diff hist +26 Inference Rules Fix inference rule FIN_KUNION_R
17 October 2022
- 09:2609:26, 17 October 2022 diff hist +133 Set Rewrite Rules add note about finiteness of infinite union
- 09:2009:20, 17 October 2022 diff hist +694 Inference Rules Add rules for finiteness of union
1 April 2022
- 13:5413:54, 1 April 2022 diff hist +62 Template:Dev News Theory plug-in release 4.0.4
- 13:5213:52, 1 April 2022 diff hist −1 Rodin Platform 3.5.0 External Plug-ins Theory plug-in release 4.0.4 current
- 13:5013:50, 1 April 2022 diff hist +1,000 Theory Release History Theory plug-in release 4.0.4 current
14 January 2022
- 17:1617:16, 14 January 2022 diff hist +70 Template:Dev News SMT Solvers plug-in 1.5.0
- 17:1417:14, 14 January 2022 diff hist +2 Rodin Platform 3.5.0 External Plug-ins SMT Solvers plug-in 1.5.0
29 September 2021
- 13:1713:17, 29 September 2021 diff hist +62 Template:Dev News Theory plug-in release 4.0.3
- 13:1613:16, 29 September 2021 diff hist +2 Rodin Platform 3.5.0 External Plug-ins Theory plug-in release 4.0.3
- 13:1113:11, 29 September 2021 diff hist +464 Theory Release History Theory plug-in release 4.0.3
21 September 2021
- 15:4315:43, 21 September 2021 diff hist −14 Adding Reasoners(How to extend Rodin Tutorial) Antecedent and needed hypotheses were mixed up current
15 July 2021
- 07:1507:15, 15 July 2021 diff hist +10 Theory Plug-in Developer Documentation Update path to file used to generate update site
14 June 2021
- 15:0015:00, 14 June 2021 diff hist +29 The Use of Theories in Code Generation Add to Theory Plug-in category current
- 14:5714:57, 14 June 2021 diff hist +29 Exporting and importing archives containing theories Add to Theory Plug-in category current
- 14:5614:56, 14 June 2021 diff hist +29 Sharing theories Add to Theory Plug-in category current
- 14:5414:54, 14 June 2021 diff hist +29 Theory Release History Add to Theory Plug-in category
- 14:5314:53, 14 June 2021 diff hist +28 Theory Plug-in Add to Theory Plug-in category current
- 14:5214:52, 14 June 2021 diff hist +36 Theory Plug-in Developer Documentation Fix some links
- 14:5114:51, 14 June 2021 diff hist +19 N Category:Theory Plug-in Create category current
- 14:4514:45, 14 June 2021 diff hist +2,642 N Theory Plug-in Developer Documentation New page with info about Eclipse setup and release process
4 June 2021
- 12:2112:21, 4 June 2021 diff hist +62 Template:Dev News →Displayed as follow on the Main Page
- 12:2012:20, 4 June 2021 diff hist 0 Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site
- 12:1912:19, 4 June 2021 diff hist +445 Theory Release History No edit summary
10 February 2021
- 15:4515:45, 10 February 2021 diff hist +7 Rodin Platform 3.5.0 External Plug-ins No edit summary
