Jump to content

Predicate transformer semantics: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 09:1709:17, 25 November 2024 Hayazin talk contribs m 26,794 bytes −68 →Strongest postcondition: Dark mode undo
curprev 09:1609:16, 25 November 2024 Hayazin talk contribs m 26,862 bytes −408 →Weakest preconditions: Adjust for dark mode undo

curprev 00:4700:47, 14 November 2024 Kvng talk contribs m 27,270 bytes +2 WP:ADOPTYPO boolean -> Boolean undo

curprev 21:1821:18, 2 November 2024 Mortense talk contribs m 27,268 bytes +1 →While loop: Sentence casing for sub-section titles, as per WP:STYLE. undo

curprev 06:5506:55, 9 July 2024 Pascal.sotin talk contribs m 27,267 bytes +1 →Partial Correctness: correct display of INV and fixed link Loop INVariant undo

curprev 11:0511:05, 2 July 2024 194.61.207.70 talk 27,266 bytes +132 fix pdf link for Hoare Type Theory paper undo

curprev 07:0107:01, 26 March 2024 Jawa2006 talk contribs 27,134 bytes −1 →Terminating undo Tag: 2017 wikitext editor

curprev 22:5722:57, 27 November 2023 OAbot talk contribs m 27,135 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 09:1709:17, 21 November 2023 80.13.110.30 talk 27,118 bytes +1 No edit summary undo

curprev 19:5419:54, 12 November 2023 ElliAWB talk contribs m 27,117 bytes +45 Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software); link changed to Coq (software)) using DisamAssist. undo

curprev 20:3720:37, 24 July 2023 David Eppstein talk contribs 27,072 bytes +31 Annabelle McIver undo

curprev 14:1514:15, 22 July 2023 Cedar101 talk contribs m 27,041 bytes +47 →Total Correctness: \textit undo
curprev 14:1314:13, 22 July 2023 Cedar101 talk contribs m 26,994 bytes +7 →Total Correctness: \textit undo
curprev 14:0814:08, 22 July 2023 Cedar101 talk contribs m 26,987 bytes +51 →Goto statement: {{mono}} {{tmath}} undo
curprev 14:0014:00, 22 July 2023 Cedar101 talk contribs m 26,936 bytes +124 →While loop: \text undo

curprev 00:5000:50, 18 July 2023 Cedar101 talk contribs m 26,812 bytes 0 →Total Correctness: \text undo

curprev 13:1313:13, 19 May 2023 94.147.135.3 talk 26,812 bytes +9 No edit summary undo
curprev 10:2410:24, 19 May 2023 94.147.135.3 talk 26,803 bytes 0 No edit summary undo

curprev 22:1722:17, 21 April 2023 Citation bot talk contribs 26,803 bytes +15 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 1483/3850 undo

curprev 14:0314:03, 11 December 2022 2a01:cb08:63f:9a00:c847:c831:cea6:3fe4 talk 26,788 bytes 0 →Assignment: Correct the use of substitution notation from normal brackets to square brackets. undo

curprev 00:3400:34, 5 December 2022 WikiCleanerBot talk contribs m 26,788 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 17:3817:38, 2 December 2022 73.15.97.112 talk 26,788 bytes +22 →Strict undo

curprev 03:3203:32, 1 December 2022 73.15.97.112 talk 26,766 bytes +32 →Goto statement undo
curprev 03:2303:23, 1 December 2022 73.15.97.112 talk 26,734 bytes −1 →Total Correctness undo
curprev 03:2003:20, 1 December 2022 73.15.97.112 talk 26,735 bytes −4 →Abort undo

Retrieved from "https://en.wikipedia.org/wiki/Predicate_transformer_semantics"