User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:42, 22 February 2012 (diff | hist) . . (+110) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:35, 22 February 2012 (diff | hist) . . (+69) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:23, 22 February 2012 (diff | hist) . . (+135) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 14:19, 22 February 2012 (diff | hist) . . (+171) . . Meeting Minutes - February 23, 2012 (→Arrays)
- 13:53, 22 February 2012 (diff | hist) . . (+119) . . Meeting Minutes - February 23, 2012 (→Merges)
- 12:24, 22 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - February 23, 2012 (→Minor commits/interface changes)
- 12:24, 22 February 2012 (diff | hist) . . (+54) . . Meeting Minutes - February 23, 2012 (→Portfolio)
- 11:36, 22 February 2012 (diff | hist) . . (+117) . . Meeting Minutes - February 23, 2012 (→Integers)
- 08:03, 22 February 2012 (diff | hist) . . (+34) . . Meeting Minutes - February 23, 2012 (→Website)
- 08:02, 22 February 2012 (diff | hist) . . (+9) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 08:02, 22 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 23, 2012 (→Merges)
- 08:02, 22 February 2012 (diff | hist) . . (+22) . . Meeting Minutes - February 23, 2012 (→Reference Guide (Liana/Morgan))
- 08:02, 22 February 2012 (diff | hist) . . (+42) . . Meeting Minutes - February 23, 2012 (→Merges)
- 08:01, 22 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 07:56, 22 February 2012 (diff | hist) . . (+59) . . Meeting Minutes - February 23, 2012 (→Regression strategy)
- 07:36, 22 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 23, 2012 (→Merges)
- 17:57, 21 February 2012 (diff | hist) . . (+122) . . Meeting Minutes - February 23, 2012 (→Minor commits/interface changes)
- 17:56, 21 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - February 23, 2012 (→Merges)
- 12:51, 21 February 2012 (diff | hist) . . (-11) . . Meeting Minutes - February 23, 2012 (→Worst bugs in the world)
- 12:50, 21 February 2012 (diff | hist) . . (+166) . . Meeting Minutes - February 23, 2012 (→Worst bugs in the world)
- 11:42, 21 February 2012 (diff | hist) . . (+25) . . Meeting Minutes - February 23, 2012 (→Discussion)
- 11:41, 20 February 2012 (diff | hist) . . (+112) . . Meeting Minutes - February 16, 2012 (→Quantifiers) (current)
- 09:42, 20 February 2012 (diff | hist) . . (+324) . . Meeting Minutes - February 23, 2012 (→CVC4 status)
- 09:40, 20 February 2012 (diff | hist) . . (-2) . . Meeting Minutes - February 23, 2012 (→Worst bugs in the world)
- 09:40, 20 February 2012 (diff | hist) . . (+160) . . Meeting Minutes - February 23, 2012
- 09:38, 20 February 2012 (diff | hist) . . (+16) . . Meeting Minutes - February 23, 2012
- 09:38, 20 February 2012 (diff | hist) . . (+56) . . Meeting Minutes - February 23, 2012
- 09:37, 20 February 2012 (diff | hist) . . (+449) . . Meeting Minutes - February 23, 2012 (→Theory interface contract)
- 10:56, 16 February 2012 (diff | hist) . . (-4) . . Meeting Minutes - February 16, 2012 (→Portfolio brainstorming)
- 10:56, 16 February 2012 (diff | hist) . . (+348) . . Meeting Minutes - February 16, 2012 (→Portfolio brainstorming)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
