User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:59, 24 October 2010 (diff | hist) . . (-27) . . Developer's Guide (→Adding copyrighted sources)
- 22:43, 19 October 2010 (diff | hist) . . (-1) . . Developer's Guide (→Command-line options)
- 22:43, 19 October 2010 (diff | hist) . . (-1) . . Developer's Guide (→Member names)
- 09:10, 19 October 2010 (diff | hist) . . (+28) . . Meeting Minutes - October 19, 2010 (→Notes) (current)
- 08:48, 19 October 2010 (diff | hist) . . (-22) . . Meeting Minutes - October 19, 2010 (→Discussion)
- 08:47, 19 October 2010 (diff | hist) . . (+497) . . Meeting Minutes - October 19, 2010 (→Notes)
- 08:35, 19 October 2010 (diff | hist) . . (-4) . . Meeting Minutes - October 19, 2010 (→Bugs opened this week (and still unresolved))
- 08:35, 19 October 2010 (diff | hist) . . (+4) . . Meeting Minutes - October 19, 2010 (→Notes)
- 08:34, 19 October 2010 (diff | hist) . . (+348) . . Meeting Minutes - October 19, 2010 (→Notes)
- 08:29, 19 October 2010 (diff | hist) . . (+201) . . Meeting Minutes - October 19, 2010 (→Status)
- 11:46, 12 October 2010 (diff | hist) . . (+79) . . Meeting Minutes - October 19, 2010 (→Status)
- 09:02, 12 October 2010 (diff | hist) . . (+47) . . Meeting Minutes - October 12, 2010 (→Assignments) (current)
- 09:01, 12 October 2010 (diff | hist) . . (+688) . . N Meeting Minutes - October 19, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-10-19|10:30am|12:30pm}} =Notes= ==Status== * Morgan **model gen ***uf, arith, theory base class ** uf merge ** usability issues * Tim **…')
- 08:44, 12 October 2010 (diff | hist) . . (+17) . . Meeting Minutes - October 12, 2010 (→Assignments)
- 08:38, 12 October 2010 (diff | hist) . . (+233) . . Meeting Minutes - October 12, 2010 (→Status)
- 08:18, 12 October 2010 (diff | hist) . . (+124) . . Meeting Minutes - October 12, 2010 (→Discussion)
- 06:35, 12 October 2010 (diff | hist) . . (+8) . . Meeting Minutes - October 12, 2010 (→Discussion)
- 06:35, 12 October 2010 (diff | hist) . . (+127) . . Meeting Minutes - October 12, 2010 (→Notes)
- 06:05, 12 October 2010 (diff | hist) . . (-24) . . Meeting Minutes - October 12, 2010 (→Assignments)
- 06:05, 12 October 2010 (diff | hist) . . (-257) . . Meeting Minutes - October 12, 2010 (→Discussion)
- 06:05, 12 October 2010 (diff | hist) . . (+1,650) . . N Meeting Minutes - October 12, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-10-12|10:30am|12:30pm}} =Notes= ==Status== * Morgan **model gen **SMT-LIBv2 compliance ***''set-option'', ''get-option'', ''get-assignme…')
- 08:38, 5 October 2010 (diff | hist) . . (+107) . . Meeting Minutes - October 5, 2010 (→Discussion) (current)
- 08:23, 5 October 2010 (diff | hist) . . (+73) . . Meeting Minutes - October 5, 2010 (→Assignments)
- 08:00, 5 October 2010 (diff | hist) . . (-37) . . Meeting Minutes - October 5, 2010 (→Status)
- 15:09, 4 October 2010 (diff | hist) . . (+29) . . Meeting Minutes - October 5, 2010 (→Notes)
- 14:59, 4 October 2010 (diff | hist) . . (+159) . . Meeting Minutes - October 5, 2010 (→Notes)
- 14:57, 4 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 5, 2010 (→Closed bugs this week)
- 14:46, 4 October 2010 (diff | hist) . . (+55) . . Meeting Minutes - October 5, 2010 (→Status)
- 14:44, 4 October 2010 (diff | hist) . . (+587) . . Meeting Minutes - October 5, 2010 (→Status)
- 14:37, 4 October 2010 (diff | hist) . . (-8) . . Template:Bug
- 14:37, 4 October 2010 (diff | hist) . . (+2) . . Meeting Minutes - October 5, 2010 (→Status)
- 14:36, 4 October 2010 (diff | hist) . . (-4) . . Meeting Minutes - October 5, 2010 (→Status)
- 14:36, 4 October 2010 (diff | hist) . . (+73) . . Meeting Minutes - October 5, 2010 (→Status)
- 14:35, 4 October 2010 (diff | hist) . . (+150) . . Meeting Minutes - October 5, 2010 (→Notes)
- 14:35, 4 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 5, 2010 (→Discussion)
- 14:34, 4 October 2010 (diff | hist) . . (+741) . . N Meeting Minutes - October 5, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-10-5|10:30am|12:30pm}} =Notes= ==Status== * Morgan **nightly regressions **uf ***bug ***mem-outs **debugging **mac os x * Mina **AdaCore…')
- 10:22, 1 October 2010 (diff | hist) . . (-51) . . Developer's Guide (→Source tree layout)
- 09:07, 1 October 2010 (diff | hist) . . (+119) . . Developer's Guide (→Source tree layout)
- 14:48, 28 September 2010 (diff | hist) . . (0) . . N File:Mtg20100928.notebook (current)
- 14:48, 28 September 2010 (diff | hist) . . (0) . . N File:Mtg20100928.png (current)
- 13:23, 28 September 2010 (diff | hist) . . (+102) . . Meeting Minutes - September 28, 2010 (→Assignments) (current)
- 13:22, 28 September 2010 (diff | hist) . . (+510) . . Meeting Minutes - September 28, 2010 (→Discussion)
- 13:16, 28 September 2010 (diff | hist) . . (+1,164) . . Meeting Minutes - September 28, 2010 (→Notes)
- 09:38, 28 September 2010 (diff | hist) . . (-177) . . Meeting Minutes - September 28, 2010
- 08:13, 28 September 2010 (diff | hist) . . (-221) . . Meeting Minutes - September 28, 2010
- 08:12, 28 September 2010 (diff | hist) . . (+294) . . Meeting Minutes - September 28, 2010 (→Status)
- 07:38, 28 September 2010 (diff | hist) . . (+834) . . N Meeting Minutes - September 28, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-9-28|10:30am|12:30pm}} =Notes= ==Status== ==Project Status== *regressions **timing determinism **status - what's been tried? *CVC3 **s…')
- 10:08, 21 September 2010 (diff | hist) . . (0) . . N File:Mtg20100921c.png (current)
- 10:08, 21 September 2010 (diff | hist) . . (0) . . N File:Mtg20100921b.png (current)
- 10:08, 21 September 2010 (diff | hist) . . (0) . . N File:Mtg20100921a.png (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
