Extending the Static Checker: Revision history

5 July 2011

• curprev 16:2416:24, 5 July 2011‎ imported>Renato‎ 24,700 bytes −7‎ →‎Before Starting
• curprev 16:2316:23, 5 July 2011‎ imported>Renato‎ 24,707 bytes +17‎ →‎Before Starting

25 August 2010

• curprev 15:2815:28, 25 August 2010‎ imported>Pascal‎ 24,690 bytes +279‎ →‎Sequencing
• curprev 15:0815:08, 25 August 2010‎ imported>Pascal‎ 24,411 bytes +81‎ →‎Parent
• curprev 15:0315:03, 25 August 2010‎ imported>Pascal‎ 24,330 bytes +69‎ →‎Prerequisite
• curprev 14:4514:45, 25 August 2010‎ imported>Pascal‎ 24,261 bytes +938‎ →‎Programmatic usage
• curprev 14:1014:10, 25 August 2010‎ imported>Pascal‎ 23,323 bytes +124‎ →‎Programmatic usage
• curprev 13:3013:30, 25 August 2010‎ imported>Tommy‎ m 23,199 bytes +63‎ →‎Processor
• curprev 13:2913:29, 25 August 2010‎ imported>Tommy‎ m 23,136 bytes +63‎ →‎Filter
• curprev 13:2713:27, 25 August 2010‎ imported>Tommy‎ m 23,073 bytes −5‎ →‎Processor
• curprev 13:2713:27, 25 August 2010‎ imported>Tommy‎ m 23,078 bytes −5‎ →‎Filter

21 June 2010

• curprev 10:2910:29, 21 June 2010‎ imported>Renato‎ 23,083 bytes +42‎ →‎Declaration
• curprev 10:2810:28, 21 June 2010‎ imported>Renato‎ 23,041 bytes −22‎ →‎Declaration
• curprev 10:2710:27, 21 June 2010‎ imported>Renato‎ 23,063 bytes +41‎ →‎Declaration
• curprev 10:2510:25, 21 June 2010‎ imported>Renato‎ 23,022 bytes −29‎ →‎Declaration
• curprev 10:2410:24, 21 June 2010‎ imported>Renato‎ 23,051 bytes +2‎ →‎Declaration
• curprev 09:4209:42, 21 June 2010‎ imported>Pascal‎ m 23,049 bytes −64‎ →‎Declaration

18 June 2010

• curprev 14:1314:13, 18 June 2010‎ imported>Renato‎ 23,113 bytes +489‎ →‎Declaration
• curprev 12:1312:13, 18 June 2010‎ imported>Renato‎ 22,624 bytes +75‎ →‎Declaration

10 June 2010

• curprev 15:5115:51, 10 June 2010‎ imported>Pascal‎ m 22,549 bytes +20‎ →‎Declaration
• curprev 15:5015:50, 10 June 2010‎ imported>Pascal‎ m 22,529 bytes +9‎ →‎Parent
• curprev 15:5015:50, 10 June 2010‎ imported>Pascal‎ m 22,520 bytes +9‎ →‎Programmatic usage
• curprev 15:4915:49, 10 June 2010‎ imported>Pascal‎ 22,511 bytes +680‎ →‎Processor
• curprev 15:4815:48, 10 June 2010‎ imported>Pascal‎ 21,831 bytes −664‎ →‎Parent
• curprev 14:5614:56, 10 June 2010‎ imported>Pascal‎ m 22,495 bytes +4‎ →‎Programmatic Usage
• curprev 14:5414:54, 10 June 2010‎ imported>Pascal‎ m 22,491 bytes −36‎ →‎States
• curprev 14:4514:45, 10 June 2010‎ imported>Pascal‎ 22,527 bytes −4‎ →‎States
• curprev 14:4114:41, 10 June 2010‎ imported>Pascal‎ m 22,531 bytes −29‎ →‎Example
• curprev 14:3514:35, 10 June 2010‎ imported>Pascal‎ m 22,560 bytes −1‎ →‎Prerequisite
• curprev 14:3414:34, 10 June 2010‎ imported>Pascal‎ m 22,561 bytes −3‎ →‎Processor
• curprev 14:3114:31, 10 June 2010‎ imported>Pascal‎ m 22,564 bytes +32‎ →‎Processor
• curprev 14:2814:28, 10 June 2010‎ imported>Pascal‎ m 22,532 bytes +3‎ →‎Filter
• curprev 14:2814:28, 10 June 2010‎ imported>Pascal‎ m 22,529 bytes +18‎ →‎Filter
• curprev 14:1414:14, 10 June 2010‎ imported>Pascal‎ 22,511 bytes +26‎ →‎Configuration
• curprev 14:1214:12, 10 June 2010‎ imported>Pascal‎ 22,485 bytes +1‎ →‎Declaration
• curprev 14:1014:10, 10 June 2010‎ imported>Pascal‎ m 22,484 bytes +10‎ →‎Programmatic usage
• curprev 14:0414:04, 10 June 2010‎ imported>Pascal‎ 22,474 bytes −47‎ →‎Declaration
• curprev 14:0014:00, 10 June 2010‎ imported>Pascal‎ m 22,521 bytes +2‎ →‎AutoTools
• curprev 13:5913:59, 10 June 2010‎ imported>Pascal‎ m 22,519 bytes +1‎ →‎Before Starting
• curprev 13:5813:58, 10 June 2010‎ imported>Pascal‎ 22,518 bytes +48‎ →‎Introduction
• curprev 13:5313:53, 10 June 2010‎ imported>Pascal‎ 22,470 bytes +72‎ →‎Before Starting

21 May 2010

• curprev 10:1910:19, 21 May 2010‎ imported>Renato‎ 22,398 bytes +40‎ No edit summary
• curprev 10:1710:17, 21 May 2010‎ imported>Renato‎ 22,358 bytes +11‎ No edit summary
• curprev 10:1010:10, 21 May 2010‎ imported>Renato‎ 22,347 bytes +12‎ No edit summary
• curprev 10:0910:09, 21 May 2010‎ imported>Renato‎ 22,335 bytes +4‎ No edit summary
• curprev 10:0810:08, 21 May 2010‎ imported>Renato‎ 22,331 bytes +2,904‎ No edit summary
• curprev 09:5009:50, 21 May 2010‎ imported>Renato‎ 19,427 bytes +18,784‎ Extending the static checker using the decompositionFile usage

7 May 2010

• curprev 09:4709:47, 7 May 2010‎ imported>Pascal‎ 643 bytes +387‎ →‎Introduction
• curprev 09:3009:30, 7 May 2010‎ imported>Pascal‎ m 256 bytes +176‎ →‎Plan

4 May 2010

• curprev 08:2808:28, 4 May 2010‎ imported>Pascal‎ m 80 bytes +30‎ →‎Category