Uppaal Model Checker: Revision history

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 17:4717:47, 1 November 2023 129.67.93.181 talk 3,068 bytes +5 update latest release and preview versions undo

curprev 21:3621:36, 12 July 2023 Arianwen88 talk contribs 3,063 bytes +50 #suggestededit-add 1.0 undo Tags: Mobile edit Mobile app edit Android app edit

curprev 07:3807:38, 4 June 2019 2001:67c:2564:518:a0e3:2a74:d2f7:b714 talk 3,013 bytes +1 No edit summary undo

curprev 19:3719:37, 21 January 2019 82.197.222.159 talk 3,012 bytes 0 Updates release date of latest version (May 20, 2014: Uppaal 4.0.14 - Stable release) undo

curprev 05:5405:54, 21 September 2018 Jerodlycett talk contribs m 3,012 bytes +28 WP:WCW project (Reference list missing) undo Tag: AWB

curprev 18:2518:25, 6 September 2018 Habst talk contribs 2,984 bytes +183 rm PROD, see talk undo
curprev 17:3417:34, 6 September 2018 Mean as custard talk contribs 2,801 bytes +111 propose deletion undo

curprev 20:0120:01, 6 September 2016 Ulriknyman talk contribs 2,690 bytes +1 Added links to websites for individual versions of the tool undo
curprev 20:0020:00, 6 September 2016 Ulriknyman talk contribs 2,689 bytes +252 No edit summary undo
curprev 19:5119:51, 6 September 2016 212.242.227.207 talk 2,437 bytes +93 No edit summary undo

curprev 10:2010:20, 10 March 2016 BG19bot talk contribs m 2,344 bytes 0 →External links: 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 10:0410:04, 11 November 2014 130.225.198.136 talk 2,344 bytes −2 No edit summary undo

curprev 20:4520:45, 9 September 2012 83.233.68.92 talk 2,346 bytes 0 No edit summary undo
curprev 20:4420:44, 9 September 2012 83.233.68.92 talk 2,346 bytes 0 →External links undo

curprev 12:1412:14, 8 September 2012 83.233.68.92 talk 2,346 bytes 0 No edit summary undo
curprev 12:1212:12, 8 September 2012 83.233.68.92 talk 2,346 bytes +62 →External links undo

curprev 13:1913:19, 3 May 2012 130.238.11.235 talk 2,284 bytes +6 No edit summary undo

curprev 08:0508:05, 23 February 2011 130.225.198.195 talk 2,278 bytes +633 updated the summary, added extensions undo
curprev 07:4007:40, 23 February 2011 130.225.198.195 talk 1,645 bytes +2 updated links: academic Uppaal webpage and English version of DES webpage undo

curprev 00:0400:04, 27 August 2010 JLaTondre talk contribs m 1,643 bytes +28 fix incorrect link to island using AWB undo

curprev 17:4517:45, 20 June 2010 62.107.49.212 talk 1,615 bytes +24 No edit summary undo

curprev 04:0304:03, 9 March 2010 RussBot talk contribs m 1,591 bytes +17 Robot: fix links to disambiguation page English undo

curprev 21:2721:27, 8 March 2010 Garde talk contribs 1,574 bytes +69 Wasn't done - should be now undo
curprev 21:1721:17, 8 March 2010 Garde talk contribs 1,505 bytes +703 Infobox software undo

curprev 20:3520:35, 11 December 2009 CommonsDelinker talk contribs m 802 bytes −58 Removing "Uppaal_ss.png", it has been deleted from Commons by Martin H. because: Does not allow for commercial use and/or derivative works: Uppaal tool is free for non-commercial use only.http://www.uppaal undo

curprev 10:3910:39, 9 December 2009 193.10.176.73 talk 860 bytes −26 →External links undo
curprev 10:3810:38, 9 December 2009 193.10.176.122 talk 886 bytes +25 →External links undo

curprev 03:5503:55, 19 November 2009 Infestor talk contribs m 861 bytes +58 Undid revision 325688224 by Infestor (talk) undo

curprev 21:2121:21, 13 November 2009 Infestor talk contribs m 803 bytes −58 No edit summary undo
curprev 12:0112:01, 13 November 2009 Infestor talk contribs 861 bytes +59 No edit summary undo

curprev 20:0620:06, 7 November 2009 Infestor talk contribs 802 bytes −65 Undid revision 322417335 by Infestor (talk) undo

curprev 21:4721:47, 27 October 2009 Infestor talk contribs 867 bytes +65 No edit summary undo

curprev 15:3515:35, 24 October 2008 Luk talk contribs m 802 bytes −6 Reverted edits by 65.164.22.138 (talk) to last version by Cthrane undo
curprev 15:3215:32, 24 October 2008 65.164.22.138 talk 808 bytes +6 gramattical error undo

curprev 21:3521:35, 12 October 2008 Cthrane talk contribs 802 bytes +7 →External links undo

curprev 15:2915:29, 29 July 2008 217.212.224.132 talk 795 bytes −2 Uppaal is related to formal methods, not bio-informatics. undo
curprev 15:2715:27, 29 July 2008 217.212.224.132 talk 797 bytes +1 No edit summary undo

curprev 00:2300:23, 29 November 2007 Pegship talk contribs m 796 bytes +5 stub sort undo

curprev 10:4710:47, 1 August 2007 220.227.156.11 talk 791 bytes −1 No edit summary undo

curprev 19:4219:42, 14 June 2007 Zvar talk contribs m 792 bytes +20 Disambiguation page repair - You can help!: Realtime (disambiguation) undo

curprev 11:5211:52, 2 December 2006 Jpbowen talk contribs m 772 bytes +26 Narrowed category, some tidying, added link undo

curprev 11:1411:14, 19 September 2005 Jpbowen talk contribs m 746 bytes +42 Added category, minor updates undo

curprev 20:0920:09, 9 August 2005 CALR talk contribs m 704 bytes +18 disambiguation link repair (You can help!) undo

curprev 23:4923:49, 2 July 2005 PDH talk contribs 686 bytes +653 rv vandalism undo

curprev 18:2818:28, 3 June 2005 206.54.105.145 talk 33 bytes −653 No edit summary undo

curprev 15:2515:25, 19 May 2005 Steinsky talk contribs m 686 bytes +6 No edit summary undo

curprev 20:2320:23, 29 September 2004 Rbrwr talk contribs 680 bytes +175 wikify, format, {{stub}} undo

curprev 20:3320:33, 1 June 2004 130.238.5.5 talk 505 bytes +505 No edit summary

1 November 2023

12 July 2023

4 June 2019

21 January 2019

21 September 2018

6 September 2018

6 September 2016

10 March 2016

11 November 2014

9 September 2012

8 September 2012

3 May 2012

23 February 2011

27 August 2010

20 June 2010

9 March 2010

8 March 2010

11 December 2009

9 December 2009

19 November 2009

13 November 2009

7 November 2009

27 October 2009

24 October 2008

12 October 2008

29 July 2008

29 November 2007

1 August 2007

14 June 2007

2 December 2006

19 September 2005

9 August 2005

2 July 2005

3 June 2005

19 May 2005

29 September 2004

1 June 2004