User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:10, 15 March 2011 (diff | hist) . . (+47) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 15:41, 14 March 2011 (diff | hist) . . (+75) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 15:38, 14 March 2011 (diff | hist) . . (+38) . . Developer's Guide (→Profiling the code)
- 15:37, 14 March 2011 (diff | hist) . . (0) . . Developer's Guide (→Google performance tools)
- 15:37, 14 March 2011 (diff | hist) . . (-6) . . Developer's Guide (→Google performance tools)
- 15:35, 14 March 2011 (diff | hist) . . (+18) . . Developer's Guide (→Google performance tools)
- 15:33, 14 March 2011 (diff | hist) . . (+18) . . Developer's Guide (→Google performance tools)
- 15:32, 14 March 2011 (diff | hist) . . (+1,968) . . Developer's Guide (→Coding guidelines)
- 15:29, 14 March 2011 (diff | hist) . . (-1,035) . . Developer's Guide (→ANTLR3)
- 15:28, 14 March 2011 (diff | hist) . . (+79) . . How do I... ?
- 11:45, 11 March 2011 (diff | hist) . . (-103) . . Meeting Minutes - March 11, 2011 (current)
- 11:45, 11 March 2011 (diff | hist) . . (-49) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 11:44, 11 March 2011 (diff | hist) . . (0) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 11:44, 11 March 2011 (diff | hist) . . (+5) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 11:44, 11 March 2011 (diff | hist) . . (+956) . . N Meeting Minutes - March 18, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-3-18|10:30am|12:30pm}} =Notes= ==Status== [http://goedel.cims.nyu.edu/cvc4-builds/status/ Performance status page] [http://goedel.cims.…')
- 11:39, 11 March 2011 (diff | hist) . . (+12) . . Meeting Minutes - March 11, 2011
- 11:38, 11 March 2011 (diff | hist) . . (+73) . . Meeting Minutes - March 11, 2011
- 11:37, 11 March 2011 (diff | hist) . . (+14) . . Meeting Minutes - March 11, 2011 (→Status)
- 11:36, 11 March 2011 (diff | hist) . . (+12) . . Meeting Minutes - March 11, 2011 (→Status)
- 11:36, 11 March 2011 (diff | hist) . . (+4) . . Meeting Minutes - March 11, 2011 (→Status)
- 11:35, 11 March 2011 (diff | hist) . . (-9) . . File:1677-user time v propagation lemmas.png (current)
- 11:35, 11 March 2011 (diff | hist) . . (0) . . File:1677-user time v propagation lemmas.png
- 11:35, 11 March 2011 (diff | hist) . . (+14) . . File:1677-user time v propagation lemmas.png
- 11:34, 11 March 2011 (diff | hist) . . (-14) . . File:1677-user time v propagation lemmas.png
- 11:34, 11 March 2011 (diff | hist) . . (0) . . File:1677-user time v propagation lemmas.png
- 11:34, 11 March 2011 (diff | hist) . . (+8) . . File:1677-user time v propagation lemmas.png
- 11:33, 11 March 2011 (diff | hist) . . (+3) . . File:1677-user time v propagation lemmas.png
- 11:33, 11 March 2011 (diff | hist) . . (-2) . . File:1677-user time v propagation lemmas.png
- 11:33, 11 March 2011 (diff | hist) . . (+9) . . File:1677-user time v propagation lemmas.png
- 11:32, 11 March 2011 (diff | hist) . . (+33) . . File:1677.csv (current)
- 11:31, 11 March 2011 (diff | hist) . . (0) . . N File:1677.csv
- 11:31, 11 March 2011 (diff | hist) . . (+111) . . N File:1677-restarts v tableau resets.png (Generated from File:1677.csv datafile using R stats package: plot(sat..starts,theory..arith..tableauResets)) (current)
- 11:30, 11 March 2011 (diff | hist) . . (+105) . . N File:1677-user time v propagation lemmas.png (Generated from 1677.csv datafile using R stats package: plot(user_time, theory..arith..propagationLemmas))
- 11:29, 11 March 2011 (diff | hist) . . (0) . . N File:Mtg20110311a.png (current)
- 11:28, 11 March 2011 (diff | hist) . . (0) . . N File:Mtg20110311.notebook (current)
- 11:28, 11 March 2011 (diff | hist) . . (+1,335) . . Meeting Minutes - March 11, 2011
- 09:28, 11 March 2011 (diff | hist) . . (+73) . . Meeting Minutes - March 11, 2011 (→Status)
- 08:52, 11 March 2011 (diff | hist) . . (-2) . . Meeting Minutes - March 11, 2011 (→Status)
- 08:52, 11 March 2011 (diff | hist) . . (-2) . . Meeting Minutes - March 11, 2011 (→Status)
- 08:51, 11 March 2011 (diff | hist) . . (+162) . . Meeting Minutes - March 11, 2011 (→Status)
- 08:49, 11 March 2011 (diff | hist) . . (+46) . . Meeting Minutes - March 11, 2011 (→Status)
- 20:26, 10 March 2011 (diff | hist) . . (+29) . . Meeting Minutes - March 11, 2011 (→Notes)
- 14:08, 10 March 2011 (diff | hist) . . (+11) . . Meeting Minutes - March 11, 2011 (→Status)
- 14:07, 10 March 2011 (diff | hist) . . (-31) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 10:22, 10 March 2011 (diff | hist) . . (+35) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 10:20, 10 March 2011 (diff | hist) . . (+17) . . Meeting Minutes - March 11, 2011 (→Notes)
- 01:08, 10 March 2011 (diff | hist) . . (+89) . . Meeting Minutes - March 11, 2011 (→Discussion)
- 12:03, 8 March 2011 (diff | hist) . . (+100) . . Meeting Minutes - March 11, 2011 (→Status)
- 00:21, 8 March 2011 (diff | hist) . . (+25) . . Meeting Minutes - March 11, 2011 (→Status)
- 00:20, 8 March 2011 (diff | hist) . . (+24) . . Meeting Minutes - March 11, 2011 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
