User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:25, 13 November 2012 (diff | hist) . . (-1,031) . . Meeting Minutes - November 27, 2012 (→Action items)
- 11:10, 13 November 2012 (diff | hist) . . (+2,697) . . N Meeting Minutes - November 27, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-27|11am|1pm}} =Status= =Discussion= =Action items= nightly builds should do a *local* regressions every night for portfolio (Morgan)…")
- 11:09, 13 November 2012 (diff | hist) . . (-85) . . Library (current)
- 11:07, 13 November 2012 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 11:02, 13 November 2012 (diff | hist) . . (+140) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 10:48, 13 November 2012 (diff | hist) . . (+34) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:48, 13 November 2012 (diff | hist) . . (-31) . . Meeting Minutes - November 13, 2012 (→Tasks during Andy's visit)
- 10:45, 13 November 2012 (diff | hist) . . (+49) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:44, 13 November 2012 (diff | hist) . . (+359) . . Meeting Minutes - November 13, 2012 (→Andy's EqualityQueryQuantifiersEngine)
- 10:34, 13 November 2012 (diff | hist) . . (+78) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:33, 13 November 2012 (diff | hist) . . (+511) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 10:00, 13 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 13, 2012 (→Models, sharing, subtypes, OH MY!)
- 09:58, 13 November 2012 (diff | hist) . . (+39) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 09:58, 13 November 2012 (diff | hist) . . (+79) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:57, 13 November 2012 (diff | hist) . . (+117) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:56, 13 November 2012 (diff | hist) . . (+1) . . Meeting Minutes - November 13, 2012 (→=DeltaRationals)
- 09:56, 13 November 2012 (diff | hist) . . (+19) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 09:56, 13 November 2012 (diff | hist) . . (+122) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:55, 13 November 2012 (diff | hist) . . (+63) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:52, 13 November 2012 (diff | hist) . . (+83) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:47, 13 November 2012 (diff | hist) . . (+248) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:43, 13 November 2012 (diff | hist) . . (+369) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:33, 13 November 2012 (diff | hist) . . (+31) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 09:31, 13 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:31, 13 November 2012 (diff | hist) . . (+25) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:30, 13 November 2012 (diff | hist) . . (+319) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:58, 13 November 2012 (diff | hist) . . (+204) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 10:41, 12 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 13, 2012
- 10:39, 12 November 2012 (diff | hist) . . (+161) . . Meeting Minutes - November 13, 2012 (→{{BUG|444}})
- 10:38, 12 November 2012 (diff | hist) . . (-13) . . Meeting Minutes - November 13, 2012 (→{{BUG|444}})
- 10:37, 12 November 2012 (diff | hist) . . (+4) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 10:37, 12 November 2012 (diff | hist) . . (-2) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 10:37, 12 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 10:37, 12 November 2012 (diff | hist) . . (+9) . . Meeting Minutes - November 13, 2012 (→{{{BUG|444}}})
- 10:37, 12 November 2012 (diff | hist) . . (+116) . . Meeting Minutes - November 13, 2012
- 14:05, 7 November 2012 (diff | hist) . . (+40) . . Meeting Minutes - November 13, 2012 (→Action items)
- 13:49, 7 November 2012 (diff | hist) . . (-54) . . Meeting Minutes - November 6, 2012 (→Action items) (current)
- 13:49, 7 November 2012 (diff | hist) . . (+2,323) . . N Meeting Minutes - November 13, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-13|11am|1pm}} =Status= =Discussion= =Action items= '''Code reviews:''' *Model generation (Clark) *Quantifiers (Dejan) *Preprocessing…")
- 13:25, 6 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 6, 2012 (→Action items)
- 12:58, 6 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 6, 2012 (→Action items)
- 10:45, 6 November 2012 (diff | hist) . . (+118) . . Meeting Minutes - November 6, 2012 (→Model issues)
- 10:37, 6 November 2012 (diff | hist) . . (+73) . . Meeting Minutes - November 6, 2012 (→Action items)
- 10:36, 6 November 2012 (diff | hist) . . (+249) . . Meeting Minutes - November 6, 2012 (→Model issues)
- 10:32, 6 November 2012 (diff | hist) . . (+159) . . Meeting Minutes - November 6, 2012 (→Action items)
- 10:21, 6 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 6, 2012 (→Action items)
- 10:21, 6 November 2012 (diff | hist) . . (-24) . . Meeting Minutes - November 6, 2012 (→Incremental issues)
- 10:20, 6 November 2012 (diff | hist) . . (+277) . . Meeting Minutes - November 6, 2012 (→CVC native language)
- 10:06, 6 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 6, 2012 (→Action items)
- 10:05, 6 November 2012 (diff | hist) . . (+31) . . Meeting Minutes - November 6, 2012 (→CVC native language)
- 09:48, 6 November 2012 (diff | hist) . . (+449) . . Meeting Minutes - November 6, 2012 (→Discussion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
