User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:49, 11 March 2011 (diff | hist) . . (+46) . . Meeting Minutes - March 11, 2011 (→Status)
- 20:26, 10 March 2011 (diff | hist) . . (+29) . . Meeting Minutes - March 11, 2011 (→Notes)
- 14:08, 10 March 2011 (diff | hist) . . (+11) . . Meeting Minutes - March 11, 2011 (→Status)
- 14:07, 10 March 2011 (diff | hist) . . (-31) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 10:22, 10 March 2011 (diff | hist) . . (+35) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 10:20, 10 March 2011 (diff | hist) . . (+17) . . Meeting Minutes - March 11, 2011 (→Notes)
- 01:08, 10 March 2011 (diff | hist) . . (+89) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 12:03, 8 March 2011 (diff | hist) . . (+100) . . Meeting Minutes - March 11, 2011 (→Status)
- 00:21, 8 March 2011 (diff | hist) . . (+25) . . Meeting Minutes - March 11, 2011 (→Status)
- 00:20, 8 March 2011 (diff | hist) . . (+24) . . Meeting Minutes - March 11, 2011 (→Status)
- 00:20, 8 March 2011 (diff | hist) . . (+65) . . Meeting Minutes - March 11, 2011 (→Status)
- 14:36, 5 March 2011 (diff | hist) . . (0) . . Meeting Minutes - March 11, 2011 (→Status)
- 14:35, 5 March 2011 (diff | hist) . . (+761) . . N Meeting Minutes - March 11, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-3-11|11am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims.nyu…')
- 10:33, 4 March 2011 (diff | hist) . . (+65) . . Meeting Minutes - March 4, 2011 (→Assignments) (current)
- 10:32, 4 March 2011 (diff | hist) . . (+9) . . Meeting Minutes - March 4, 2011 (→Assignments)
- 10:29, 4 March 2011 (diff | hist) . . (+46) . . Meeting Minutes - March 4, 2011 (→Assignments)
- 10:23, 4 March 2011 (diff | hist) . . (-26) . . Meeting Minutes - March 4, 2011 (→Assignments)
- 10:17, 4 March 2011 (diff | hist) . . (-468) . . Meeting Minutes - March 4, 2011 (→Discussion)
- 09:49, 4 March 2011 (diff | hist) . . (+3,379) . . N Meeting Minutes - March 4, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-3-4|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims.n…')
- 15:36, 25 February 2011 (diff | hist) . . (+38) . . Meeting Minutes - February 25, 2011 (→Status) (current)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
