User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:02, 4 March 2010 (diff | hist) . . (+112) . . How do I... ? (→Dealing with tests)
- 15:51, 4 March 2010 (diff | hist) . . (+1,102) . . Developer's Guide (→Test rebuilding)
- 15:48, 4 March 2010 (diff | hist) . . (+1,158) . . Developer's Guide (→Test rebuilding)
- 15:44, 4 March 2010 (diff | hist) . . (-5) . . Developer's Guide (→Test rebuilding)
- 15:44, 4 March 2010 (diff | hist) . . (+148) . . N Template:BUG (Created page with '[http://goedel.cims.nyu.edu/cgi-bin/bugzilla3/show_bug.cgi?id={{{1}}} Bug {{{1}}}]<noinclude> Category:External link templates </noinclude>')
- 15:43, 4 March 2010 (diff | hist) . . (+5) . . Developer's Guide (→Test rebuilding)
- 15:43, 4 March 2010 (diff | hist) . . (+344) . . Developer's Guide (→Unit testing)
- 15:23, 4 March 2010 (diff | hist) . . (0) . . Developer's Guide (→Debugging Unit Tests)
- 15:22, 4 March 2010 (diff | hist) . . (0) . . How do I... ? (→Dealing with tests)
- 15:22, 4 March 2010 (diff | hist) . . (+80) . . How do I... ? (→Dealing with tests)
- 15:15, 1 March 2010 (diff | hist) . . (+2) . . Developer Meeting Minutes (→March 2010)
- 15:14, 1 March 2010 (diff | hist) . . (+706) . . N Meeting Minutes - March 9, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-9|10am|12pm}} =Agenda= =Notes= =Assignments= * Morgan - Attribute Manager * Tim - Clean up UF code * Tim - Help with theory base * De…') (current)
- 15:00, 26 February 2010 (diff | hist) . . (+700) . . N Meeting Minutes - February 25, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-25|10am|11:30am}} =Notes= =Assignments= * Morgan - Attribute Manager * Tim - Clean up UF code * Tim - Help with theory base * Dejan an…') (current)
- 08:40, 23 February 2010 (diff | hist) . . (+2,804) . . Developer's Guide
- 11:17, 18 February 2010 (diff | hist) . . (+920) . . N Meeting Minutes - February 23, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-23|10am|12pm}} =Notes= Attributes. Morgan - static type safety Chris/Dejan - conciseness of expressing attribute types Dejan - dynam…') (current)
- 11:10, 18 February 2010 (diff | hist) . . (0) . . N File:Mtg20100218.png (current)
- 11:10, 18 February 2010 (diff | hist) . . (0) . . N File:Mtg20100218.notebook (current)
- 11:09, 18 February 2010 (diff | hist) . . (+923) . . N Meeting Minutes - February 18, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-18|10am|11:45am}} =Notes= Attributes. Morgan - static type safety Chris/Dejan - conciseness of expressing attribute types Dejan - dy…') (current)
- 15:00, 17 February 2010 (diff | hist) . . (+22) . . m Developer's Guide (→Merging a branch back to the trunk)
- 10:52, 17 February 2010 (diff | hist) . . (0) . . N File:Mtg20100216.png (current)
- 10:52, 17 February 2010 (diff | hist) . . (0) . . N File:Mtg20100216.notebook (current)
- 10:02, 11 February 2010 (diff | hist) . . (0) . . N File:Compare20100211.png (current)
- 14:34, 10 February 2010 (diff | hist) . . (+1,894) . . N Meeting Minutes - February 11, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-11|10am|11:30am}} =Meeting Agenda= *Progress on assignments from 2/9 meeting ** Tim - CNF conversion ** Tim - PropEngine ** Dejan - Min…')
- 15:29, 5 February 2010 (diff | hist) . . (+211) . . Developer's Guide (→Adding source directories)
- 13:28, 5 February 2010 (diff | hist) . . (+28) . . Meeting Minutes - February 9, 2010 (→Meeting Agenda) (current)
- 13:18, 5 February 2010 (diff | hist) . . (+604) . . Developer's Guide (→Unit testing)
- 13:15, 5 February 2010 (diff | hist) . . (+1,756) . . Developer's Guide (→Regression testing)
- 13:00, 5 February 2010 (diff | hist) . . (+154) . . Meeting Minutes - February 9, 2010 (→Progress)
- 16:07, 4 February 2010 (diff | hist) . . (+388) . . Meeting Minutes - February 2, 2010 (current)
- 16:03, 4 February 2010 (diff | hist) . . (+684) . . Meeting Minutes - February 4, 2010 (current)
- 09:59, 4 February 2010 (diff | hist) . . (+1,862) . . N Meeting Minutes - February 9, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-9|10am|12pm}} =Meeting Agenda= *Progress on assignments from 2/4 meeting ** Tim - CNF conversion ** Tim - PropEngine ** Dejan - MiniSat…')
- 16:17, 3 February 2010 (diff | hist) . . (+225) . . Meeting Minutes - February 4, 2010
- 16:13, 3 February 2010 (diff | hist) . . (+88) . . Meeting Minutes - February 4, 2010
- 13:59, 3 February 2010 (diff | hist) . . (+148) . . N Template:Bug (Created page with '[http://goedel.cims.nyu.edu/cgi-bin/bugzilla3/show_bug.cgi?id={{{1}}} bug {{{1}}}]<noinclude> Category:External link templates </noinclude>')
- 13:58, 3 February 2010 (diff | hist) . . (-21) . . Meeting Minutes - February 4, 2010
- 13:58, 3 February 2010 (diff | hist) . . (+1) . . Meeting Minutes - February 4, 2010
- 13:56, 3 February 2010 (diff | hist) . . (+261) . . Meeting Minutes - February 4, 2010
- 10:01, 3 February 2010 (diff | hist) . . (+43) . . Meeting Minutes - February 4, 2010
- 10:00, 3 February 2010 (diff | hist) . . (+1,653) . . N Meeting Minutes - February 4, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-2-4|10am|11am}} =Meeting Agenda= *Progress on assignments from 2/2 meeting ** CVC4 code reviews status report ***build system ***Tim/Kaus…')
- 09:45, 3 February 2010 (diff | hist) . . (0) . . Meeting Minutes - February 2, 2010
- 09:43, 3 February 2010 (diff | hist) . . (0) . . N File:Mtg20100202b.png (current)
- 09:43, 3 February 2010 (diff | hist) . . (0) . . N File:Mtg20100202a.png (current)
- 09:43, 3 February 2010 (diff | hist) . . (0) . . N File:Mtg20100202.notebook (current)
- 11:03, 1 February 2010 (diff | hist) . . (-1) . . CVC4
- 11:03, 1 February 2010 (diff | hist) . . (-2) . . CVC4
- 11:03, 1 February 2010 (diff | hist) . . (-63) . . CVC4
- 19:24, 31 January 2010 (diff | hist) . . (+32) . . CVC4
- 19:24, 31 January 2010 (diff | hist) . . (+58) . . CVC4
- 19:23, 31 January 2010 (diff | hist) . . (-2) . . CVC4
- 19:22, 31 January 2010 (diff | hist) . . (-19) . . CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
