Jump to content

Runtime verification: 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 16:0516:05, 20 December 2024 Kvng talk contribs m 31,987 bytes 0 compound modifier undo

curprev 06:0006:00, 21 August 2024 Jochen Burghardt talk contribs 31,987 bytes −32 →History and context: linked above undo

curprev 21:2321:23, 20 August 2024 Onel5969 talk contribs m 32,019 bytes +56 Disambiguating links to Deadlock (link changed to Deadlock (computer science); link changed to Deadlock (computer science)) using DisamAssist. undo

curprev 03:5003:50, 4 July 2023 Picantho talk contribs m 31,963 bytes +4 link to Policy monitoring undo Tag: Visual edit

curprev 18:5818:58, 20 May 2023 Maxeto0910 talk contribs m 31,959 bytes −35 no sentence undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
curprev 18:5718:57, 20 May 2023 Maxeto0910 talk contribs m 31,994 bytes −1 no sentence undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 19:4419:44, 24 March 2023 Rkieferbaum talk contribs m 31,995 bytes −29 v2.05 - Fix errors for CW project (Title linked in text - Link equal to linktext) undo Tag: WPCleaner

curprev 10:3510:35, 30 December 2022 Citation bot talk contribs 32,024 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2193/3850 undo

curprev 08:1608:16, 21 September 2022 Jochen Burghardt talk contribs 32,007 bytes −23 →top: dab undo

curprev 16:0016:00, 18 September 2022 Kj cheetham talk contribs 32,030 bytes +45 →top: disamb needed undo

curprev 20:2620:26, 1 August 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 31,985 bytes +107 No edit summary undo

curprev 13:2913:29, 29 December 2021 Jochen Burghardt talk contribs 31,878 bytes +110 →SafeLock: replace image by text undo
curprev 13:2613:26, 29 December 2021 Jochen Burghardt talk contribs 31,768 bytes +106 →UnsafeEnum: replace image by text undo

curprev 18:5018:50, 30 November 2021 Shakatok talk contribs 31,662 bytes +4 →Execution models and predictive analysis undo

curprev 09:4509:45, 29 October 2021 193.55.47.16 talk 31,658 bytes +12 Coquilles corrigées undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 20:0320:03, 14 January 2021 Yobot talk contribs m 31,646 bytes −1 →top: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

curprev 19:0319:03, 9 November 2020 Orenburg1 talk contribs m 31,647 bytes −1 sp undo

curprev 18:1918:19, 27 April 2020 70.122.202.39 talk 31,648 bytes −3 →Aspect-oriented programming undo

curprev 07:0307:03, 21 April 2020 165.225.88.106 talk 31,651 bytes +1 Change Buchi to Büchi undo

curprev 02:1402:14, 9 February 2020 Cxiaohong talk contribs m 31,650 bytes +4 Add wikipedia link to "Grigore Rosu" undo Tag: Visual edit

curprev 18:3718:37, 27 January 2020 Frap talk contribs 31,646 bytes +6 MOS:HEAD undo
curprev 16:2816:28, 27 January 2020 207.251.78.34 talk 31,640 bytes −48 →Aspect-oriented Programming undo

curprev 05:1305:13, 9 January 2020 Matthiaspaul talk contribs 31,688 bytes +49 →See also: +link undo

curprev 14:2514:25, 22 September 2019 Jarble talk contribs m 31,639 bytes +61 linking undo

curprev 12:3612:36, 7 March 2019 130.190.109.230 talk 31,578 bytes +52 Remove usage of <tt> undo

curprev 03:0103:01, 24 February 2019 AnomieBOT talk contribs m 31,526 bytes +19 Dating maintenance tags: {{Cleanup HTML}} undo
curprev 02:4102:41, 24 February 2019 Beland talk contribs 31,507 bytes +17 {{cleanup HTML}} undo

curprev 04:1704:17, 18 February 2019 Citation bot talk contribs m 31,490 bytes +63 Alter: template type. Add: isbn, year, series, doi, volume. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 10:2610:26, 3 January 2019 Yfalcone talk contribs 31,427 bytes +383 No edit summary undo
curprev 10:1810:18, 3 January 2019 Yfalcone talk contribs m 31,044 bytes −2 No edit summary undo Tag: Visual edit: Switched

curprev 21:3021:30, 22 December 2018 Jarble talk contribs m 31,046 bytes +8 linking undo
curprev 21:2921:29, 22 December 2018 Jarble talk contribs m 31,038 bytes +4 linking undo
curprev 21:2721:27, 22 December 2018 Jarble talk contribs 31,034 bytes +4 No edit summary undo
curprev 21:2621:26, 22 December 2018 Jarble talk contribs m 31,030 bytes +8 linking undo

curprev 16:3916:39, 18 January 2018 John of Reading talk contribs m 31,022 bytes −1 Typo fixing, replaced: an Büchi automaton → a Büchi automaton, it's execution → its execution, typo(s) fixed: Nevertheless → Nevertheless,, above mentioned → above-mentioned using AWB undo

curprev 03:0803:08, 8 May 2017 Myasuda talk contribs m 31,023 bytes +1 →Basic approaches: sp undo

curprev 10:2410:24, 26 February 2017 Magioladitis talk contribs m 31,022 bytes −24 →History and Context: refpunct and/or other fixes using AWB undo

curprev 22:5822:58, 25 February 2017 Sschlein talk contribs 31,046 bytes +959 Add some details to the history and early constributions undo

curprev 22:5722:57, 20 February 2017 Sschlein talk contribs 30,087 bytes 0 No edit summary undo
curprev 22:5622:56, 20 February 2017 Sschlein talk contribs 30,087 bytes +1,826 No edit summary undo

curprev 21:1921:19, 10 June 2016 2001:4898:80e8:1::3df talk 28,261 bytes +1 corrected a typo "rutime" undo Tag: Visual edit

curprev 20:0420:04, 22 May 2016 Matthiaspaul talk contribs 28,260 bytes +30 →See also: +link undo
curprev 19:1019:10, 22 May 2016 Matthiaspaul talk contribs 28,230 bytes +84 →References: +See also undo

curprev 21:4721:47, 18 March 2016 BG19bot talk contribs m 28,146 bytes −8 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 19:3219:32, 1 February 2016 AnomieBOT talk contribs m 28,154 bytes +19 Dating maintenance tags: {{When}} undo
curprev 17:3217:32, 1 February 2016 Raphael.jakse talk contribs 28,135 bytes +8 →Aspect-oriented Programming undo

curprev 12:5112:51, 4 October 2015 MrOllie talk contribs 28,127 bytes −2,452 per WP:ELNO undo

curprev 11:3811:38, 3 August 2015 195.180.178.35 talk 30,579 bytes −94 No edit summary undo Tag: section blanking

curprev 16:4816:48, 11 March 2015 80.250.189.10 talk 30,673 bytes +4 →HasNext undo

curprev 23:3023:30, 5 February 2015 2.26.193.161 talk 30,669 bytes +103 →Research Groups/Laboratories undo

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