User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:33, 16 February 2012 (diff | hist) . . (+58) . . Meeting Minutes - February 23, 2012 (→Theory interface contract)
- 10:32, 16 February 2012 (diff | hist) . . (+26) . . Meeting Minutes - February 16, 2012 (→Action items)
- 10:32, 16 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 16, 2012 (→What is a theory supposed to do?)
- 10:18, 16 February 2012 (diff | hist) . . (+57) . . Meeting Minutes - February 23, 2012
- 10:16, 16 February 2012 (diff | hist) . . (+92) . . N Meeting Minutes - February 23, 2012 (Created page with "==Theory interface contract== Dejan would like to eliminate QUICK_CHECK. (See {{bug|297}}.)")
- 10:16, 16 February 2012 (diff | hist) . . (+4,789) . . Meeting Minutes - February 16, 2012 (→Theory interface contract)
- 10:15, 16 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 16, 2012 (→Symmetry breaker breakage (Tim))
- 10:15, 16 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - February 16, 2012 (→Action items)
- 10:12, 16 February 2012 (diff | hist) . . (+197) . . Meeting Minutes - February 16, 2012 (→Action items)
- 09:53, 16 February 2012 (diff | hist) . . (+49) . . Meeting Minutes - February 16, 2012 (→Action items)
- 09:44, 16 February 2012 (diff | hist) . . (+53) . . Meeting Minutes - February 16, 2012 (→Action items)
- 08:07, 16 February 2012 (diff | hist) . . (+1,094) . . Meeting Minutes - February 16, 2012 (→Integers)
- 07:55, 16 February 2012 (diff | hist) . . (+22) . . Meeting Minutes - February 16, 2012 (→Integers)
- 07:54, 16 February 2012 (diff | hist) . . (+471) . . Meeting Minutes - February 16, 2012 (→Integers)
- 07:10, 16 February 2012 (diff | hist) . . (+14) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 07:10, 16 February 2012 (diff | hist) . . (+13) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 07:09, 16 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 07:09, 16 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 07:08, 16 February 2012 (diff | hist) . . (+15) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 07:07, 16 February 2012 (diff | hist) . . (+1,893) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 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
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
