User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:28, 11 November 2010 (diff | hist) . . (+84) . . How do I... ? (→Dealing with the source tree)
- 14:27, 11 November 2010 (diff | hist) . . (+1,576) . . Developer's Guide (→Adding a new Theory)
- 14:18, 11 November 2010 (diff | hist) . . (-22) . . Developer's Guide (→Adding a new Theory)
- 14:18, 11 November 2010 (diff | hist) . . (+339) . . Developer's Guide
- 13:25, 9 November 2010 (diff | hist) . . (+112) . . Meeting Minutes - November 9, 2010 (→Assignments) (current)
- 13:24, 9 November 2010 (diff | hist) . . (+2,298) . . Meeting Minutes - November 9, 2010 (→Discussion)
- 13:10, 9 November 2010 (diff | hist) . . (0) . . N File:Mtg20101109.png (current)
- 13:10, 9 November 2010 (diff | hist) . . (0) . . N File:Mtg20101109.notebook (current)
- 13:09, 9 November 2010 (diff | hist) . . (+1,308) . . N Meeting Minutes - November 16, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-11-16|10:30am|12:30pm}} =Notes= ==Status== * Morgan ** cluster issues ** proofs *** for UF/CC *** proof manager *** proof macros ** new …')
- 13:06, 9 November 2010 (diff | hist) . . (+8) . . Meeting Minutes - November 9, 2010 (→Discussion)
- 09:47, 9 November 2010 (diff | hist) . . (+571) . . Meeting Minutes - November 9, 2010 (→Status)
- 09:22, 9 November 2010 (diff | hist) . . (+22) . . Meeting Minutes - November 9, 2010 (→Status)
- 09:20, 9 November 2010 (diff | hist) . . (+118) . . Meeting Minutes - November 9, 2010 (→Status)
- 09:19, 9 November 2010 (diff | hist) . . (-75) . . Meeting Minutes - November 9, 2010 (→Status)
- 09:00, 9 November 2010 (diff | hist) . . (+42) . . Meeting Minutes - November 9, 2010 (→Discussion)
- 08:56, 9 November 2010 (diff | hist) . . (-4) . . Meeting Minutes - November 9, 2010 (→Status)
- 08:50, 9 November 2010 (diff | hist) . . (+177) . . Meeting Minutes - November 9, 2010 (→Assignments)
- 14:46, 8 November 2010 (diff | hist) . . (+24) . . Meeting Minutes - November 9, 2010 (→Status)
- 14:45, 8 November 2010 (diff | hist) . . (+149) . . Meeting Minutes - November 9, 2010 (→Discussion)
- 10:17, 8 November 2010 (diff | hist) . . (+293) . . Meeting Minutes - November 9, 2010 (→Status)
- 13:51, 3 November 2010 (diff | hist) . . (+76) . . Meeting Minutes - November 9, 2010 (→Status)
- 13:47, 2 November 2010 (diff | hist) . . (-2) . . Meeting Minutes - November 9, 2010 (→Status)
- 13:47, 2 November 2010 (diff | hist) . . (+1,216) . . N Meeting Minutes - November 9, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-11-9|10:30am|12:30pm}} =Notes= ==Status== * Morgan ** goedel db backups to /data/acsys ? ** subversive.cims backup policy -- off-site ? …')
- 13:39, 2 November 2010 (diff | hist) . . (0) . . N File:Mtg20101102b.png (current)
- 13:39, 2 November 2010 (diff | hist) . . (0) . . N File:Mtg20101102a.png (current)
- 13:38, 2 November 2010 (diff | hist) . . (0) . . N File:Mtg20101102.notebook (current)
- 09:31, 2 November 2010 (diff | hist) . . (+10) . . Meeting Minutes - November 2, 2010 (→Discussion) (current)
- 09:08, 2 November 2010 (diff | hist) . . (+326) . . Meeting Minutes - November 2, 2010
- 07:50, 2 November 2010 (diff | hist) . . (+100) . . Meeting Minutes - November 2, 2010 (→Assignments)
- 09:30, 1 November 2010 (diff | hist) . . (+50) . . Meeting Minutes - November 2, 2010 (→Discussion)
- 09:30, 1 November 2010 (diff | hist) . . (0) . . Meeting Minutes - November 2, 2010 (→Bugs opened recently (and still unresolved))
- 09:29, 1 November 2010 (diff | hist) . . (0) . . Meeting Minutes - November 2, 2010 (→Bugs closed this week)
- 09:29, 1 November 2010 (diff | hist) . . (+60) . . Meeting Minutes - November 2, 2010 (→Bugs opened recently (and still unresolved))
- 09:28, 1 November 2010 (diff | hist) . . (+162) . . Meeting Minutes - November 2, 2010 (→Bugs closed this week)
- 14:24, 29 October 2010 (diff | hist) . . (+95) . . Meeting Minutes - November 2, 2010 (→Discussion)
- 13:17, 29 October 2010 (diff | hist) . . (+143) . . Developer's Guide (→ANTLR3)
- 18:45, 26 October 2010 (diff | hist) . . (+750) . . Developer's Guide (→The CVC4 build system)
- 18:41, 26 October 2010 (diff | hist) . . (+225) . . Developer's Guide (→Adding source and header files)
- 12:25, 26 October 2010 (diff | hist) . . (+44) . . Meeting Minutes - November 2, 2010 (→Bugs closed this week)
- 12:16, 26 October 2010 (diff | hist) . . (+3) . . Developer's Guide (→Dependencies)
- 12:01, 26 October 2010 (diff | hist) . . (-246) . . Template:Mtgindex
- 11:54, 26 October 2010 (diff | hist) . . (+246) . . Template:Mtgindex
- 11:53, 26 October 2010 (diff | hist) . . (-257) . . Template:Mtgindex
- 11:52, 26 October 2010 (diff | hist) . . (+47) . . Template:Mtgindex
- 11:51, 26 October 2010 (diff | hist) . . (+64) . . Template:Mtgindex
- 11:50, 26 October 2010 (diff | hist) . . (+94) . . Template:Mtgindex
- 11:49, 26 October 2010 (diff | hist) . . (-10) . . Template:Mtgindex
- 11:48, 26 October 2010 (diff | hist) . . (-4) . . Template:Mtgindex
- 11:48, 26 October 2010 (diff | hist) . . (+66) . . Template:Mtgindex
- 11:46, 26 October 2010 (diff | hist) . . (-13) . . Developer Meeting Minutes (→October 2010)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
