User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:40, 26 October 2010 (diff | hist) . . (-57) . . Meeting Minutes - October 26, 2010 (→Discussion) (current)
- 11:39, 26 October 2010 (diff | hist) . . (0) . . N File:Mtg20101026b.png (current)
- 11:39, 26 October 2010 (diff | hist) . . (0) . . N File:Mtg20101026a.png (current)
- 11:38, 26 October 2010 (diff | hist) . . (0) . . N File:Mtg20101026.notebook (current)
- 08:37, 26 October 2010 (diff | hist) . . (+83) . . Meeting Minutes - October 26, 2010 (→Assignments)
- 08:36, 26 October 2010 (diff | hist) . . (+180) . . Meeting Minutes - October 26, 2010 (→Notes)
- 13:52, 25 October 2010 (diff | hist) . . (+42) . . Meeting Minutes - October 26, 2010 (→Discussion)
- 08:58, 25 October 2010 (diff | hist) . . (+42) . . Meeting Minutes - October 26, 2010 (→Bugs opened recently (and still unresolved))
- 08:56, 25 October 2010 (diff | hist) . . (+52) . . Meeting Minutes - October 26, 2010 (→Bugs closed this week)
- 08:55, 25 October 2010 (diff | hist) . . (-1) . . Meeting Minutes - October 26, 2010 (→Notes)
- 08:39, 25 October 2010 (diff | hist) . . (-8) . . Template:BUG
- 08:38, 25 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 26, 2010
- 08:36, 25 October 2010 (diff | hist) . . (-7) . . Meeting Minutes - October 26, 2010 (→Ongoing)
- 08:36, 25 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 26, 2010 (→Bugs closed this week)
- 08:35, 25 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 26, 2010 (→Bugs opened this week (and still unresolved))
- 08:35, 25 October 2010 (diff | hist) . . (0) . . Meeting Minutes - October 26, 2010 (→Bugs opened this week (and still unresolved))
- 08:34, 25 October 2010 (diff | hist) . . (+1,372) . . N Meeting Minutes - October 26, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-10-25|10:30am|12:30pm}} =Notes= ==Status== * Morgan ** disk for goedel ** x * Liana ** proof generation (on proofgen2 branch) ** MiniSat…')
- 15:17, 24 October 2010 (diff | hist) . . (-1) . . Developer's Guide (→Adding copyrighted sources)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
