User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:35, 6 February 2011 (diff | hist) . . (+24) . . MediaWiki:Sidebar
- 12:24, 6 February 2011 (diff | hist) . . (+8) . . Meeting Minutes - February 11, 2011 (→Contest)
- 12:24, 6 February 2011 (diff | hist) . . (-597) . . Meeting Minutes - February 11, 2011 (→Discussion)
- 12:23, 6 February 2011 (diff | hist) . . (+1,400) . . N Meeting Minutes - February 11, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-2-11|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] Morgan * replay feat…')
- 12:21, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204b.png (current)
- 12:20, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204a.png (current)
- 12:20, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204.notebook (current)
- 12:18, 6 February 2011 (diff | hist) . . (-71) . . Meeting Minutes - February 4, 2011 (→Discussion) (current)
- 09:07, 4 February 2011 (diff | hist) . . (+1,289) . . Meeting Minutes - February 4, 2011 (→Notes)
- 14:12, 31 January 2011 (diff | hist) . . (0) . . Meeting Minutes - February 4, 2011 (→Notes)
- 14:11, 31 January 2011 (diff | hist) . . (+48) . . Meeting Minutes - February 4, 2011 (→Status)
- 11:42, 31 January 2011 (diff | hist) . . (+16) . . Meeting Minutes - February 4, 2011 (→Status)
- 15:41, 28 January 2011 (diff | hist) . . (+1,921) . . N EAGER Meeting Notes - January 28, 2011 (Created page with 'In today's kickoff meeting for the EAGER project, Harshit joined via Skype from India, Clark joined via Skype from Boston, Andy joined via Skype from Iowa, and Morgan, Kshitij, L…') (current)
- 09:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128b.png (current)
- 09:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128a.png (current)
- 09:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128.notebook (current)
- 09:22, 28 January 2011 (diff | hist) . . (0) . . N File:Parmtg20110128.notebook (current)
- 09:21, 28 January 2011 (diff | hist) . . (0) . . N File:Parmtg20110128.png (current)
- 09:07, 28 January 2011 (diff | hist) . . (+599) . . Meeting Minutes - February 4, 2011
- 09:06, 28 January 2011 (diff | hist) . . (+206) . . N Meeting Minutes - February 4, 2011 (Created page with '=Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] ==Discussion== Agenda * code reviews, coverage, unit tests.. ** what hasn't been l…')
- 09:06, 28 January 2011 (diff | hist) . . (+71) . . Meeting Minutes - January 28, 2011 (→Notes) (current)
- 08:59, 28 January 2011 (diff | hist) . . (+4) . . Meeting Minutes - January 28, 2011 (→Discussion)
- 08:51, 28 January 2011 (diff | hist) . . (+89) . . Meeting Minutes - January 28, 2011 (→Discussion)
- 08:50, 28 January 2011 (diff | hist) . . (+1,095) . . Meeting Minutes - January 28, 2011 (→Notes)
- 08:06, 28 January 2011 (diff | hist) . . (-19) . . Meeting Minutes - January 28, 2011 (→Ongoing)
- 08:05, 28 January 2011 (diff | hist) . . (+63) . . Meeting Minutes - January 28, 2011 (→Notes)
- 07:59, 28 January 2011 (diff | hist) . . (+576) . . Meeting Minutes - January 28, 2011 (→Notes)
- 07:45, 28 January 2011 (diff | hist) . . (+99) . . Meeting Minutes - January 28, 2011 (→Status)
- 09:37, 18 January 2011 (diff | hist) . . (-16) . . Template:Mtgindex (current)
- 09:37, 18 January 2011 (diff | hist) . . (-1) . . Developer Meeting Minutes (→Fourth Quarter 2011)
- 09:36, 18 January 2011 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Third Quarter 2011)
- 09:36, 18 January 2011 (diff | hist) . . (0) . . Developer Meeting Minutes (→Second Quarter 2011)
- 09:33, 18 January 2011 (diff | hist) . . (-24) . . Developer Meeting Minutes (→First Quarter 2011)
- 08:42, 18 January 2011 (diff | hist) . . (0) . . Meeting Minutes - January 28, 2011
- 08:42, 18 January 2011 (diff | hist) . . (-271) . . Meeting Minutes - January 28, 2011 (→Status)
- 08:42, 18 January 2011 (diff | hist) . . (+1,093) . . N Meeting Minutes - January 28, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-1-18|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] *Morgan - UF, OpenS…')
- 08:34, 18 January 2011 (diff | hist) . . (+1,178) . . N Meeting Minutes - January 18, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-1-18|10:30am|12:30pm}} =Notes= * Next meeting Friday January 28, 10:30am - '''note new time''' ==Status== [http://goedel.cims.nyu.edu/c…') (current)
- 13:55, 11 January 2011 (diff | hist) . . (+102) . . Meeting Minutes - January 11, 2011 (→Discussion) (current)
- 13:55, 11 January 2011 (diff | hist) . . (+6) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 13:52, 11 January 2011 (diff | hist) . . (+549) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 13:49, 11 January 2011 (diff | hist) . . (+305) . . Meeting Minutes - January 11, 2011 (→Status)
- 13:47, 11 January 2011 (diff | hist) . . (-58) . . Meeting Minutes - January 11, 2011 (→Assignments)
- 13:45, 11 January 2011 (diff | hist) . . (+772) . . Meeting Minutes - January 11, 2011 (→Discussion)
- 13:40, 11 January 2011 (diff | hist) . . (+57) . . Meeting Minutes - January 11, 2011 (→Status)
- 09:59, 11 January 2011 (diff | hist) . . (-130) . . Developer Meeting Minutes
- 09:59, 11 January 2011 (diff | hist) . . (-18) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2010 4Q))
- 09:58, 11 January 2011 (diff | hist) . . (-24) . . Developer Meeting Minutes (→First Quarter 2011)
- 09:57, 11 January 2011 (diff | hist) . . (+101) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2011)
- 09:56, 11 January 2011 (diff | hist) . . (+219) . . N Developer Meeting Minutes for 2011 (Created page with '==First Quarter 2011== The first quarter meeting index is still on the main meeting minutes page. ==Second Quarter 2011== ==Thi…')
- 09:55, 11 January 2011 (diff | hist) . . (+194) . . Developer Meeting Minutes for 2010 (→Fourth Quarter 2010) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
