User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 03:43, 8 October 2009 (diff | hist) . . (+1,577) . . N LIA-MATHSAT-FISCHER11-9-fair.gchist (New page: <pre> 122203 GCed Exprs that had achieved maxlevel 1 6032799 GCed Exprs that had achieved maxlevel 2 3999822 GCed Exprs that had achieved maxlevel 3 6191638 GCed Exprs that had achieved ma...) (current)
- 03:36, 8 October 2009 (diff | hist) . . (+1,430) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:45, 8 October 2009 (diff | hist) . . (+556) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:38, 8 October 2009 (diff | hist) . . (+1) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:38, 8 October 2009 (diff | hist) . . (+307) . . Meeting Minutes - October 8, 2009 (→Expr discussion, continued)
- 02:15, 8 October 2009 (diff | hist) . . (+10) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 02:15, 8 October 2009 (diff | hist) . . (-1) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 02:14, 8 October 2009 (diff | hist) . . (+27) . . Meeting Minutes - October 8, 2009
- 02:12, 8 October 2009 (diff | hist) . . (+1,397) . . Meeting Minutes - October 8, 2009 (→Prototyping)
- 01:31, 8 October 2009 (diff | hist) . . (+103) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 01:23, 8 October 2009 (diff | hist) . . (0) . . N File:UF-SEQ005 size9.avi (current)
- 01:20, 8 October 2009 (diff | hist) . . (+1,404) . . N UF-SEQ005 size9.gchist (New page: <pre> 4045514 GCed Exprs that had achieved maxlevel 1 1399820 GCed Exprs that had achieved maxlevel 2 123210 GCed Exprs that had achieved maxlevel 3 82110 GCed Exprs that had achieved maxl...) (current)
- 00:46, 8 October 2009 (diff | hist) . . (+31) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:07, 8 October 2009 (diff | hist) . . (+109) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:06, 8 October 2009 (diff | hist) . . (+103) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:05, 8 October 2009 (diff | hist) . . (+186) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:03, 8 October 2009 (diff | hist) . . (0) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:03, 8 October 2009 (diff | hist) . . (+26) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 00:03, 8 October 2009 (diff | hist) . . (+226) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 23:57, 7 October 2009 (diff | hist) . . (0) . . N File:UF-iso icl nogen003.avi (current)
- 23:57, 7 October 2009 (diff | hist) . . (+102) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 23:52, 7 October 2009 (diff | hist) . . (+1,710) . . N UF-iso icl nogen003.gchist (New page: <pre> 3147247 GCed Exprs that had achieved maxlevel 1 389298 GCed Exprs that had achieved maxlevel 2 8103 GCed Exprs that had achieved maxlevel 3 32934 GCed Exprs that had achieved maxleve...) (current)
- 23:36, 7 October 2009 (diff | hist) . . (+146) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 23:34, 7 October 2009 (diff | hist) . . (+21) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 23:34, 7 October 2009 (diff | hist) . . (+42) . . Meeting Minutes - October 8, 2009 (→CVC3 bugs)
- 23:33, 7 October 2009 (diff | hist) . . (+4) . . Meeting Minutes - October 8, 2009 (→CVC3 bugs)
- 23:33, 7 October 2009 (diff | hist) . . (+164) . . Meeting Minutes - October 8, 2009 (→CVC3 bugs)
- 23:24, 7 October 2009 (diff | hist) . . (+154) . . Meeting Minutes - October 8, 2009 (→CVC3 bugs)
- 23:13, 7 October 2009 (diff | hist) . . (+126) . . Meeting Minutes - October 8, 2009 (→Assignments)
- 23:13, 7 October 2009 (diff | hist) . . (+6) . . Meeting Minutes - October 8, 2009 (→Assignments)
- 23:13, 7 October 2009 (diff | hist) . . (+26) . . Meeting Minutes - October 8, 2009 (→Assignments)
- 23:11, 7 October 2009 (diff | hist) . . (-152) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 23:11, 7 October 2009 (diff | hist) . . (+77) . . Meeting Minutes - October 8, 2009
- 23:10, 7 October 2009 (diff | hist) . . (0) . . N File:BV-SAGE-bench 406.avi (current)
- 23:01, 7 October 2009 (diff | hist) . . (+1,856) . . N BV-SAGE-bench 406.gchist (New page: <pre> 5419721 GCed Exprs that had achieved maxlevel 1 106361 GCed Exprs that had achieved maxlevel 2 87760 GCed Exprs that had achieved maxlevel 3 10710 GCed Exprs that had achieved maxlev...) (current)
- 23:01, 7 October 2009 (diff | hist) . . (+1,223) . . N BV-SAGE-bench 3177.gchist (New page: <pre> 7323934 GCed Exprs that had achieved maxlevel 1 2834 GCed Exprs that had achieved maxlevel 2 4693 GCed Exprs that had achieved maxlevel 3 3530 GCed Exprs that had achieved maxlevel 4...) (current)
- 23:01, 7 October 2009 (diff | hist) . . (+13) . . BV-SAGE-bench 295.gchist (current)
- 23:00, 7 October 2009 (diff | hist) . . (+4,269) . . N BV-SAGE-bench 295.gchist (New page: 86113 GCed Exprs that had achieved maxlevel 1 1052529 GCed Exprs that had achieved maxlevel 2 793266 GCed Exprs that had achieved maxlevel 3 154837 GCed Exprs that had achieved maxlevel 4 ...)
- 22:59, 7 October 2009 (diff | hist) . . (0) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 22:58, 7 October 2009 (diff | hist) . . (+154) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 22:53, 7 October 2009 (diff | hist) . . (+30) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 22:46, 7 October 2009 (diff | hist) . . (+85) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 22:44, 7 October 2009 (diff | hist) . . (0) . . N File:BV-SAGE-bench 3177.avi (current)
- 22:32, 7 October 2009 (diff | hist) . . (0) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 22:32, 7 October 2009 (diff | hist) . . (0) . . N File:BV-SAGE-bench 295.avi (current)
- 22:29, 7 October 2009 (diff | hist) . . (0) . . File:BV-CATCHCONV-convert-jpg2gif-query-1685.avi (uploaded a new version of "Image:BV-CATCHCONV-convert-jpg2gif-query-1685.avi") (current)
- 22:26, 7 October 2009 (diff | hist) . . (0) . . N File:BV-CATCHCONV-convert-jpg2gif-query-1685.avi
- 22:25, 7 October 2009 (diff | hist) . . (+640) . . Meeting Minutes - October 8, 2009 (→Experiments)
- 15:38, 7 October 2009 (diff | hist) . . (+40) . . Meeting Minutes - October 8, 2009 (→CVC3 bugs)
- 12:44, 7 October 2009 (diff | hist) . . (+22) . . Meeting Minutes - October 8, 2009 (→Meeting Agenda)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
