Jump to content

CPAchecker: 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 04:2104:21, 5 July 2023 Headbomb talk contribs 4,141 bytes −6 ce undo

curprev 13:0013:00, 31 May 2022 31.18.253.122 talk 4,147 bytes +1 Fix typos undo

curprev 05:5705:57, 3 March 2022 Citation bot talk contribs 4,146 bytes +16 Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | Category:Java platform software | #UCB_Category 39/141 undo

curprev 15:3415:34, 7 January 2022 Pinedli talk contribs 4,130 bytes +60 Adding short description: "Software testing tool written in Java" (Shortdesc helper) undo

curprev 16:4416:44, 8 April 2021 Comp.arch talk contribs m 4,070 bytes −4 No edit summary undo Tag: 2017 wikitext editor

curprev 16:5016:50, 13 January 2021 Monkbot talk contribs m 4,074 bytes +4 Task 18 (cosmetic): eval 5 templates: hyphenate params (4×); undo Tag: AWB

curprev 00:3900:39, 5 April 2020 Citation bot talk contribs 4,070 bytes +32 Add: doi. | You can use this bot yourself. Report bugs here. | Activated by Rsjaffe | Category:C_programming_language_family | via #UCB_Category undo

curprev 08:4008:40, 10 August 2016 Sam-m888 talk contribs 4,038 bytes −2 No edit summary undo

curprev 09:2209:22, 21 December 2015 79.223.20.87 talk 4,040 bytes +43 Added Category Static program analysis tools undo

curprev 16:2516:25, 7 December 2013 188.192.78.170 talk 3,997 bytes +37 add category 'abstract interpretation' undo
curprev 16:2116:21, 7 December 2013 188.192.78.170 talk 3,960 bytes +32 →Achievements: 2nd category added undo
curprev 16:1816:18, 7 December 2013 188.192.78.170 talk 3,928 bytes −4 →Achievements: typo correction undo
curprev 16:1816:18, 7 December 2013 188.192.78.170 talk 3,932 bytes +582 Achievements: SV-COMP 2013 added undo

curprev 20:2420:24, 16 September 2013 Bgwhite talk contribs m 3,350 bytes −1 WP:CHECKWIKI error fix. Broken bracket problem. Do general fixes and cleanup if needed. - using AWB (9479) undo

curprev 09:5609:56, 2 January 2013 132.231.64.191 talk 3,351 bytes +19 restrict claim to category Overall undo
curprev 09:5509:55, 2 January 2013 132.231.64.191 talk 3,332 bytes +11 typo / style fixing (minor) undo
curprev 09:4709:47, 2 January 2013 132.231.64.191 talk 3,321 bytes +1 fixed typo (minor) undo

curprev 06:1506:15, 14 December 2012 BG19bot talk contribs 3,320 bytes 0 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists using AWB (8805) undo

curprev 16:5416:54, 9 December 2012 Bellerophon talk contribs m 3,320 bytes −18 Cleaned up using AutoEd undo
curprev 16:4916:49, 9 December 2012 Bellerophon talk contribs 3,338 bytes −4 Adding/removing wikilink(s) undo
curprev 16:4916:49, 9 December 2012 Bellerophon talk contribs 3,342 bytes −439 Clean up Copyedit (major) undo

curprev 13:2013:20, 7 December 2012 Astahlbauer talk contribs 3,781 bytes +3,781 Introduced the article.

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