Jump to content

TAPAAL Model Checker: 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 07:2307:23, 6 February 2023 2a06:4004:24ca:1:4d47:9589:ddbb:7d48 talk 4,500 bytes 0 updated latest release to 3.9.4 undo

curprev 20:5620:56, 17 December 2021 Jkhsjdhjs talk contribs 4,500 bytes 0 update latest release and release date undo

curprev 17:5617:56, 19 October 2021 185.107.13.111 talk 4,500 bytes 0 Updated latest release undo

curprev 00:3100:31, 4 January 2021 Headbomb talk contribs 4,500 bytes −13 ce undo
curprev 00:3100:31, 4 January 2021 Headbomb talk contribs 4,513 bytes +223 Add: title. | You can use this tool yourself. Report bugs here. | via #UCB_Gadget undo

curprev 21:5321:53, 3 January 2021 Citation bot talk contribs 4,290 bytes +16 Add: s2cid. | You can use this bot yourself. Report bugs here. | Suggested by Headbomb | via #UCB_toolbar undo

curprev 20:4220:42, 10 April 2020 OAbot talk contribs m 4,274 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 12:4112:41, 19 March 2020 85.203.199.122 talk 4,258 bytes 0 Updated latest release undo

curprev 08:5408:54, 18 February 2020 130.225.198.202 talk 4,258 bytes 0 updated latest release undo Tag: Visual edit

curprev 03:3403:34, 13 February 2020 GreenC bot talk contribs 4,258 bytes −23 Move 3 urls. Wayback Medic 2.5 undo

curprev 22:2322:23, 4 December 2019 Citation bot talk contribs m 4,281 bytes +24 Add: isbn. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 06:1206:12, 24 July 2019 OAbot talk contribs m 4,257 bytes +16 Open access bot: add arxiv identifier to citation with #oabot. undo

curprev 10:2910:29, 29 December 2018 178.157.248.10 talk 4,241 bytes 0 Updated latest version undo Tag: Visual edit

curprev 05:1805:18, 4 December 2018 GoingBatty talk contribs m 4,241 bytes +20 →top: Fixing links to disambiguation pages, replaced: Open Source → Open source undo Tag: AWB

curprev 16:3316:33, 20 November 2018 Schazjmd talk contribs m 4,221 bytes +1 fix dissertation undo

curprev 09:4409:44, 6 April 2018 85.83.90.205 talk 4,220 bytes −179 Updated latest release undo Tag: Visual edit

curprev 11:3411:34, 15 September 2017 KolbertBot talk contribs m 4,399 bytes +1 Bot: HTTP→HTTPS undo

curprev 22:1722:17, 13 June 2016 Tom.Reding talk contribs m 4,398 bytes −54 Fix Category:Pages using citations with accessdate and no URL when perm identifier present (doi|bibcode|arxiv|pmid|jstor|isbn|issn|lccn|oclc|ismn|hdl): rem access-date using AWB undo

curprev 02:1202:12, 6 June 2016 Dcirovic talk contribs m 4,452 bytes +67 →top: refs using AWB undo

curprev 17:5517:55, 4 January 2015 85.82.149.62 talk 4,385 bytes 0 No edit summary undo

curprev 10:1210:12, 11 November 2014 130.225.198.136 talk 4,385 bytes +53 No edit summary undo

curprev 21:1121:11, 22 June 2014 Srba talk contribs 4,332 bytes 0 No edit summary undo

curprev 03:5603:56, 25 April 2014 LukasMatt talk contribs 4,332 bytes +23 Repairing links to disambiguation pages - You can help! undo

curprev 22:2322:23, 21 March 2014 LilHelpa talk contribs m 4,309 bytes 0 Typo fixing and general fixes, replaced: furter → further using AWB undo

curprev 07:0407:04, 23 January 2014 Jonesey95 talk contribs m 4,309 bytes −9 Fixing deprecated parameter using AutoEd undo

curprev 20:3720:37, 19 December 2013 2.111.210.206 talk 4,318 bytes 0 No edit summary undo

curprev 08:2808:28, 26 September 2013 2001:878:301:8120:f938:987d:83af:e105 talk 4,318 bytes −97 Updated with 4.2.1 release undo

curprev 14:0114:01, 26 April 2013 Khazar2 talk contribs m 4,415 bytes +1 clean up, typos fixed: continous → continuous using AWB undo

curprev 01:0301:03, 25 February 2013 RjwilmsiBot talk contribs m 4,414 bytes +6 fixing page range dashes using AWB undo

curprev 15:1915:19, 14 January 2013 Massreg talk contribs 3,431 bytes +7 No edit summary undo

curprev 12:5212:52, 19 March 2012 130.225.198.136 talk 3,424 bytes +14 Fixed links to UPPAAL undo

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