User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 10:31, 15 October 2009 (diff | hist) . . (+247) . . Meeting Minutes - October 15, 2009
- 14:51, 9 October 2009 (diff | hist) . . (+435) . . Meeting Minutes - October 8, 2009 (current)
- 13:12, 9 October 2009 (diff | hist) . . (0) . . N File:Acsysbanner small.png (current)
- 19:57, 8 October 2009 (diff | hist) . . (+2,097) . . Meeting Extra - October 8, 2009 (current)
- 19:39, 8 October 2009 (diff | hist) . . (+2) . . Meeting Extra - October 8, 2009
- 19:30, 8 October 2009 (diff | hist) . . (0) . . N File:ExprBuilder - Tim & Morgan 2009.10.08 1.jpg (current)
- 19:30, 8 October 2009 (diff | hist) . . (0) . . N File:ExprBuilder - Tim & Morgan 2009.10.08 3.jpg (current)
- 19:26, 8 October 2009 (diff | hist) . . (0) . . N File:ExprBuilder - Tim & Morgan 2009.10.08 2.jpg (current)
- 19:16, 8 October 2009 (diff | hist) . . (0) . . Meeting Extra - October 8, 2009
- 19:16, 8 October 2009 (diff | hist) . . (0) . . Meeting Extra - October 8, 2009
- 19:15, 8 October 2009 (diff | hist) . . (0) . . Meeting Extra - October 8, 2009
- 19:15, 8 October 2009 (diff | hist) . . (+1) . . Meeting Extra - October 8, 2009
- 19:14, 8 October 2009 (diff | hist) . . (0) . . N File:ExprBuilder - Tim & Morgan 2009.10.08 4.jpg (current)
- 19:10, 8 October 2009 (diff | hist) . . (0) . . N File:ExprBuilder - Tim & Morgan 2009.10.08 5.jpg (current)
- 19:10, 8 October 2009 (diff | hist) . . (+409) . . Meeting Minutes - October 8, 2009
- 19:03, 8 October 2009 (diff | hist) . . (-2,419) . . Meeting Minutes - October 8, 2009
- 19:01, 8 October 2009 (diff | hist) . . (+57) . . Meeting Extra - October 8, 2009
- 19:01, 8 October 2009 (diff | hist) . . (0) . . Meeting Extra - October 8, 2009
- 19:00, 8 October 2009 (diff | hist) . . (+5,147) . . N Meeting Minutes - October 15, 2009 (New page: Category:Minutes {{mtglinks|||2009-10-15|10am|11:30am}} After the last meeting, Tim and Morgan met to discuss the ''ExprBuilder'' interface furth...)
- 18:49, 8 October 2009 (diff | hist) . . (0) . . Meeting Minutes - October 8, 2009
- 18:48, 8 October 2009 (diff | hist) . . (+366) . . Meeting Minutes - October 8, 2009
- 18:46, 8 October 2009 (diff | hist) . . (+645) . . N Meeting Extra - October 8, 2009 (New page: ExprBuilder interface meeting notes, page 1 [[Image:ExprBuilder - Tim & Morgan 20091008 2.jpg|100px|thumb|ExprBuilder interf...)
- 07:06, 8 October 2009 (diff | hist) . . (+1,134) . . Meeting Minutes - October 8, 2009 (→A case for iterators)
- 06:12, 8 October 2009 (diff | hist) . . (-4) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 06:03, 8 October 2009 (diff | hist) . . (-22) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 06:03, 8 October 2009 (diff | hist) . . (0) . . N File:LIA-NECLARGE-prp-3-46.avi (current)
- 05:10, 8 October 2009 (diff | hist) . . (+51) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 05:09, 8 October 2009 (diff | hist) . . (+17) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 03:51, 8 October 2009 (diff | hist) . . (+28) . . Template:Mtglinks
- 03:48, 8 October 2009 (diff | hist) . . (+47) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 03:47, 8 October 2009 (diff | hist) . . (0) . . N File:LIA-MATHSAT-FISCHER11-9-fair.avi (current)
- 03:43, 8 October 2009 (diff | hist) . . (-13) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 03:43, 8 October 2009 (diff | hist) . . (+1,577) . . N LIA-MATHSAT-FISCHER11-9-fair.gchist (New page: <pre> 122203 GCed Exprs that had achieved maxlevel 1 6032799 GCed Exprs that had achieved maxlevel 2 3999822 GCed Exprs that had achieved maxlevel 3 6191638 GCed Exprs that had achieved ma...) (current)
- 03:36, 8 October 2009 (diff | hist) . . (+1,430) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:45, 8 October 2009 (diff | hist) . . (+556) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:38, 8 October 2009 (diff | hist) . . (+1) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:38, 8 October 2009 (diff | hist) . . (+307) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:15, 8 October 2009 (diff | hist) . . (+10) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 02:15, 8 October 2009 (diff | hist) . . (-1) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 02:14, 8 October 2009 (diff | hist) . . (+27) . . Meeting Minutes - October 8, 2009
- 02:12, 8 October 2009 (diff | hist) . . (+1,397) . . Meeting Minutes - October 8, 2009 (→Prototyping)
- 01:31, 8 October 2009 (diff | hist) . . (+103) . . Meeting Minutes - October 8, 2009 (→Experiments)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
