User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:26, 3 October 2009 (diff | hist) . . (+12) . . Template:Mtglinks
- 12:25, 3 October 2009 (diff | hist) . . (+66) . . Template:Mtglinks
- 12:24, 3 October 2009 (diff | hist) . . (+81) . . Template:Mtglinks
- 12:22, 3 October 2009 (diff | hist) . . (0) . . N File:Arrow right.gif (current)
- 12:22, 3 October 2009 (diff | hist) . . (0) . . N File:Arrow left.gif (current)
- 12:19, 3 October 2009 (diff | hist) . . (+58) . . N Template:Mtglinks (New page: Image:Arrow left.gif $1 | $2 Image:Arrow right.gif)
- 12:18, 3 October 2009 (diff | hist) . . (+46) . . Meeting Minutes - October 6, 2009
- 10:46, 3 October 2009 (diff | hist) . . (+36) . . Fuzz-testing, October 2009 (→Currently running)
- 10:39, 3 October 2009 (diff | hist) . . (+148) . . CVC4
- 10:35, 3 October 2009 (diff | hist) . . (0) . . m Library (References moved to Library)
- 10:35, 3 October 2009 (diff | hist) . . (+21) . . N References (References moved to Library) (current)
- 10:34, 3 October 2009 (diff | hist) . . (-10) . . MediaWiki:Sidebar
- 10:33, 3 October 2009 (diff | hist) . . (+10) . . CVC4
- 10:32, 3 October 2009 (diff | hist) . . (+176) . . Library
- 10:23, 3 October 2009 (diff | hist) . . (+125) . . N User:Mdeters (New page: Morgan Deters Courant Institute of Mathematical Sciences Warren Weaver Hall, room 407 251 Mercer St. New York, NY 10012) (current)
- 10:21, 3 October 2009 (diff | hist) . . (+14) . . Meeting Minutes - October 6, 2009 (→Other progress since last week)
- 10:21, 3 October 2009 (diff | hist) . . (-56) . . Meeting Minutes - October 6, 2009 (→Other progress since last week)
- 10:20, 3 October 2009 (diff | hist) . . (+258) . . Meeting Minutes - October 6, 2009 (→Other tasks)
- 10:15, 3 October 2009 (diff | hist) . . (+286) . . Meeting Minutes - October 6, 2009 (→Progress)
- 10:03, 3 October 2009 (diff | hist) . . (+52) . . Fuzz-testing, October 2009 (→Passed)
- 10:03, 3 October 2009 (diff | hist) . . (-48) . . Fuzz-testing, October 2009 (→Known errors)
- 21:05, 2 October 2009 (diff | hist) . . (+42) . . Meeting Minutes - October 6, 2009 (→Reference-counting and indexing in CVC3)
- 19:38, 2 October 2009 (diff | hist) . . (+11) . . Meeting Minutes - October 6, 2009
- 19:34, 2 October 2009 (diff | hist) . . (+276) . . Meeting Minutes - October 6, 2009
- 18:58, 2 October 2009 (diff | hist) . . (+388) . . Meeting Minutes - October 6, 2009
- 17:50, 2 October 2009 (diff | hist) . . (+1,043) . . Meeting Minutes - October 6, 2009
- 17:20, 2 October 2009 (diff | hist) . . (+447) . . Meeting Minutes - October 6, 2009 (→Progress)
- 16:54, 2 October 2009 (diff | hist) . . (+29) . . Meeting Minutes - October 6, 2009 (→Progress)
- 16:53, 2 October 2009 (diff | hist) . . (0) . . Developer Meeting Minutes (→October 2009: added oct 6 meeting link)
- 16:49, 2 October 2009 (diff | hist) . . (-663) . . Meeting Minutes - October 6, 2009 (adjust agenda in advance of meeting)
- 14:42, 2 October 2009 (diff | hist) . . (+18) . . Fuzz-testing, October 2009
- 14:41, 2 October 2009 (diff | hist) . . (+48) . . Fuzz-testing, October 2009
- 09:10, 1 October 2009 (diff | hist) . . (+2) . . Library (→Nonlinear arithmetic)
- 09:10, 1 October 2009 (diff | hist) . . (+387) . . N Library (New page: This is a collection of bibliographical references relevant to CVC4 developers. =Nonlinear arithmetic= *John Harrison, ''Theorem proving with the real numbers.'' Cambridge tech report U...)
- 09:03, 1 October 2009 (diff | hist) . . (0) . . N File:Mtg20091001b.png (current)
- 09:03, 1 October 2009 (diff | hist) . . (0) . . N File:Mtg20091001a.png (current)
- 09:03, 1 October 2009 (diff | hist) . . (+266) . . Meeting Minutes - October 1, 2009
- 07:52, 1 October 2009 (diff | hist) . . (+55) . . CVC4
- 07:43, 1 October 2009 (diff | hist) . . (0) . . m CVC4
- 07:42, 1 October 2009 (diff | hist) . . (0) . . m CVC4
- 19:34, 30 September 2009 (diff | hist) . . (+145) . . CVC4 Wishlist
- 19:34, 30 September 2009 (diff | hist) . . (+136) . . Meeting Minutes - October 1, 2009
- 19:30, 30 September 2009 (diff | hist) . . (+1,397) . . Meeting Minutes - September 22, 2009
- 19:18, 30 September 2009 (diff | hist) . . (+382) . . Meeting Minutes - September 24, 2009
- 19:15, 30 September 2009 (diff | hist) . . (+339) . . N CVC4 Wishlist (New page: This is a repository for "wishlist" items for CVC4: things we want to complete at some point (but longer term than individual week ''assignments''). * experiments - saving space in ''Expr...)
- 19:10, 30 September 2009 (diff | hist) . . (+2,077) . . Meeting Minutes - September 24, 2009
- 18:50, 30 September 2009 (diff | hist) . . (+273) . . Meeting Minutes - September 17, 2009
- 08:36, 30 September 2009 (diff | hist) . . (+1,749) . . Meeting Minutes - September 17, 2009
- 08:30, 30 September 2009 (diff | hist) . . (0) . . Meeting Minutes - September 22, 2009
- 08:29, 30 September 2009 (diff | hist) . . (+136) . . Meeting Minutes - September 22, 2009
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
