User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:01, 15 December 2009 (diff | hist) . . (-17) . . Developer's Guide
- 21:00, 15 December 2009 (diff | hist) . . (+145) . . Developer's Guide
- 20:57, 15 December 2009 (diff | hist) . . (+2,236) . . Developer's Guide
- 20:47, 15 December 2009 (diff | hist) . . (+130) . . How do I... ?
- 20:37, 15 December 2009 (diff | hist) . . (+44) . . CVC4
- 16:50, 15 December 2009 (diff | hist) . . (+9) . . How do I... ?
- 16:50, 15 December 2009 (diff | hist) . . (+5) . . How do I... ?
- 16:49, 15 December 2009 (diff | hist) . . (+1,498) . . Developer's Guide
- 16:36, 15 December 2009 (diff | hist) . . (+650) . . Developer's Guide
- 16:28, 15 December 2009 (diff | hist) . . (+314) . . How do I... ?
- 16:20, 15 December 2009 (diff | hist) . . (+333) . . Developer's Guide
- 16:18, 15 December 2009 (diff | hist) . . (+343) . . Developer's Guide
- 16:16, 15 December 2009 (diff | hist) . . (-280) . . How do I... ?
- 16:15, 15 December 2009 (diff | hist) . . (+491) . . Developer's Guide
- 16:10, 15 December 2009 (diff | hist) . . (+3,296) . . Developer's Guide
- 15:34, 15 December 2009 (diff | hist) . . (+1,739) . . Developer's Guide
- 15:23, 15 December 2009 (diff | hist) . . (+17) . . Developer's Guide
- 15:21, 15 December 2009 (diff | hist) . . (+5,807) . . Developer's Guide
- 14:53, 15 December 2009 (diff | hist) . . (0) . . N File:Mtg20091215c.png (current)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
