User contributions
From Event-B
Jump to navigationJump to search- 12: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 current
- 12:45, 15 April 2024 diff hist -548 Template:Main Page/Community Add Rodin workshop 2024 and remove old links current
- 16:17, 8 March 2024 diff hist +538 Relation Rewrite Rules Add four rules related to set membership and identity current
- 16:50, 19 February 2024 diff hist +148 Arithmetic Rewrite Rules Add rule for exponentiation step current
- 14:31, 5 February 2024 diff hist +110 Relation Rewrite Rules Add rule DEF_EQUAL_FUNIMAGE
- 10:22, 1 February 2024 diff hist +203 Inference Rules Add rule for finiteness of explicit set comprehension current
- 09:44, 25 October 2023 diff hist +202 Arithmetic Rewrite Rules Add planned rules SIMP_{MIN/MAX}_IN
- 09:55, 4 October 2023 diff hist +111 Arithmetic Rewrite Rules Add requested rule SIMP_KBOOL_LIT_EQUAL_TRUE
- 14:33, 13 April 2023 diff hist 0 Set Rewrite Rules Rules SIMP_{EMPTY,SINGLE}_PARTITION were implemented current
- 14:32, 13 April 2023 diff hist +2 Inference Rules Rules EQV_LR and EQV_RL were implemented
- 09:33, 6 April 2023 diff hist +2 Arithmetic Rewrite Rules Rules DEF_EQUAL_{MIN,MAX} have been implemented in Rodin 3.8
- 09:32, 6 April 2023 diff hist +1 Relation Rewrite Rules Rule DEF_BCOMP has been implemented in Rodin 3.8
- 09: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:30, 6 April 2023 diff hist 0 Inference Rules Add star to proof rules implemented in Rodin 3.8
- 15:18, 25 November 2022 diff hist +350 Set Rewrite Rules Add rules for cardinal equality
- 15: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:26, 21 October 2022 diff hist +26 Inference Rules Fix inference rule FIN_KUNION_R
- 09:26, 17 October 2022 diff hist +133 Set Rewrite Rules add note about finiteness of infinite union
- 09:20, 17 October 2022 diff hist +694 Inference Rules Add rules for finiteness of union
- 13:54, 1 April 2022 diff hist +62 Template:Dev News Theory plug-in release 4.0.4
- 13:52, 1 April 2022 diff hist -1 Rodin Platform 3.5.0 External Plug-ins Theory plug-in release 4.0.4 current
- 13:50, 1 April 2022 diff hist +1,000 Theory Release History Theory plug-in release 4.0.4 current
- 17:16, 14 January 2022 diff hist +70 Template:Dev News SMT Solvers plug-in 1.5.0
- 17:14, 14 January 2022 diff hist +2 Rodin Platform 3.5.0 External Plug-ins SMT Solvers plug-in 1.5.0
- 13:17, 29 September 2021 diff hist +62 Template:Dev News Theory plug-in release 4.0.3
- 13:16, 29 September 2021 diff hist +2 Rodin Platform 3.5.0 External Plug-ins Theory plug-in release 4.0.3
- 13:11, 29 September 2021 diff hist +464 Theory Release History Theory plug-in release 4.0.3
- 15:43, 21 September 2021 diff hist -14 Adding Reasoners(How to extend Rodin Tutorial) Antecedent and needed hypotheses were mixed up current
- 07:15, 15 July 2021 diff hist +10 Theory Plug-in Developer Documentation Update path to file used to generate update site current
- 15:00, 14 June 2021 diff hist +29 The Use of Theories in Code Generation Add to Theory Plug-in category current
- 14:57, 14 June 2021 diff hist +29 Exporting and importing archives containing theories Add to Theory Plug-in category current
- 14:56, 14 June 2021 diff hist +29 Sharing theories Add to Theory Plug-in category current
- 14:54, 14 June 2021 diff hist +29 Theory Release History Add to Theory Plug-in category
- 14:53, 14 June 2021 diff hist +28 Theory Plug-in Add to Theory Plug-in category current
- 14:52, 14 June 2021 diff hist +36 Theory Plug-in Developer Documentation Fix some links
- 14:51, 14 June 2021 diff hist +19 N Category:Theory Plug-in Create category current
- 14:45, 14 June 2021 diff hist +2,642 N Theory Plug-in Developer Documentation New page with info about Eclipse setup and release process
- 12:21, 4 June 2021 diff hist +62 Template:Dev News →Displayed as follow on the Main Page
- 12:20, 4 June 2021 diff hist 0 Rodin Platform 3.5.0 External Plug-ins →Rodin Update Site
- 12:19, 4 June 2021 diff hist +445 Theory Release History
- 15:45, 10 February 2021 diff hist +7 Rodin Platform 3.5.0 External Plug-ins
- 14:55, 22 December 2020 diff hist +62 Template:Dev News →Displayed as follow on the Main Page
- 14:31, 22 December 2020 diff hist +2,285 Theory Release History