User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:12, 2 June 2010 (diff | hist) . . (+23) . . Meeting Minutes - June 3, 2010 (→Notes)
- 15:42, 2 June 2010 (diff | hist) . . (-2) . . Template:Mtginformal (current)
- 15:41, 2 June 2010 (diff | hist) . . (0) . . Template:Mtginformal
- 15:40, 2 June 2010 (diff | hist) . . (+36) . . Template:Mtginformal
- 15:40, 2 June 2010 (diff | hist) . . (+297) . . N Template:Mtginformal (Created page with '{{#ifexist: Meeting Minutes - {{#timel:F j, Y|{{{1}}}}} |{{#ifeq: 1 | {{#expr:{{#timel:U|{{{1}}}}} <= {{#expr:{{#timel:U}}+86400*3}}}} | <li>[[Meeting Minutes - {{#timel:F j, Y|{…')
- 15:39, 2 June 2010 (diff | hist) . . (+25) . . Developer Meeting Minutes (→June 2010)
- 15:38, 2 June 2010 (diff | hist) . . (+26) . . Developer Meeting Minutes (→May 2010)
- 15:38, 2 June 2010 (diff | hist) . . (+691) . . N Meeting Minutes - June 3, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-3|11am|12pm}} =Notes= Agenda: *status **arith **uf **rewriting **preregistration **splitting **parser **bugs ***stdin (votesmt) ***cos…')
- 10:18, 27 May 2010 (diff | hist) . . (+46) . . Meeting Minutes - June 1, 2010 (current)
- 10:17, 27 May 2010 (diff | hist) . . (+1,320) . . Meeting Minutes - May 27, 2010 (current)
- 10:08, 27 May 2010 (diff | hist) . . (+603) . . Meeting Minutes - May 27, 2010
- 15:01, 21 May 2010 (diff | hist) . . (0) . . Meeting Minutes - June 1, 2010 (→Notes)
- 15:01, 21 May 2010 (diff | hist) . . (+10) . . Meeting Minutes - June 1, 2010 (→Notes)
- 14:59, 21 May 2010 (diff | hist) . . (0) . . Meeting Minutes - June 1, 2010
- 14:56, 21 May 2010 (diff | hist) . . (+613) . . Meeting Minutes - June 1, 2010
- 14:54, 21 May 2010 (diff | hist) . . (-91) . . Developer Meeting Minutes (→August 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-113) . . Developer Meeting Minutes (→July 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-22) . . Developer Meeting Minutes (→May 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-91) . . Developer Meeting Minutes (→June 2010)
- 14:52, 21 May 2010 (diff | hist) . . (+590) . . N Meeting Minutes - June 1, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-1|10am|12pm}} =Notes= =Assignments= * Dejan - Work on interface between SAT and rest of CVC4 * Dejan - Types * Morgan - rewriting, exp…')
- 14:51, 21 May 2010 (diff | hist) . . (+597) . . N Meeting Minutes - May 20, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-5-20|10:30am|11:30am}} =Notes= =Assignments= * Dejan - Work on interface between SAT and rest of CVC4 * Dejan - Types * Morgan - rewriti…') (current)
- 11:39, 7 May 2010 (diff | hist) . . (+760) . . N Meeting Minutes - May 6, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-5-6|10am|11am}} =Notes= Agenda: * '''Code Review Review''' * Move Thursday meting due to Afshin's defense? * Summer meeting schedule * Ty…') (current)
- 11:38, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100429b.png (current)
- 11:38, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100429a.png (current)
- 11:37, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100429.notebook (current)
- 11:37, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100506b.png (current)
- 11:37, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100506a.png (current)
- 11:37, 7 May 2010 (diff | hist) . . (0) . . N File:Mtg20100506.notebook (current)
- 07:17, 6 May 2010 (diff | hist) . . (+3) . . Developer Meeting Minutes (→May 2010)
- 10:25, 30 April 2010 (diff | hist) . . (+760) . . N Meeting Minutes - May 4, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-5-4|10am|12pm}} =Notes= Agenda: * '''Code Review Review''' * Move Thursday meting due to Afshin's defense? * Summer meeting schedule * Ty…') (current)
- 10:24, 30 April 2010 (diff | hist) . . (-3) . . Meeting Minutes - April 29, 2010 (current)
- 19:56, 28 April 2010 (diff | hist) . . (+5,757) . . Meeting Minutes - April 27, 2010 (current)
- 19:10, 28 April 2010 (diff | hist) . . (+679) . . N Meeting Minutes - April 29, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-4-29|10am|11:30am}} =Notes= Agenda: * '''Code Review Review''' * Theory rewriting * Types * Splitting on Demand =Assignments= * Dejan -…')
- 08:17, 27 April 2010 (diff | hist) . . (-106) . . Meeting Minutes - April 27, 2010 (→Assignments)
- 11:40, 22 April 2010 (diff | hist) . . (+2) . . Developer Meeting Minutes (→April 2010)
- 11:40, 22 April 2010 (diff | hist) . . (+782) . . N Meeting Minutes - April 27, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-4-27|10am|12pm}} =Notes= Agenda: * '''Code Review Review''' * Theory rewriting * Types * Splitting on Demand =Assignments= * Dejan - Wo…')
- 13:27, 15 April 2010 (diff | hist) . . (0) . . N File:Mtg20100415.png (current)
- 13:26, 15 April 2010 (diff | hist) . . (0) . . N File:Mtg20100415.notebook (current)
- 13:25, 15 April 2010 (diff | hist) . . (+2,022) . . Meeting Minutes - April 15, 2010 (→Notes) (current)
- 10:04, 15 April 2010 (diff | hist) . . (-25) . . Meeting Minutes - April 15, 2010 (→Notes)
- 07:31, 15 April 2010 (diff | hist) . . (-22) . . Meeting Minutes - April 15, 2010 (→Code reviews)
- 16:17, 13 April 2010 (diff | hist) . . (+84) . . Meeting Minutes - April 15, 2010 (→Notes)
- 13:44, 8 April 2010 (diff | hist) . . (+109) . . Developer's Guide (→Coverage testing with gcov)
- 13:42, 8 April 2010 (diff | hist) . . (+8) . . Developer's Guide (→Coverage testing with gcov)
- 13:42, 8 April 2010 (diff | hist) . . (-154) . . Developer's Guide (→Coverage testing with gcov)
- 11:13, 8 April 2010 (diff | hist) . . (+18) . . Template:Mtgindex
- 11:12, 8 April 2010 (diff | hist) . . (+19) . . Template:Mtgcancel (current)
- 11:07, 8 April 2010 (diff | hist) . . (+758) . . N Meeting Minutes - April 15, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-4-15|10am|11:30am}} =Notes= Agenda: * '''Code Review Review''' =Assignments= * Dejan - Work on interface between SAT and rest of CVC4 *…')
- 11:06, 8 April 2010 (diff | hist) . . (+1) . . Developer Meeting Minutes (→April 2010)
- 11:06, 8 April 2010 (diff | hist) . . (+693) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2010)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
