Edithistory:Storm model checker
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1132551825 | 2023-01-09T11:51:30Z | Derwydd74 | Fixing style/layout errors |
| 1130188064 | 2022-12-29T01:13:57Z | Citation bot | Add: isbn, volume, series, s2cid. | [[WP:UCB|Use this bot]]. [[WP:DBUG|Report bugs]]. | Suggested by Smasongarrison | [[Category:AfC submissions on science, mathematics and engineering]] | #UCB_Category 359/742 |
| 1102338186 | 2022-08-04T15:05:59Z | Jipspel | Add reference to monotonicity in storm |
| 1102337844 | 2022-08-04T15:03:52Z | Jipspel | Add references to peer-reviewed paper/journal |
| 1102294637 | 2022-08-04T09:35:52Z | Stuartyeates | Declining submission: web - Submission is about web content not yet shown to meet notability guidelines ([[WP:AFCH|AFCH]] 0.9.1) |
| 1102101838 | 2022-08-03T10:47:18Z | Spooxtr | Submitting using [[WP:AFCSW|AfC-submit-wizard]] |
| 1096918068 | 2022-07-07T13:42:34Z | Spooxtr | Sorted model types by executables, minor fixes |
| 1089741560 | 2022-05-25T11:41:09Z | Spooxtr | just changed "type" to plural |
| 1086322815 | 2022-05-05T14:02:40Z | Spooxtr | Changed wording, added in-wiki links |
| 1059588084 | 2021-12-10T10:10:37Z | Spooxtr | |
| 1057260251 | 2021-11-26T14:03:05Z | Spooxtr | Adjusted references |
| 1057115735 | 2021-11-25T15:24:13Z | Spooxtr | |
| 1057112093 | 2021-11-25T14:55:40Z | Spooxtr | |
| 1055736860 | 2021-11-17T14:25:19Z | Spooxtr | Added introductory text + sections |
| 1055732099 | 2021-11-17T13:51:06Z | Spooxtr | Mostly filled infobox |
| 1055725798 | 2021-11-17T13:00:35Z | Spooxtr | [[WP:AES|←]]Created page with '{{subst:AfC submission/draftnew}}<!-- Important, do not remove this line before article has been created. --> {{Infobox software | name = Storm | logo = <!-- File name without 'File:' --> | author = | developer = | released = <!-- {{Start date and age|YYYY|MM|DD|df=yes/no}} --> | ver layout = <!-- simple (default) or stacked --> | discontinued = <!-- Set to yes, if software is discontinued, otherwise omit. --> | latest release version = | latest release...' |
