User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 09:39, 6 November 2012 (diff | hist) . . (+109) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:27, 6 November 2012 (diff | hist) . . (+61) . . Meeting Minutes - November 6, 2012 (→Discussion)
- 09:25, 6 November 2012 (diff | hist) . . (+16) . . CVC4 Copyright
- 10:42, 5 November 2012 (diff | hist) . . (+246) . . Meeting Minutes - November 6, 2012 (→Lemma deletion)
- 10:41, 5 November 2012 (diff | hist) . . (-1,111) . . Meeting Minutes - November 6, 2012 (→Status)
- 10:40, 5 November 2012 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 10:40, 5 November 2012 (diff | hist) . . (+3,017) . . N Meeting Minutes - November 6, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-06|11am|1pm}} =Status= model bug (Clark) * some set of assertions, then model builder called ** all assertions have been distributed o…")
- 10:26, 24 October 2012 (diff | hist) . . (+11) . . Developer's Guide (→ANTLR3)
- 10:26, 24 October 2012 (diff | hist) . . (+42) . . Developer's Guide (→ANTLR3)
- 09:47, 23 October 2012 (diff | hist) . . (-63) . . Release checklist
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
