From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id B96AA266B72 for ; Tue, 9 Jun 2026 13:23:50 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.129.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781011431; cv=none; b=Xc18j6vCQkpmsDFsCLP09YJXN314U3dEY+zKKP5+oY22et1+iBgm6fOeExYo9fHfniVO6shb3YBk28Kov1U1A69IZnvM/syVveRtf71/iwF6zBHYZ9WRwvQltRJpPVx1yZ3q2z134tckyhXbH6ITPdsMuyRaRKARhR0yQAtqjRc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781011431; c=relaxed/simple; bh=4t17tIbLOLm8EKJlVmoU1gMTEtKxq3C+GwnW5YMgPDk=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=BRcleGD+UWudGubcNOO3bP4ai9ud5TAWoEVKLAIbucQfN5xwLnsd01YDnw8kRLXQ86d7/O250yCdo6aGZYDNqlVYjtEPdnCNLPWGxRinF7WvjtKY5Xsuq4Djsobkl+Ab0YUUZufHtDgFKECbM6HtoUItuUB+81Zvm5h3OrcMZPI= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=cUgpBNWe; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=fjnzldRX; arc=none smtp.client-ip=170.10.129.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="cUgpBNWe"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="fjnzldRX" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1781011429; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=4t17tIbLOLm8EKJlVmoU1gMTEtKxq3C+GwnW5YMgPDk=; b=cUgpBNWeoYLNjjGIwJAdTonkAEroOG+YCa3+BzWFtsITX6NN1iohvkgIykBdY1nY+AG8IK RKx2aLZ8ofXAXxECMhBbI//Himc/TGCVtORJ7m446huuIPf3fCnVJUU5GpzihxwH0tzZNd I96rcMSv7KwULuPl0dAqNkYce8AcoZ0= Received: from mail-wm1-f70.google.com (mail-wm1-f70.google.com [209.85.128.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-549-fr-Fm55kP3m4uEpUlbBTsw-1; Tue, 09 Jun 2026 09:23:48 -0400 X-MC-Unique: fr-Fm55kP3m4uEpUlbBTsw-1 X-Mimecast-MFC-AGG-ID: fr-Fm55kP3m4uEpUlbBTsw_1781011427 Received: by mail-wm1-f70.google.com with SMTP id 5b1f17b1804b1-490b61243easo35256285e9.2 for ; Tue, 09 Jun 2026 06:23:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1781011427; x=1781616227; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=4t17tIbLOLm8EKJlVmoU1gMTEtKxq3C+GwnW5YMgPDk=; b=fjnzldRXMFcm8CCgDtk0o4ZKR379YSL84xzXMhbEoDCmqjbNlXFDzoP/oWoHdhbeKg fpBK660MvlwIG6nzKxfBr2/sC9Rx+h2gOc968HFoAiHaXcTbS4F0pONf9hffP5SGQYFA DKnG5O4w5NB1ylTXa3i9J27qKVndNwmjG1pZHSN11c3loSerxCJBUVBYRyJ2zADgld9Q G/3bU6nysC/bX8nOsn3KBh3YAkQpR8jn3NEve8rhcuqjP0hsB9AvEgHf7x5c9Nb+9YY5 caEpLWTaLQoeOkWyQviGckApz7yVhnwSxdhnTg4ChlcxhgQMknAR+zmqb/G5rYnT5a15 EaSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781011427; x=1781616227; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=4t17tIbLOLm8EKJlVmoU1gMTEtKxq3C+GwnW5YMgPDk=; b=KTj4kYfdg0R2jNDX7fOxW/BDuKNbA4ii3qsYYs3RYGs2XPkuF0Rgtnj10wunZdqwyo oa+wMXnHiLpP/SrQ3AOu/3GfT6In6PRx4AvlTZNlNW7N4FfgcBswBZ25PuW9bW3vHVMi Xo5dCGzObJ/P18LFipcBWFmZXOZwaruDmvjMvup1zqPQogeJsh46EpBUflUM5UZkyFyX kOrvt6cs7nSj7/sH9hQv0RYofIQ9ybLOpx4ieZx5bq+UCVr4wcWdAGzOsCPZIdifVVTB hbHqIXzm9W8Q//BDHbfd/GXjRdR1GWzvPCVt70YwPXJZzRsBrbG8kmzdprthHPNmeWsX dSQg== X-Forwarded-Encrypted: i=1; AFNElJ+3BXhrU73zzS1K7gUPPVRRna9vBtV3gY02Yqx13vz/ehXRvWHsGroLxubtt7QiwU8kktLzy61sarHhC7U=@vger.kernel.org X-Gm-Message-State: AOJu0YxgDIhGIETIaDSL688t8DAmUouQarh35bWfDXxwE5SJxOMkE7cu 22bhU5uCQIUvwRiuJ0XBrpyhvwrM9wdvkzxchsASTo7lraaB9BPzVQu1sG0nrm+bFIBb48RMZLz O+fyR0MsB62ygLulrQi/St/mruHG4q8ZM6DVV2UdrmGvwHXxFdU1iAz9DmLr3ybFGRhCHQphkag == X-Gm-Gg: Acq92OFQFgUPUV/CRJMHfCjax1ullGOWa3oF6B5s9+er+BGxffv+G3wA2NBK5dylUp4 pPFjO5kzCILF3lbCLqKo/YLL6oCWi03XM+Lxt8YKZS6/THRE6hLNV7vhz5fKlrmMfe0CvK7bZtg FMSHgRMzGBFB2y0NdE1VumslaciIcziZNyXbuQnicTAZceua3Ofi9UbtcY7Glbe/5zjfcwRbuEC fFPU8Idm9qRggXJaQviSvmLNlqHnNpp5Qbd8Ld4JvLUXW620O54MJpO1ffjEa5qxfC0BTn8QlhS RMjRTtXMNfMSRICXVwRCva849i3W6zxRQCY8JJeYS1vQ3PYCkHzow6NciTCujatPNZc0vqnU1LC DUhbcyWp5w2aJwcQHF3hP0TUDc54bbusdtA7Y X-Received: by 2002:a05:600c:4e45:b0:490:c01a:5f10 with SMTP id 5b1f17b1804b1-490c257f8cdmr337591225e9.15.1781011427112; Tue, 09 Jun 2026 06:23:47 -0700 (PDT) X-Received: by 2002:a05:600c:4e45:b0:490:c01a:5f10 with SMTP id 5b1f17b1804b1-490c257f8cdmr337590415e9.15.1781011426595; Tue, 09 Jun 2026 06:23:46 -0700 (PDT) Received: from [192.168.1.167] ([185.168.96.228]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-490bc39e024sm641961975e9.4.2026.06.09.06.23.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 09 Jun 2026 06:23:46 -0700 (PDT) Message-ID: <8a6bdffa673dcfa2df269b1e9d55f093ac4c7394.camel@redhat.com> Subject: Re: [PATCH v3 03/13] verification/rvgen: Implement state and transition parser based on Lark From: Gabriele Monaco To: Nam Cao Cc: Steven Rostedt , Wander Lairson Costa , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Date: Tue, 09 Jun 2026 15:23:45 +0200 In-Reply-To: <8964bf8b7c20fa1a5b8ef2a7081cf8ba11d70526.1780908661.git.namcao@linutronix.de> References: <8964bf8b7c20fa1a5b8ef2a7081cf8ba11d70526.1780908661.git.namcao@linutronix.de> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.60.2 (3.60.2-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 T24gTW9uLCAyMDI2LTA2LTA4IGF0IDEwOjU2ICswMjAwLCBOYW0gQ2FvIHdyb3RlOgo+ICtjbGFz cyBDb25zdHJhaW50UnVsZToKPiArwqDCoMKgIGdyYW1tYXIgPSByJycnCj4gK8KgwqDCoMKgwqDC oMKgIHJ1bGU6IGNvbmRpdGlvbiAoT1AgY29uZGl0aW9uKSoKPiArCj4gK8KgwqDCoMKgwqDCoMKg IE9QOiAiJiYiIHwgInx8Igo+ICsKPiArwqDCoMKgwqDCoMKgwqAgY29uZGl0aW9uOiBFTlYgQ01Q X09QIFZBTCBVTklUPwo+ICsKPiArwqDCoMKgwqDCoMKgwqAgRU5WOiBDTkFNRQo+ICsKPiArwqDC oMKgwqDCoMKgwqAgQ01QX09QOiAiPT0iIHwgIjw9IiB8ICI8IiB8ICI+PSIgfCAiPiIKPiArCj4g K8KgwqDCoMKgwqDCoMKgIFZBTDogL1swLTldKy8KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqAgfCAv W0EtWl9dK1woXCkvCQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoCB8IC9bQS1aX10rLwo+ICvCoMKg wqDCoMKgwqDCoMKgwqDCoCB8IC9bYS16X10rXChcKS8KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqAg fCAvW2Etel9dKy8KPiArCj4gK8KgwqDCoMKgwqDCoMKgIFVOSVQ6ICJucyIgfCAidXMiIHwgIm1z IiB8ICJzIgo+ICvCoMKgwqAgJycnCgpPbmUgbW9yZSAodGhhdCBzYXNoaWtvIGNvdWxkbid0IGZp bmQpLCB3ZSdyZSB0YWxraW5nIGFib3V0ICJqIiBhcyBhCnVuaXQsIGl0IHNob3VsZCBiZSBhbGxv d2VkIGFsc28gb24gbGl0ZXJhbHMgKHNvIHdlIG5lZWQgdG8gYWRkIGl0IGFzIGEKdmFsaWQgVU5J VCkuCgpUaGFua3MsCkdhYnJpZWxlCg==