User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:25, 27 July 2011 (diff | hist) . . (+22) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 17:24, 27 July 2011 (diff | hist) . . (+59) . . Meeting Minutes - July 28, 2011 (→Agenda)
- 08:24, 26 July 2011 (diff | hist) . . (+57) . . Meeting Minutes - July 28, 2011 (→Status)
- 08:23, 26 July 2011 (diff | hist) . . (+118) . . Meeting Minutes - July 28, 2011
- 08:21, 26 July 2011 (diff | hist) . . (0) . . m Meeting Minutes - July 28, 2011 (moved Meeting Minutes - July 29, 2011 to Meeting Minutes - July 28, 2011)
- 08:21, 26 July 2011 (diff | hist) . . (0) . . Developer Meeting Minutes (→Third Quarter 2011)
- 21:06, 21 July 2011 (diff | hist) . . (+31) . . MediaWiki:Sidebar
- 21:06, 21 July 2011 (diff | hist) . . (+20) . . CVC4
- 21:05, 21 July 2011 (diff | hist) . . (+36) . . User Manual (→If you were using the library ("in-memory") interface of CVC3)
- 21:05, 21 July 2011 (diff | hist) . . (+39) . . User Manual (→Upgrading from CVC3 to CVC4)
- 21:04, 21 July 2011 (diff | hist) . . (-212) . . User Manual (→The CVC4 library ("in-memory") interface)
- 21:04, 21 July 2011 (diff | hist) . . (+916) . . N User Manual (Created page with 'This manual includes lots of information about how to use CVC4. It is a work in-progress. =Obtaining CVC4= ==Obtaining binary packages== ==Obtaining sources== ==Building from s…')
- 17:52, 21 July 2011 (diff | hist) . . (+183) . . Developer's Guide (→Building)
- 17:51, 21 July 2011 (diff | hist) . . (+153) . . Developer's Guide (→Building)
- 17:50, 21 July 2011 (diff | hist) . . (+204) . . Developer's Guide (→Building)
- 17:42, 21 July 2011 (diff | hist) . . (+2,195) . . Developer's Guide (→Working with the cluster)
- 17:32, 21 July 2011 (diff | hist) . . (-888) . . Developer's Guide (→Working with the cluster)
- 17:30, 21 July 2011 (diff | hist) . . (+3,154) . . Developer's Guide (→Unit testing)
- 17:27, 21 July 2011 (diff | hist) . . (+1) . . Developer's Guide (→Running the full regression suite on the cluster)
- 21:11, 20 July 2011 (diff | hist) . . (+35) . . Meeting Minutes - July 28, 2011
- 21:10, 20 July 2011 (diff | hist) . . (+112) . . N Meeting Minutes - July 28, 2011 (Created page with 'Category:Minutes {{mtglinks|||2011-07-29|10:30am|12:30pm}} =Agenda= *Post-CAV planning *Status of the LIST')
- 21:10, 20 July 2011 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Third Quarter 2011)
- 21:09, 20 July 2011 (diff | hist) . . (+64) . . Meeting Minutes - July 5, 2011 (current)
- 21:09, 20 July 2011 (diff | hist) . . (+63) . . Meeting Minutes - July 1, 2011 (current)
- 21:08, 20 July 2011 (diff | hist) . . (+2) . . Developer Meeting Minutes (→Third Quarter 2011)
- 08:45, 5 July 2011 (diff | hist) . . (+1,139) . . N Meeting Minutes - July 5, 2011 (Created page with 'THE (NEW AND IMPROVED) LIST * fuzz-testing / scramble-testing * rw-equality * uf circlist bug * uf performance w/ and w/out propagation *CADE paper preprocessing for UF - I think…')
- 09:18, 1 July 2011 (diff | hist) . . (+204) . . Meeting Minutes - July 1, 2011
- 08:24, 1 July 2011 (diff | hist) . . (+12) . . Meeting Minutes - July 1, 2011
- 08:23, 1 July 2011 (diff | hist) . . (+133) . . Meeting Minutes - July 1, 2011
- 08:21, 1 July 2011 (diff | hist) . . (+737) . . N Meeting Minutes - July 1, 2011 (Created page with 'THE LIST * rw-equality * uf circlist bug * uf performance w/ and w/out propagation * dyn ackerm. * arith performance (# decisions) * preprocessing performance (# decisions for ea…')
- 10:20, 30 June 2011 (diff | hist) . . (+126) . . Developer Meeting Minutes for 2011 (→Third Quarter 2011)
- 10:20, 30 June 2011 (diff | hist) . . (+275) . . Developer Meeting Minutes for 2011 (→Second Quarter 2011)
- 10:20, 30 June 2011 (diff | hist) . . (-272) . . Developer Meeting Minutes (→Second Quarter 2011)
- 10:19, 30 June 2011 (diff | hist) . . (+77) . . Meeting Minutes - June 30, 2011 (current)
- 10:18, 30 June 2011 (diff | hist) . . (+72) . . Meeting Minutes - June 28, 2011 (current)
- 10:17, 30 June 2011 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Second Quarter 2011)
- 10:16, 30 June 2011 (diff | hist) . . (+2,096) . . N Meeting Minutes - June 30, 2011 (Created page with 'Morgan * New CC module complete except for a pesky bug in CD circular list on backtrack * supports the "cared terms" stuff of old CC module, this is useful for sharing and for da…')
- 09:29, 28 June 2011 (diff | hist) . . (+417) . . Meeting Minutes - June 28, 2011
- 08:46, 28 June 2011 (diff | hist) . . (+1,146) . . N Meeting Minutes - June 28, 2011 (Created page with 'Status Morgan * UF progress (to discuss further) * SMT-COMP Mina * algorithms course * SPARK spreadsheet Dejan * sharing * rethink pre-reg and reg (to discuss) * adding care f…')
- 08:41, 28 June 2011 (diff | hist) . . (+26) . . Developer Meeting Minutes
- 14:31, 8 June 2011 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Second Quarter 2011)
- 15:05, 31 May 2011 (diff | hist) . . (+75) . . Developer's Guide (→Unit testing)
- 12:09, 27 May 2011 (diff | hist) . . (+2,107) . . Meeting Minutes - May 27, 2011 (current)
- 11:52, 27 May 2011 (diff | hist) . . (+821) . . Meeting Minutes - May 27, 2011 (→Status)
- 11:26, 27 May 2011 (diff | hist) . . (+344) . . Running a CVC4 Meeting (current)
- 11:24, 27 May 2011 (diff | hist) . . (+1,086) . . N Running a CVC4 Meeting (Created page with 'Running a CVC4 meeting involves several steps. First, obtain the microphone, laptop, and a network cable. Then: # Boot Windows and log in. Username "acsys" and the password i…')
- 11:22, 27 May 2011 (diff | hist) . . (+51) . . How do I... ? (→Dealing with the services on Goedel)
- 11:20, 27 May 2011 (diff | hist) . . (+3) . . Developer Meeting Minutes (→Second Quarter 2011)
- 11:18, 27 May 2011 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Second Quarter 2011)
- 11:17, 27 May 2011 (diff | hist) . . (+1,104) . . Meeting Minutes - May 27, 2011
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
