From owner-soc-status@FreeBSD.ORG  Thu Jul 14 06:28:23 2011
Return-Path: <owner-soc-status@FreeBSD.ORG>
Delivered-To: soc-status@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 6E2B41065672
	for <soc-status@freebsd.org>; Thu, 14 Jul 2011 06:28:23 +0000 (UTC)
	(envelope-from m.kocielski@gmail.com)
Received: from mail-pz0-f54.google.com (mail-pz0-f54.google.com
	[209.85.210.54])
	by mx1.freebsd.org (Postfix) with ESMTP id 4D2B28FC12
	for <soc-status@freebsd.org>; Thu, 14 Jul 2011 06:28:23 +0000 (UTC)
Received: by pzk27 with SMTP id 27so7105737pzk.13
	for <soc-status@freebsd.org>; Wed, 13 Jul 2011 23:28:22 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=mime-version:sender:date:x-google-sender-auth:message-id:subject
	:from:to:content-type;
	bh=0lAocL3PlwGcBNsdDyCGwulO9Mppv4b3P+xVFLHjRWs=;
	b=kdWcXTvKNj6eZ5Vrire2VEVY291TEhFIdH3FmUiBQ8CYcIRSQEduroCnOGf3vwr49L
	ZjobtrpBpvffswFAvT+/y71XdFaZigcRYf+xyWrMMZg+HgAg0IzWBOMA3p2PcxYalcQW
	TIOL6p3PXWVSLo2uOcwtdAXhzjHsM2ws3hwGU=
MIME-Version: 1.0
Received: by 10.68.66.104 with SMTP id e8mr2004584pbt.29.1310624902602; Wed,
	13 Jul 2011 23:28:22 -0700 (PDT)
Sender: m.kocielski@gmail.com
Received: by 10.68.71.129 with HTTP; Wed, 13 Jul 2011 23:28:22 -0700 (PDT)
Date: Thu, 14 Jul 2011 08:28:22 +0200
X-Google-Sender-Auth: aKk5XUMgPgbPf8HT6EFgxvZjli4
Message-ID: <CAJTcWcghH=zp3WtyL0SgPMsxw7AkZKMPZXYp9xC4mJkLXrM4BQ@mail.gmail.com>
From: Mateusz Kocielski <shm@freebsd.org>
To: soc-status@freebsd.org
Content-Type: text/plain; charset=ISO-8859-1
Subject: Testing temporal properties with Temporally Enhanced Security Logic
 Assertions - week 6
X-BeenThere: soc-status@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Summer of Code Status Reports and Discussion <soc-status.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/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: Thu, 14 Jul 2011 06:28:23 -0000

Hi,

 This week was pretty busy outside GSoC world, however I've done some
significant bits:

 * added few instrumenter tests (i.e. for op= assignments, field
assignment tests)
 * extended instrumenter for op= assignments
 * polishing up all hacks which I've done so far (and push code into svn repo)
 * start working on more granular locking scheme for TESLA_SCOPE_GLOBAL context

 In case of any questions please catch me on IRC (I'm shm at freenode).

Regards,
Mateusz