User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615a.png (current)
- 08:32, 15 June 2010 (diff | hist) . . (+3) . . Meeting Minutes - June 15, 2010 (current)
- 08:32, 15 June 2010 (diff | hist) . . (+216) . . Meeting Minutes - June 15, 2010 (→Notes)
- 08:07, 8 June 2010 (diff | hist) . . (+573) . . N Meeting Minutes - June 15, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-15|10am|12pm}} =Notes= CVC4 status Agenda *sharing =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rew…')
- 08:06, 8 June 2010 (diff | hist) . . (+9) . . Meeting Minutes - June 8, 2010 (→Notes) (current)
- 08:05, 8 June 2010 (diff | hist) . . (+23) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:05, 8 June 2010 (diff | hist) . . (-52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:04, 8 June 2010 (diff | hist) . . (+859) . . Meeting Minutes - June 8, 2010 (→Notes)
- 15:05, 7 June 2010 (diff | hist) . . (+52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 09:05, 3 June 2010 (diff | hist) . . (+551) . . N Meeting Minutes - June 8, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-8|10am|12pm}} =Notes= Agenda =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rewriting * Dejan - night…')
- 09:04, 3 June 2010 (diff | hist) . . (+394) . . Meeting Minutes - June 3, 2010 (→Notes) (current)
- 04:56, 3 June 2010 (diff | hist) . . (+73) . . Meeting Minutes - June 3, 2010 (→Notes)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
