User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:58, 12 November 2009 (diff | hist) . . (-8) . . MediaWiki:Sidebar
- 09:57, 12 November 2009 (diff | hist) . . (-10) . . MediaWiki:Sidebar
- 09:57, 12 November 2009 (diff | hist) . . (+9) . . MediaWiki:Sidebar
- 09:57, 12 November 2009 (diff | hist) . . (+33) . . MediaWiki:Sidebar
- 09:57, 12 November 2009 (diff | hist) . . (-32) . . MediaWiki:Sidebar
- 09:56, 12 November 2009 (diff | hist) . . (+25) . . MediaWiki:Sidebar
- 09:56, 12 November 2009 (diff | hist) . . (+78) . . MediaWiki:Sidebar
- 09:27, 12 November 2009 (diff | hist) . . (0) . . N File:Mtg20091112.png (current)
- 09:14, 12 November 2009 (diff | hist) . . (+1,046) . . N Meeting Minutes - November 12, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-11-12|10am|11:30am}} =Meeting Agenda= ==CVC3== * cygwin build, Makefile.in, Makefile.local * new regression build system * {{cvc3bug|90}…') (current)
- 09:00, 12 November 2009 (diff | hist) . . (+97) . . CVC4 Wishlist
- 10:08, 10 November 2009 (diff | hist) . . (+1,197) . . N Meeting Minutes - November 10, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-11-10|10am|12pm}} =Meeting Agenda= ==CVC3== *Nightly build problem (cvc3 directory missing) *Bug status - ({{cvc3bug|90}} assigned to Cl…') (current)
- 17:34, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091103.png (current)
- 17:21, 7 November 2009 (diff | hist) . . (+1) . . Developer Meeting Minutes
- 17:20, 7 November 2009 (diff | hist) . . (+551) . . N Meeting Minutes - November 5, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-11-5|10am|11:30am}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Morgan/Dejan - goedel backups *Morgan, with help from other…') (current)
- 17:20, 7 November 2009 (diff | hist) . . (+548) . . N Meeting Minutes - November 3, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-11-3|10am|12pm}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Morgan/Dejan - goedel backups *Morgan, with help from others -…') (current)
- 17:19, 7 November 2009 (diff | hist) . . (+552) . . N Meeting Minutes - October 29, 2009 (Created page with 'Category:Minutes {{mtglinks|||2009-10-29|10am|11:30am}} =Meeting Agenda= =Progress= =Assignments= ==Ongoing== *Morgan/Dejan - goedel backups *Morgan, with help from othe…') (current)
- 17:18, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091105.png (current)
- 17:12, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091105.notebook (current)
- 17:11, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091020a.png (current)
- 17:11, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091020b.png (current)
- 17:04, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091022.png (current)
- 17:04, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091022.notebook (current)
- 17:02, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091029.png (current)
- 17:01, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091029.notebook (current)
- 17:01, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091020 2.png (current)
- 17:00, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091020 1.png (current)
- 17:00, 7 November 2009 (diff | hist) . . (0) . . N File:Mtg20091020.notebook (current)
- 14:40, 31 October 2009 (diff | hist) . . (+70) . . Fuzz-testing, October 2009 (→Known errors) (current)
- 14:23, 31 October 2009 (diff | hist) . . (+9) . . Fuzz-testing, October 2009
- 14:23, 31 October 2009 (diff | hist) . . (+321) . . Fuzz-testing, October 2009
- 12:29, 15 October 2009 (diff | hist) . . (-128) . . Fuzz-testing, October 2009
- 12:28, 15 October 2009 (diff | hist) . . (-399) . . Fuzz-testing, October 2009
- 12:12, 15 October 2009 (diff | hist) . . (0) . . Fuzz-testing, October 2009 (→Currently running)
- 12:12, 15 October 2009 (diff | hist) . . (-131) . . Fuzz-testing, October 2009
- 11:38, 15 October 2009 (diff | hist) . . (+7) . . CVC4
- 11:38, 15 October 2009 (diff | hist) . . (-8) . . CVC4
- 11:38, 15 October 2009 (diff | hist) . . (+8) . . CVC4
- 11:37, 15 October 2009 (diff | hist) . . (+40) . . CVC4
- 11:37, 15 October 2009 (diff | hist) . . (-2,704) . . Meeting Minutes - October 15, 2009 (current)
- 11:36, 15 October 2009 (diff | hist) . . (-66) . . To Discuss
- 11:35, 15 October 2009 (diff | hist) . . (+2,702) . . N To Discuss (New page: ==A case for iterators== Consider two ''append()'' member functions: class ExprBuilder { // ... public: // ... ExprBuilder& append(const vector<Expr>& children); template...)
- 11:34, 15 October 2009 (diff | hist) . . (+3) . . Meeting Minutes - October 22, 2009 (current)
- 11:34, 15 October 2009 (diff | hist) . . (+550) . . N Meeting Minutes - October 22, 2009 (New page: Category:Minutes {{mtglinks|||2009-10-22|10am|12pm}} =Meeting Agenda= =Progress= =Assignments= *Morgan/Dejan - goedel backups ==Ongoing== *Morgan, with help from others - prototy...)
- 11:33, 15 October 2009 (diff | hist) . . (-91) . . Meeting Minutes - October 20, 2009 (current)
- 11:33, 15 October 2009 (diff | hist) . . (+641) . . N Meeting Minutes - October 20, 2009 (New page: Category:Minutes {{mtglinks|||2009-10-20|10am|12pm}} However, there were notes on the chalkboard and whiteboard. Photographs are at the right. =Meeting Agenda= =Progress= =Assignme...)
- 10:34, 15 October 2009 (diff | hist) . . (-156) . . Meeting Minutes - October 15, 2009
- 10:33, 15 October 2009 (diff | hist) . . (0) . . N File:Mtg20091015d.png (current)
- 10:33, 15 October 2009 (diff | hist) . . (0) . . N File:Mtg20091015c.png (current)
- 10:33, 15 October 2009 (diff | hist) . . (0) . . N File:Mtg20091015b.png (current)
- 10:33, 15 October 2009 (diff | hist) . . (0) . . N File:Mtg20091015a.png (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
