From owner-soc-status@FreeBSD.ORG  Mon Jul 22 22:27:33 2013
Return-Path: <owner-soc-status@FreeBSD.ORG>
Delivered-To: soc-status@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id 5B48FDC6
 for <soc-status@FreeBSD.org>; Mon, 22 Jul 2013 22:27:33 +0000 (UTC)
 (envelope-from vsevolod@FreeBSD.org)
Received: from n.highsecure.ru (unknown [IPv6:2001:41d0:8:dd9a::99])
 (using TLSv1.1 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id 262CE2854
 for <soc-status@FreeBSD.org>; Mon, 22 Jul 2013 22:27:33 +0000 (UTC)
Received: from [172.24.211.113] (global-2-14.nat.csx.cam.ac.uk
 [131.111.185.14])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 (Authenticated sender: vsevolod@highsecure.ru)
 by n.highsecure.ru (Postfix) with ESMTPSA id 80413220A38
 for <soc-status@FreeBSD.org>; Mon, 22 Jul 2013 23:26:34 +0100 (BST)
Message-ID: <51EDB1D0.5020802@FreeBSD.org>
Date: Mon, 22 Jul 2013 23:27:28 +0100
From: Vsevolod Stakhov <vsevolod@FreeBSD.org>
User-Agent: Mozilla/5.0 (Windows NT 6.2; WOW64;
 rv:17.0) Gecko/20130620 Thunderbird/17.0.7
MIME-Version: 1.0
To: soc-status@FreeBSD.org
Subject: Status report: Pluggable solver framework for pkgng. Week #4-5.
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-BeenThere: soc-status@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Summer of Code Status Reports and Discussion <soc-status.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/soc-status>,
 <mailto:soc-status-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/soc-status>
List-Post: <mailto:soc-status@freebsd.org>
List-Help: <mailto:soc-status-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/soc-status>,
 <mailto:soc-status-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 22 Jul 2013 22:27:33 -0000

Hello,

Here is a list of tasks that were done over the fourth and the fith 
weeks (I was on a trip and therefore slightly delayed the report):

- the initial version of CUDF generator has been implemented;
- the solver code was modified to support CUDF specific attributes, such 
as package request;
- conflicts are now downloaded from a repo and parsed;
- discussed the integration problems with bapt@ and we decided to 
continue the support of plain dependencies structure keeping in mind 
that CUDF could support more complex dependencies and conflicts (such as 
version specific or boolean formulas);

My code is placed here: https://github.com/vstakhov/pkg/tree/gsoc

As the next step, I plan to test CUDF emitter with some solver and check 
the overall functionality of the code added.

-- 
Vsevolod Stakhov