User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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
- 08:29, 30 September 2009 (diff | hist) . . (+136) . . Meeting Minutes - September 29, 2009
- 08:29, 30 September 2009 (diff | hist) . . (+136) . . Meeting Minutes - September 24, 2009
- 08:22, 30 September 2009 (diff | hist) . . (+1,382) . . Meeting Minutes - September 15, 2009
- 19:30, 29 September 2009 (diff | hist) . . (+2,060) . . Meeting Minutes - September 15, 2009
- 19:18, 29 September 2009 (diff | hist) . . (+55) . . Meeting Minutes - September 17, 2009
- 19:18, 29 September 2009 (diff | hist) . . (+55) . . Meeting Minutes - September 22, 2009
- 19:18, 29 September 2009 (diff | hist) . . (+55) . . Meeting Minutes - September 24, 2009
- 19:18, 29 September 2009 (diff | hist) . . (+55) . . Meeting Minutes - September 29, 2009
- 19:17, 29 September 2009 (diff | hist) . . (+55) . . Meeting Minutes - October 1, 2009
- 19:08, 29 September 2009 (diff | hist) . . (+4) . . Meeting Minutes - October 1, 2009
- 19:08, 29 September 2009 (diff | hist) . . (+23) . . Meeting Minutes - October 1, 2009
- 19:07, 29 September 2009 (diff | hist) . . (+27) . . Meeting Minutes - October 1, 2009
- 19:04, 29 September 2009 (diff | hist) . . (+381) . . N Meeting Minutes - October 6, 2009 (New page: Notes from 6 October, 2009 This meeting took place from 10am to 12pm. There are electronic notes available. =Meeting Agenda= =Progress= =Assignmen...)
- 19:01, 29 September 2009 (diff | hist) . . (+384) . . N Meeting Minutes - October 8, 2009 (New page: Notes from 8 October, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assign...)
- 19:01, 29 September 2009 (diff | hist) . . (+384) . . N Meeting Minutes - October 1, 2009 (New page: Notes from 1 October, 2009 This meeting took place from 10am to 11:30am. There are electronic notes available. =Meeting Agenda= =Progress= =Assign...)
- 18:57, 29 September 2009 (diff | hist) . . (+2) . . Developer Meeting Minutes
- 18:57, 29 September 2009 (diff | hist) . . (+137) . . Meeting Minutes - September 29, 2009
- 18:56, 29 September 2009 (diff | hist) . . (+12) . . Meeting Minutes - September 15, 2009
- 18:56, 29 September 2009 (diff | hist) . . (+12) . . Meeting Minutes - September 17, 2009
- 18:56, 29 September 2009 (diff | hist) . . (+12) . . Meeting Minutes - September 22, 2009
- 18:56, 29 September 2009 (diff | hist) . . (+218) . . Meeting Minutes - September 24, 2009
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
