From owner-p4-projects@FreeBSD.ORG Thu Mar 7 13:57:56 2013 Return-Path: Delivered-To: p4-projects@freebsd.org Received: by hub.freebsd.org (Postfix, from userid 32767) id 7969CBB2; Thu, 7 Mar 2013 13:57:56 +0000 (UTC) Delivered-To: perforce@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 3A183BB0 for ; Thu, 7 Mar 2013 13:57:56 +0000 (UTC) (envelope-from jonathan@freebsd.org) Received: from skunkworks.freebsd.org (skunkworks.freebsd.org [IPv6:2001:1900:2254:2068::682:0]) by mx1.freebsd.org (Postfix) with ESMTP id 2AFF4B5F for ; Thu, 7 Mar 2013 13:57:56 +0000 (UTC) Received: from skunkworks.freebsd.org ([127.0.1.74]) by skunkworks.freebsd.org (8.14.6/8.14.6) with ESMTP id r27Dvu8F059045 for ; Thu, 7 Mar 2013 13:57:56 GMT (envelope-from jonathan@freebsd.org) Received: (from perforce@localhost) by skunkworks.freebsd.org (8.14.6/8.14.6/Submit) id r27DvuYn059042 for perforce@freebsd.org; Thu, 7 Mar 2013 13:57:56 GMT (envelope-from jonathan@freebsd.org) Date: Thu, 7 Mar 2013 13:57:56 GMT Message-Id: <201303071357.r27DvuYn059042@skunkworks.freebsd.org> X-Authentication-Warning: skunkworks.freebsd.org: perforce set sender to jonathan@freebsd.org using -f From: Jonathan Anderson Subject: PERFORCE change 222695 for review To: Perforce Change Reviews Precedence: bulk X-BeenThere: p4-projects@freebsd.org X-Mailman-Version: 2.1.14 List-Id: p4 projects tree changes List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 Mar 2013 13:57:56 -0000 http://p4web.freebsd.org/@@222695?ac=10 Change 222695 by jonathan@jonathan-on-kent on 2013/03/07 13:57:35 Update to latest libtesla parts from GitHub. Affected files ... .. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 edit .. //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 edit .. //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 (text+ko) ==== @@ -99,7 +99,7 @@ /** Declare an automaton that describes behaviour of this struct. */ #define __tesla_struct_automaton(fn_name) \ - void *__tesla_struct_annotation_##fn_name; + void *__tesla_automaton_struct_uses_##fn_name; /** * Define an automaton to describe a struct's behaviour. ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 (text+ko) ==== @@ -121,7 +121,7 @@ // instructed to fork), just update the state. if (!t->fork && SUBSET(key->tk_mask, k->tk_mask)) { - VERBOSE_PRINT("update %ld: %tx->%tx\n", + VERBOSE_PRINT("update %td: %tx->%tx\n", inst - start, t->from, t->to); inst->ti_state = t->to; @@ -133,7 +133,7 @@ // a new (more specific) automaton instance. struct tesla_instance *copy; CHECK(tesla_clone, class, inst, ©); - VERBOSE_PRINT("clone %ld:%tx -> %ld:%tx\n", + VERBOSE_PRINT("clone %td:%tx -> %td:%tx\n", inst - start, inst->ti_state, copy - start, t->to); @@ -157,7 +157,7 @@ CHECK(tesla_instance_new, class, key, t->to, &inst); assert(tesla_instance_active(inst)); - VERBOSE_PRINT("new %ld: %tx\n", + VERBOSE_PRINT("new %td: %tx\n", inst - start, inst->ti_state); } ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 (text+ko) ==== @@ -32,8 +32,6 @@ #include "tesla_internal.h" -#include - void tesla_die(char *message)