User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 11:02, 8 April 2010 (diff | hist) . . (0) . . Developer Meeting Minutes (→May 2010)
- 11:01, 8 April 2010 (diff | hist) . . (0) . . N File:Mtg20100408.png (current)
- 11:01, 8 April 2010 (diff | hist) . . (0) . . N File:Mtg20100408.notebook (current)
- 09:29, 6 April 2010 (diff | hist) . . (0) . . N File:Mtg20100406.png (current)
- 09:29, 6 April 2010 (diff | hist) . . (0) . . N File:Mtg20100406.notebook (current)
- 23:52, 5 April 2010 (diff | hist) . . (-5) . . Meeting Minutes - April 6, 2010 (→Notes) (current)
- 23:52, 5 April 2010 (diff | hist) . . (+5) . . Meeting Minutes - April 6, 2010 (→Notes)
- 23:52, 5 April 2010 (diff | hist) . . (+76) . . Meeting Minutes - April 6, 2010 (→Notes)
- 23:51, 5 April 2010 (diff | hist) . . (+757) . . N Meeting Minutes - April 8, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-4-8|10am|11:30am}} =Notes= Agenda: * '''Code Review Review''' =Assignments= * Dejan - Work on interface between SAT and rest of CVC4 * …') (current)
- 23:50, 5 April 2010 (diff | hist) . . (0) . . Meeting Minutes - April 6, 2010
- 17:32, 5 April 2010 (diff | hist) . . (+106) . . Developer's Guide (→Code reviews)
- 17:31, 5 April 2010 (diff | hist) . . (+262) . . Developer's Guide (→Code reviews)
- 17:29, 5 April 2010 (diff | hist) . . (+14) . . Developer's Guide (→Code reviews)
- 17:29, 5 April 2010 (diff | hist) . . (-19) . . Developer's Guide (→Code reviews)
- 17:28, 5 April 2010 (diff | hist) . . (+17) . . Developer's Guide (→Code reviews)
- 17:28, 5 April 2010 (diff | hist) . . (0) . . Developer's Guide (→Code reviews)
- 17:27, 5 April 2010 (diff | hist) . . (+21) . . Developer's Guide (→Code reviews)
- 17:26, 5 April 2010 (diff | hist) . . (+5) . . Developer's Guide (→Code reviews)
- 17:26, 5 April 2010 (diff | hist) . . (+55) . . Developer's Guide (→Code reviews)
- 17:22, 5 April 2010 (diff | hist) . . (0) . . File:Code review lifecycle.png (uploaded a new version of "File:Code review lifecycle.png": Created from Code_review_lifecycle.fig, by exporting to PDF from xfig, then using the GIMP to convert to PNG (this results in much higher quality than fig->png directly).) (current)
- 17:18, 5 April 2010 (diff | hist) . . (0) . . File:Code review lifecycle.fig (uploaded a new version of "File:Code review lifecycle.fig") (current)
- 14:43, 5 April 2010 (diff | hist) . . (+16) . . Meeting Minutes - April 6, 2010 (→Notes)
- 14:43, 5 April 2010 (diff | hist) . . (+65) . . Meeting Minutes - April 6, 2010 (→Notes)
- 14:33, 5 April 2010 (diff | hist) . . (+178) . . MediaWiki:Sidebar
- 12:17, 5 April 2010 (diff | hist) . . (0) . . Developer's Guide (→Code reviews)
- 12:17, 5 April 2010 (diff | hist) . . (+35) . . Developer's Guide (→Code reviews)
- 12:17, 5 April 2010 (diff | hist) . . (+6) . . Developer's Guide (→Code reviews)
- 12:17, 5 April 2010 (diff | hist) . . (0) . . Developer's Guide (→Code reviews)
- 12:15, 5 April 2010 (diff | hist) . . (+6) . . Developer's Guide (→Code reviews)
- 12:15, 5 April 2010 (diff | hist) . . (+2) . . Developer's Guide (→Code reviews)
- 12:15, 5 April 2010 (diff | hist) . . (+2) . . Developer's Guide (→Code reviews)
- 12:14, 5 April 2010 (diff | hist) . . (+58) . . N File:Code review lifecycle.png (This is generated from File:code_review_lifecycle.fig.)
- 12:13, 5 April 2010 (diff | hist) . . (0) . . N File:Code review lifecycle.fig
- 12:12, 5 April 2010 (diff | hist) . . (+33) . . Developer's Guide (→Code reviews)
- 11:39, 5 April 2010 (diff | hist) . . (+131) . . Meeting Minutes - April 6, 2010 (→Notes)
- 11:37, 5 April 2010 (diff | hist) . . (+58) . . Meeting Minutes - April 6, 2010 (→Notes)
- 11:29, 5 April 2010 (diff | hist) . . (+160) . . Developer's Guide (→Code reviews)
- 11:26, 5 April 2010 (diff | hist) . . (+46) . . Meeting Minutes - April 6, 2010 (→Notes)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
