User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:54, 15 December 2009 (diff | hist) . . (+27) . . N FAQ (Redirected page to How do I... ?) (current)
- 12:50, 15 December 2009 (diff | hist) . . (+240) . . How do I... ?
- 12:49, 15 December 2009 (diff | hist) . . (+34) . . How do I... ?
- 12:49, 15 December 2009 (diff | hist) . . (+569) . . How do I... ?
- 12:45, 15 December 2009 (diff | hist) . . (+262) . . N How do I... ? (Created page with '*...add a new source directory to the tree? *...add a new source file to the tree? *...add a new unit test? *...add a new regression? *[[#update-cop…')
- 12:44, 15 December 2009 (diff | hist) . . (-281) . . Developer's Guide
- 12:44, 15 December 2009 (diff | hist) . . (-18) . . MediaWiki:Sidebar
- 12:44, 15 December 2009 (diff | hist) . . (-1) . . MediaWiki:Sidebar
- 12:44, 15 December 2009 (diff | hist) . . (+50) . . MediaWiki:Sidebar
- 12:43, 15 December 2009 (diff | hist) . . (+281) . . Developer's Guide
- 10:30, 15 December 2009 (diff | hist) . . (0) . . N File:Mtg20091215.notebook (current)
- 10:29, 15 December 2009 (diff | hist) . . (0) . . N File:Mtg20091215a.png (current)
- 10:29, 15 December 2009 (diff | hist) . . (0) . . N File:Mtg20091215b.png (current)
- 13:43, 10 December 2009 (diff | hist) . . (+661) . . Meeting Minutes - December 8, 2009 (current)
- 13:42, 10 December 2009 (diff | hist) . . (+92) . . N Meeting Minutes - December 8, 2009 (Created page with 'We went over the new developer's guide and the CVC4 coding guidelines.')
- 13:42, 10 December 2009 (diff | hist) . . (-94) . . Meeting Minutes - December 1, 2009 (current)
- 13:42, 10 December 2009 (diff | hist) . . (+94) . . Meeting Minutes - December 1, 2009
- 13:41, 10 December 2009 (diff | hist) . . (+94) . . Meeting Minutes - December 3, 2009 (current)
- 13:41, 10 December 2009 (diff | hist) . . (+135) . . Meeting Minutes - December 17, 2009 (current)
- 13:40, 10 December 2009 (diff | hist) . . (+135) . . Meeting Minutes - December 15, 2009 (current)
- 13:40, 10 December 2009 (diff | hist) . . (+2) . . Developer Meeting Minutes
- 13:39, 10 December 2009 (diff | hist) . . (+17) . . Developer Meeting Minutes
- 13:39, 10 December 2009 (diff | hist) . . (+3) . . Meeting Minutes - December 17, 2009
- 13:38, 10 December 2009 (diff | hist) . . (+561) . . N Meeting Minutes - December 17, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-12-17|10am|12pm}} =Meeting Agenda= =Design= =Progress= =Assignments= * Morgan/Dejan - goedel backups ==Ongoing== *Morgan, with help …')
- 13:38, 10 December 2009 (diff | hist) . . (+561) . . N Meeting Minutes - December 15, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-12-15|10am|12pm}} =Meeting Agenda= =Design= =Progress= =Assignments= * Morgan/Dejan - goedel backups ==Ongoing== *Morgan, with help …')
- 13:37, 10 December 2009 (diff | hist) . . (-7) . . Template:Mtgcancel
- 13:36, 10 December 2009 (diff | hist) . . (0) . . N File:Mtg20091210.png (current)
- 13:36, 10 December 2009 (diff | hist) . . (+563) . . N Meeting Minutes - December 3, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-12-3|10am|11:30am}} =Meeting Agenda= =Design= =Progress= =Assignments= * Morgan/Dejan - goedel backups ==Ongoing== *Morgan, with hel…')
- 13:35, 10 December 2009 (diff | hist) . . (+560) . . N Meeting Minutes - December 1, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-12-1|10am|12pm}} =Meeting Agenda= =Design= =Progress= =Assignments= * Morgan/Dejan - goedel backups ==Ongoing== *Morgan, with help f…')
- 13:33, 10 December 2009 (diff | hist) . . (+2,167) . . N Expr Refactoring - December 10, 2009 (Created page with 'This explanation from an email to the CVC4-DEVEL mailing list on December 10, 2009: Hi all, I want to explain Dejan's large commit, below. At the meeting this morning, we…') (current)
- 13:32, 10 December 2009 (diff | hist) . . (+1,729) . . N Meeting Minutes - December 10, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-12-10|10am|11:30am}} After the meeting, the Expr package was refactored. =Meeting Agenda= A lot…') (current)
- 10:28, 1 December 2009 (diff | hist) . . (+259) . . Developer's Guide
- 10:20, 1 December 2009 (diff | hist) . . (+36) . . Developer's Guide
- 17:07, 24 November 2009 (diff | hist) . . (+413) . . Developer's Guide
- 16:30, 24 November 2009 (diff | hist) . . (+471) . . Developer's Guide
- 13:48, 24 November 2009 (diff | hist) . . (+81) . . Developer's Guide
- 11:39, 24 November 2009 (diff | hist) . . (0) . . N File:Mtg20091124.png (current)
- 11:39, 24 November 2009 (diff | hist) . . (0) . . N File:Mtg20091124.notebook (current)
- 18:58, 23 November 2009 (diff | hist) . . (+258) . . Developer's Guide
- 13:56, 23 November 2009 (diff | hist) . . (+1) . . Developer's Guide
- 13:55, 23 November 2009 (diff | hist) . . (+1) . . Developer's Guide
- 13:54, 23 November 2009 (diff | hist) . . (+7) . . Developer's Guide
- 13:54, 23 November 2009 (diff | hist) . . (+142) . . Developer's Guide
- 10:01, 23 November 2009 (diff | hist) . . (+1,376) . . Developer's Guide (→Assertions)
- 15:28, 20 November 2009 (diff | hist) . . (+54) . . Developer's Guide
- 15:06, 20 November 2009 (diff | hist) . . (+2) . . Developer's Guide
- 15:06, 20 November 2009 (diff | hist) . . (-2) . . Developer's Guide
- 15:05, 20 November 2009 (diff | hist) . . (-1) . . Developer's Guide
- 15:04, 20 November 2009 (diff | hist) . . (+941) . . Developer's Guide
- 14:47, 20 November 2009 (diff | hist) . . (+61) . . Developer's Guide
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
