User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:21, 25 February 2011 (diff | hist) . . (+1,594) . . Meeting Minutes - February 25, 2011
- 09:06, 25 February 2011 (diff | hist) . . (+321) . . Meeting Minutes - February 25, 2011
- 08:48, 25 February 2011 (diff | hist) . . (+191) . . Meeting Minutes - February 25, 2011 (→Status)
- 08:37, 25 February 2011 (diff | hist) . . (+440) . . N Meeting Minutes - February 25, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-2-25|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims.…')
- 13:45, 16 February 2011 (diff | hist) . . (+440) . . N Meeting Minutes - February 18, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-2-18|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims.…')
- 09:50, 11 February 2011 (diff | hist) . . (+1,141) . . Meeting Minutes - February 11, 2011 (→Status) (current)
- 15:18, 9 February 2011 (diff | hist) . . (+112) . . Leaderboard (→Miscellanea)
- 15:07, 9 February 2011 (diff | hist) . . (+4) . . Leaderboard
- 15:07, 9 February 2011 (diff | hist) . . (+44) . . Leaderboard
- 15:02, 9 February 2011 (diff | hist) . . (+2,794) . . Leaderboard
- 14:58, 9 February 2011 (diff | hist) . . (+117) . . N Leaderboard (Created page with 'A [http://goedel.cims.nyu.edu/leaderboard/ CVC4 leaderboard] has been developed for the Spring 2011 CVC4 Contest.')
- 14:58, 9 February 2011 (diff | hist) . . (+2) . . CVC4 Contest (current)
- 14:57, 9 February 2011 (diff | hist) . . (-16) . . CVC4 Contest
- 15:40, 6 February 2011 (diff | hist) . . (+8) . . CVC4 Contest
- 15:40, 6 February 2011 (diff | hist) . . (+47) . . CVC4 Contest
- 15:39, 6 February 2011 (diff | hist) . . (0) . . N File:Cvc4-logo.png (current)
- 15:33, 6 February 2011 (diff | hist) . . (0) . . N File:Cvc4-med.png (current)
- 13:36, 6 February 2011 (diff | hist) . . (+32) . . CVC4
- 13:36, 6 February 2011 (diff | hist) . . (+1,495) . . N CVC4 Contest (Created page with 'The Spring 2011 CVC4 contest is a [http://en.wikipedia.org/wiki/Coopetition coopetition]-style competition aimed at improving the performance of CVC4 in the months leading up to …')
- 13:36, 6 February 2011 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 13:35, 6 February 2011 (diff | hist) . . (+24) . . MediaWiki:Sidebar
- 13:24, 6 February 2011 (diff | hist) . . (+8) . . Meeting Minutes - February 11, 2011 (→Contest)
- 13:24, 6 February 2011 (diff | hist) . . (-597) . . Meeting Minutes - February 11, 2011 (→Discussion)
- 13: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…')
- 13:21, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204b.png (current)
- 13:20, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204a.png (current)
- 13:20, 6 February 2011 (diff | hist) . . (0) . . N File:Mtg20110204.notebook (current)
- 13:18, 6 February 2011 (diff | hist) . . (-71) . . Meeting Minutes - February 4, 2011 (→Discussion) (current)
- 10:07, 4 February 2011 (diff | hist) . . (+1,289) . . Meeting Minutes - February 4, 2011 (→Notes)
- 15:12, 31 January 2011 (diff | hist) . . (0) . . Meeting Minutes - February 4, 2011 (→Notes)
- 15:11, 31 January 2011 (diff | hist) . . (+48) . . Meeting Minutes - February 4, 2011 (→Status)
- 12:42, 31 January 2011 (diff | hist) . . (+16) . . Meeting Minutes - February 4, 2011 (→Status)
- 16: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)
- 10:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128b.png (current)
- 10:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128a.png (current)
- 10:22, 28 January 2011 (diff | hist) . . (0) . . N File:Mtg20110128.notebook (current)
- 10:22, 28 January 2011 (diff | hist) . . (0) . . N File:Parmtg20110128.notebook (current)
- 10:21, 28 January 2011 (diff | hist) . . (0) . . N File:Parmtg20110128.png (current)
- 10:07, 28 January 2011 (diff | hist) . . (+599) . . Meeting Minutes - February 4, 2011
- 10: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…')
- 10:06, 28 January 2011 (diff | hist) . . (+71) . . Meeting Minutes - January 28, 2011 (→Notes) (current)
- 09:59, 28 January 2011 (diff | hist) . . (+4) . . Meeting Minutes - January 28, 2011 (→Discussion)
- 09:51, 28 January 2011 (diff | hist) . . (+89) . . Meeting Minutes - January 28, 2011 (→Discussion)
- 09:50, 28 January 2011 (diff | hist) . . (+1,095) . . Meeting Minutes - January 28, 2011 (→Notes)
- 09:06, 28 January 2011 (diff | hist) . . (-19) . . Meeting Minutes - January 28, 2011 (→Ongoing)
- 09:05, 28 January 2011 (diff | hist) . . (+63) . . Meeting Minutes - January 28, 2011 (→Notes)
- 08:59, 28 January 2011 (diff | hist) . . (+576) . . Meeting Minutes - January 28, 2011 (→Notes)
- 08:45, 28 January 2011 (diff | hist) . . (+99) . . Meeting Minutes - January 28, 2011 (→Status)
- 10:37, 18 January 2011 (diff | hist) . . (-16) . . Template:Mtgindex (current)
- 10:37, 18 January 2011 (diff | hist) . . (-1) . . Developer Meeting Minutes (→Fourth Quarter 2011)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
