User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:20, 10 February 2012 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 08:19, 10 February 2012 (diff | hist) . . (0) . . Leaderboard
- 08:18, 10 February 2012 (diff | hist) . . (0) . . Developer's Guide
- 08:17, 10 February 2012 (diff | hist) . . (0) . . How it's Made (→Monitoring) (current)
- 08:16, 10 February 2012 (diff | hist) . . (-14) . . How it's Made (→Hardware Setup and Basic)
- 08:16, 10 February 2012 (diff | hist) . . (0) . . CVC4
- 08:15, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church (→Instructions for Mac OS X)
- 08:15, 10 February 2012 (diff | hist) . . (+24) . . Using SSL with Church (→Instructions for Ubuntu)
- 08:12, 10 February 2012 (diff | hist) . . (0) . . N File:Church-ssl-cert.pem
- 08:11, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church (→Fingerprint)
- 08:07, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church
- 08:06, 10 February 2012 (diff | hist) . . (+11) . . How do I... ? (→Dealing with the services on Goedel)
- 08:05, 10 February 2012 (diff | hist) . . (0) . . m Using SSL with Church (moved Using SSL with Goedel to Using SSL with Church: server name change)
- 08:05, 10 February 2012 (diff | hist) . . (+35) . . N Using SSL with Goedel (moved Using SSL with Goedel to Using SSL with Church: server name change) (current)
- 08:05, 10 February 2012 (diff | hist) . . (+86) . . Meeting Minutes - February 9, 2012
- 08:04, 10 February 2012 (diff | hist) . . (0) . . Template:Bug (current)
- 08:04, 10 February 2012 (diff | hist) . . (0) . . Template:BUG (current)
- 08:03, 10 February 2012 (diff | hist) . . (+24) . . Developer Meeting Minutes (→First Quarter 2012)
- 08:02, 10 February 2012 (diff | hist) . . (+19) . . Meeting Minutes - February 10, 2012
- 08:02, 10 February 2012 (diff | hist) . . (+210) . . N Meeting Minutes - February 10, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-02-10|11:30am|12:30pm}} This was a special CVC4 architecture meeting held between core members at NYU and U Iowa. =Discussion= ==Dejan's…")
- 10:13, 9 February 2012 (diff | hist) . . (-38) . . Meeting Minutes - February 9, 2012 (→Action items)
- 09:50, 9 February 2012 (diff | hist) . . (+71) . . Meeting Minutes - February 9, 2012
- 09:48, 9 February 2012 (diff | hist) . . (-27) . . Meeting Minutes - February 9, 2012 (→Action items)
- 09:48, 9 February 2012 (diff | hist) . . (+6) . . Meeting Minutes - February 9, 2012
- 09:48, 9 February 2012 (diff | hist) . . (+143) . . Meeting Minutes - February 9, 2012
- 09:47, 9 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 9, 2012
- 09:47, 9 February 2012 (diff | hist) . . (+73) . . Meeting Minutes - February 16, 2012
- 09:46, 9 February 2012 (diff | hist) . . (+184) . . N Meeting Minutes - February 16, 2012 (Created page with "=Logistical= =CVC4 status= =Research/project status= =Discussion= ==Theory interface contract== Dejan would like to eliminate QUICK_CHECK. =="Component-based CVC4" architec…")
- 09:45, 9 February 2012 (diff | hist) . . (+274) . . Meeting Minutes - February 9, 2012
- 09:26, 9 February 2012 (diff | hist) . . (+30) . . Meeting Minutes - February 9, 2012 (→Notification when a particular literal is implied (for Francois's rewrite rules))
- 09:17, 9 February 2012 (diff | hist) . . (+213) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 09:15, 9 February 2012 (diff | hist) . . (+230) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 09:01, 9 February 2012 (diff | hist) . . (-23) . . Meeting Minutes - February 9, 2012 (→SPARK integration)
- 08:58, 9 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 08:57, 9 February 2012 (diff | hist) . . (+332) . . Meeting Minutes - February 9, 2012 (→CNF proofs (Andy))
- 08:47, 9 February 2012 (diff | hist) . . (+461) . . Meeting Minutes - February 9, 2012
- 08:36, 9 February 2012 (diff | hist) . . (+100) . . Meeting Minutes - February 9, 2012 (→Status)
- 07:48, 9 February 2012 (diff | hist) . . (+318) . . Meeting Minutes - February 9, 2012 (→"Rewrite" rules)
- 07:38, 9 February 2012 (diff | hist) . . (-5) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 07:37, 9 February 2012 (diff | hist) . . (+55) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 07:32, 9 February 2012 (diff | hist) . . (+142) . . Meeting Minutes - February 9, 2012 (→Status)
- 14:30, 8 February 2012 (diff | hist) . . (+23) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 14:29, 8 February 2012 (diff | hist) . . (+30) . . Meeting Minutes - February 9, 2012 (→Bitvectors)
- 14:29, 8 February 2012 (diff | hist) . . (+44) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 14:26, 8 February 2012 (diff | hist) . . (+112) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 14:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 14:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 14:22, 8 February 2012 (diff | hist) . . (+87) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 14:22, 8 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
- 14:22, 8 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
