User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:44, 16 February 2012 (diff | hist) . . (+53) . . Meeting Minutes - February 16, 2012 (→Action items)
- 07:07, 16 February 2012 (diff | hist) . . (+1,094) . . Meeting Minutes - February 16, 2012 (→Integers)
- 06:55, 16 February 2012 (diff | hist) . . (+22) . . Meeting Minutes - February 16, 2012 (→Integers)
- 06:54, 16 February 2012 (diff | hist) . . (+471) . . Meeting Minutes - February 16, 2012 (→Integers)
- 06:10, 16 February 2012 (diff | hist) . . (+14) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:10, 16 February 2012 (diff | hist) . . (+13) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:09, 16 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:09, 16 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:08, 16 February 2012 (diff | hist) . . (+15) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:07, 16 February 2012 (diff | hist) . . (+1,893) . . Meeting Minutes - February 16, 2012 (→Lemma deletion to support UIowa)
- 06:06, 16 February 2012 (diff | hist) . . (+84) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 06:01, 16 February 2012 (diff | hist) . . (+598) . . Meeting Minutes - February 16, 2012 (→Reference Guide (Liana/Morgan))
- 05:58, 16 February 2012 (diff | hist) . . (-31) . . How to write a theory in CVC4 (→How to add a theory in CVC4)
- 05:23, 16 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 16, 2012 (→Finite-model finding)
- 05:23, 16 February 2012 (diff | hist) . . (+109) . . Meeting Minutes - February 16, 2012 (→Finite-model finding)
- 05:17, 16 February 2012 (diff | hist) . . (-5) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 05:17, 16 February 2012 (diff | hist) . . (+159) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 05:16, 16 February 2012 (diff | hist) . . (+111) . . Meeting Minutes - February 16, 2012 (→Quantifiers)
- 05:13, 16 February 2012 (diff | hist) . . (+59) . . Meeting Minutes - February 16, 2012 (→Last week's architecture meeting)
- 05:01, 16 February 2012 (diff | hist) . . (+25) . . Meeting Minutes - February 16, 2012 (→Website)
- 05:00, 16 February 2012 (diff | hist) . . (+97) . . Meeting Minutes - February 16, 2012 (→Integers)
- 04:59, 16 February 2012 (diff | hist) . . (+28) . . Meeting Minutes - February 16, 2012 (→Merges)
- 12:51, 15 February 2012 (diff | hist) . . (+37) . . Meeting Minutes - February 16, 2012 (→Discussion)
- 12:07, 15 February 2012 (diff | hist) . . (+37) . . Meeting Minutes - February 16, 2012 (→Discussion)
- 14:31, 12 February 2012 (diff | hist) . . (+57) . . Meeting Minutes - February 16, 2012 (→Merges)
- 14:13, 12 February 2012 (diff | hist) . . (+41) . . Meeting Minutes - February 16, 2012 (→Merges)
- 11:49, 12 February 2012 (diff | hist) . . (+9) . . Meeting Minutes - February 16, 2012 (→Merges)
- 10:51, 12 February 2012 (diff | hist) . . (+19) . . Meeting Minutes - February 16, 2012 (→Theory interface contract)
- 13:45, 11 February 2012 (diff | hist) . . (+338) . . Meeting Minutes - February 16, 2012 (→Logistical)
- 13:44, 11 February 2012 (diff | hist) . . (-18) . . Meeting Minutes - February 10, 2012 (→Architecture) (current)
- 13:43, 11 February 2012 (diff | hist) . . (+42) . . Meeting Minutes - February 16, 2012 (→Logistical)
- 13:43, 11 February 2012 (diff | hist) . . (-41) . . Meeting Minutes - February 16, 2012 (→"Component-based CVC4" architecture)
- 13:42, 11 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 9, 2012 (→CNF proofs (Andy)) (current)
- 13:42, 11 February 2012 (diff | hist) . . (+17) . . Meeting Minutes - February 16, 2012 (→Research/project status)
- 13:41, 11 February 2012 (diff | hist) . . (+43) . . Meeting Minutes - February 16, 2012 (→Worst bugs in the world)
- 13:41, 11 February 2012 (diff | hist) . . (+601) . . Meeting Minutes - February 16, 2012
- 13:34, 11 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 13:34, 11 February 2012 (diff | hist) . . (+273) . . Meeting Minutes - February 16, 2012 (→CVC4 status)
- 15:36, 10 February 2012 (diff | hist) . . (+100) . . How to write a theory in CVC4
- 13:26, 10 February 2012 (diff | hist) . . (+79) . . How to write a theory in CVC4
- 13:25, 10 February 2012 (diff | hist) . . (+89) . . How to write a theory in CVC4
- 13:24, 10 February 2012 (diff | hist) . . (+163) . . How to write a theory in CVC4 (old instructions) (current)
- 13: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))
- 13: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))
- 13:23, 10 February 2012 (diff | hist) . . (-30) . . How do I... ? (→Dealing with adding a new theory)
- 13:22, 10 February 2012 (diff | hist) . . (0) . . How do I... ?
- 09:56, 10 February 2012 (diff | hist) . . (+3,218) . . Meeting Minutes - February 10, 2012 (→Architecture)
- 09:00, 10 February 2012 (diff | hist) . . (+1,866) . . Meeting Minutes - February 10, 2012 (→Architecture)
- 09:00, 10 February 2012 (diff | hist) . . (+397) . . Meeting Minutes - February 10, 2012
- 08:21, 10 February 2012 (diff | hist) . . (0) . . Newswire
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
