User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:06, 16 February 2012 (diff | hist) . . (+84) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 07:01, 16 February 2012 (diff | hist) . . (+598) . . Meeting Minutes - February 16, 2012 (→Reference Guide (Liana/Morgan))
- 06:58, 16 February 2012 (diff | hist) . . (-31) . . How to write a theory in CVC4 (→How to add a theory in CVC4)
- 06:23, 16 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 16, 2012 (→Finite-model finding)
- 06:23, 16 February 2012 (diff | hist) . . (+109) . . Meeting Minutes - February 16, 2012 (→Finite-model finding)
- 06:17, 16 February 2012 (diff | hist) . . (-5) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 06:17, 16 February 2012 (diff | hist) . . (+159) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 06:16, 16 February 2012 (diff | hist) . . (+111) . . Meeting Minutes - February 16, 2012 (→Quantifiers)
- 06:13, 16 February 2012 (diff | hist) . . (+59) . . Meeting Minutes - February 16, 2012 (→Last week's architecture meeting)
- 06:01, 16 February 2012 (diff | hist) . . (+25) . . Meeting Minutes - February 16, 2012 (→Website)
- 06:00, 16 February 2012 (diff | hist) . . (+97) . . Meeting Minutes - February 16, 2012 (→Integers)
- 05:59, 16 February 2012 (diff | hist) . . (+28) . . Meeting Minutes - February 16, 2012 (→Merges)
- 13:51, 15 February 2012 (diff | hist) . . (+37) . . Meeting Minutes - February 16, 2012 (→Discussion)
- 13:07, 15 February 2012 (diff | hist) . . (+37) . . Meeting Minutes - February 16, 2012 (→Discussion)
- 15:31, 12 February 2012 (diff | hist) . . (+57) . . Meeting Minutes - February 16, 2012 (→Merges)
- 15:13, 12 February 2012 (diff | hist) . . (+41) . . Meeting Minutes - February 16, 2012 (→Merges)
- 12:49, 12 February 2012 (diff | hist) . . (+9) . . Meeting Minutes - February 16, 2012 (→Merges)
- 11:51, 12 February 2012 (diff | hist) . . (+19) . . Meeting Minutes - February 16, 2012 (→Theory interface contract)
- 14:45, 11 February 2012 (diff | hist) . . (+338) . . Meeting Minutes - February 16, 2012 (→Logistical)
- 14:44, 11 February 2012 (diff | hist) . . (-18) . . Meeting Minutes - February 10, 2012 (→Architecture) (current)
- 14:43, 11 February 2012 (diff | hist) . . (+42) . . Meeting Minutes - February 16, 2012 (→Logistical)
- 14:43, 11 February 2012 (diff | hist) . . (-41) . . Meeting Minutes - February 16, 2012 (→"Component-based CVC4" architecture)
- 14:42, 11 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 9, 2012 (→CNF proofs (Andy)) (current)
- 14:42, 11 February 2012 (diff | hist) . . (+17) . . Meeting Minutes - February 16, 2012 (→Research/project status)
- 14:41, 11 February 2012 (diff | hist) . . (+43) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 14:41, 11 February 2012 (diff | hist) . . (+601) . . Meeting Minutes - February 16, 2012
- 14:34, 11 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 14:34, 11 February 2012 (diff | hist) . . (+273) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 16:36, 10 February 2012 (diff | hist) . . (+100) . . How to write a theory in CVC4
- 14:26, 10 February 2012 (diff | hist) . . (+79) . . How to write a theory in CVC4
- 14:25, 10 February 2012 (diff | hist) . . (+89) . . How to write a theory in CVC4
- 14:24, 10 February 2012 (diff | hist) . . (+163) . . How to write a theory in CVC4 (old instructions) (current)
- 14:23, 10 February 2012 (diff | hist) . . (0) . . m How to write a theory in CVC4 (old instructions) (moved How to write a theory in CVC4 to How to write a theory in CVC4 (old instructions))
- 14:23, 10 February 2012 (diff | hist) . . (+62) . . N How to write a theory in CVC4 (moved How to write a theory in CVC4 to How to write a theory in CVC4 (old instructions))
- 14:23, 10 February 2012 (diff | hist) . . (-30) . . How do I... ? (→Dealing with adding a new theory)
- 14:22, 10 February 2012 (diff | hist) . . (0) . . How do I... ?
- 10:56, 10 February 2012 (diff | hist) . . (+3,218) . . Meeting Minutes - February 10, 2012 (→Architecture)
- 10:00, 10 February 2012 (diff | hist) . . (+1,866) . . Meeting Minutes - February 10, 2012 (→Architecture)
- 10:00, 10 February 2012 (diff | hist) . . (+397) . . Meeting Minutes - February 10, 2012
- 09:21, 10 February 2012 (diff | hist) . . (0) . . Newswire
- 09:20, 10 February 2012 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 09:19, 10 February 2012 (diff | hist) . . (0) . . Leaderboard
- 09:18, 10 February 2012 (diff | hist) . . (0) . . Developer's Guide
- 09:17, 10 February 2012 (diff | hist) . . (0) . . How it's Made (→Monitoring) (current)
- 09:16, 10 February 2012 (diff | hist) . . (-14) . . How it's Made (→Hardware Setup and Basic)
- 09:16, 10 February 2012 (diff | hist) . . (0) . . CVC4
- 09:15, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church (→Instructions for Mac OS X)
- 09:15, 10 February 2012 (diff | hist) . . (+24) . . Using SSL with Church (→Instructions for Ubuntu)
- 09:12, 10 February 2012 (diff | hist) . . (0) . . N File:Church-ssl-cert.pem
- 09:11, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church (→Fingerprint)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
