User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:58, 30 June 2010 (diff | hist) . . (+20) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:47, 30 June 2010 (diff | hist) . . (+35) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:43, 30 June 2010 (diff | hist) . . (+68) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:42, 30 June 2010 (diff | hist) . . (+1) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:42, 30 June 2010 (diff | hist) . . (+105) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:34, 30 June 2010 (diff | hist) . . (+451) . . Meeting Minutes - June 30, 2010 (→Notes)
- 06:25, 30 June 2010 (diff | hist) . . (+254) . . Meeting Minutes - June 30, 2010 (→Notes)
- 06:22, 30 June 2010 (diff | hist) . . (+25) . . Meeting Minutes - June 30, 2010 (→Notes)
- 14:46, 29 June 2010 (diff | hist) . . (+61) . . Meeting Minutes - June 30, 2010 (→Notes)
- 14:45, 29 June 2010 (diff | hist) . . (+256) . . Meeting Minutes - June 30, 2010 (→Notes)
- 10:30, 23 June 2010 (diff | hist) . . (+331) . . Meeting Minutes - June 30, 2010
- 07:59, 22 June 2010 (diff | hist) . . (+17) . . Meeting Minutes - June 22, 2010 (current)
- 07:57, 22 June 2010 (diff | hist) . . (+571) . . N Meeting Minutes - June 30, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-30|10am|12pm}} =Notes= Group status stats demo? =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rewri…')
- 07:27, 22 June 2010 (diff | hist) . . (+45) . . Meeting Minutes - June 22, 2010 (→Notes)
- 03:33, 22 June 2010 (diff | hist) . . (+35) . . Meeting Minutes - June 22, 2010 (→Notes)
- 11:25, 21 June 2010 (diff | hist) . . (+874) . . N Meeting Minutes - June 22, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-22|10am|12pm}} =Notes= Group status *Morgan **UF, benchmarks, CVC4 testing *Clark **Arrays *Chris **parser *Liana **proofs *Tim **Dejan…')
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615.notebook (current)
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615b.png (current)
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615a.png (current)
- 08:32, 15 June 2010 (diff | hist) . . (+3) . . Meeting Minutes - June 15, 2010 (current)
- 08:32, 15 June 2010 (diff | hist) . . (+216) . . Meeting Minutes - June 15, 2010 (→Notes)
- 08:07, 8 June 2010 (diff | hist) . . (+573) . . N Meeting Minutes - June 15, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-15|10am|12pm}} =Notes= CVC4 status Agenda *sharing =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rew…')
- 08:06, 8 June 2010 (diff | hist) . . (+9) . . Meeting Minutes - June 8, 2010 (→Notes) (current)
- 08:05, 8 June 2010 (diff | hist) . . (+23) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:05, 8 June 2010 (diff | hist) . . (-52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:04, 8 June 2010 (diff | hist) . . (+859) . . Meeting Minutes - June 8, 2010 (→Notes)
- 15:05, 7 June 2010 (diff | hist) . . (+52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 09:05, 3 June 2010 (diff | hist) . . (+551) . . N Meeting Minutes - June 8, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-8|10am|12pm}} =Notes= Agenda =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rewriting * Dejan - night…')
- 09:04, 3 June 2010 (diff | hist) . . (+394) . . Meeting Minutes - June 3, 2010 (→Notes) (current)
- 04:56, 3 June 2010 (diff | hist) . . (+73) . . Meeting Minutes - June 3, 2010 (→Notes)
- 17:12, 2 June 2010 (diff | hist) . . (+23) . . Meeting Minutes - June 3, 2010 (→Notes)
- 15:42, 2 June 2010 (diff | hist) . . (-2) . . Template:Mtginformal (current)
- 15:41, 2 June 2010 (diff | hist) . . (0) . . Template:Mtginformal
- 15:40, 2 June 2010 (diff | hist) . . (+36) . . Template:Mtginformal
- 15:40, 2 June 2010 (diff | hist) . . (+297) . . N Template:Mtginformal (Created page with '{{#ifexist: Meeting Minutes - {{#timel:F j, Y|{{{1}}}}} |{{#ifeq: 1 | {{#expr:{{#timel:U|{{{1}}}}} <= {{#expr:{{#timel:U}}+86400*3}}}} | <li>[[Meeting Minutes - {{#timel:F j, Y|{…')
- 15:39, 2 June 2010 (diff | hist) . . (+25) . . Developer Meeting Minutes (→June 2010)
- 15:38, 2 June 2010 (diff | hist) . . (+26) . . Developer Meeting Minutes (→May 2010)
- 15:38, 2 June 2010 (diff | hist) . . (+691) . . N Meeting Minutes - June 3, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-3|11am|12pm}} =Notes= Agenda: *status **arith **uf **rewriting **preregistration **splitting **parser **bugs ***stdin (votesmt) ***cos…')
- 10:18, 27 May 2010 (diff | hist) . . (+46) . . Meeting Minutes - June 1, 2010 (current)
- 10:17, 27 May 2010 (diff | hist) . . (+1,320) . . Meeting Minutes - May 27, 2010 (current)
- 10:08, 27 May 2010 (diff | hist) . . (+603) . . Meeting Minutes - May 27, 2010
- 15:01, 21 May 2010 (diff | hist) . . (0) . . Meeting Minutes - June 1, 2010 (→Notes)
- 15:01, 21 May 2010 (diff | hist) . . (+10) . . Meeting Minutes - June 1, 2010 (→Notes)
- 14:59, 21 May 2010 (diff | hist) . . (0) . . Meeting Minutes - June 1, 2010
- 14:56, 21 May 2010 (diff | hist) . . (+613) . . Meeting Minutes - June 1, 2010
- 14:54, 21 May 2010 (diff | hist) . . (-91) . . Developer Meeting Minutes (→August 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-113) . . Developer Meeting Minutes (→July 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-22) . . Developer Meeting Minutes (→May 2010)
- 14:53, 21 May 2010 (diff | hist) . . (-91) . . Developer Meeting Minutes (→June 2010)
- 14:52, 21 May 2010 (diff | hist) . . (+590) . . N Meeting Minutes - June 1, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-1|10am|12pm}} =Notes= =Assignments= * Dejan - Work on interface between SAT and rest of CVC4 * Dejan - Types * Morgan - rewriting, exp…')
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
