From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Markus Elfring Newsgroups: gmane.comp.version-control.coccinelle,gmane.lisp.guile.user Subject: Developing reusable libraries for computation tree logic? Date: Mon, 11 Jul 2022 09:23:29 +0200 Message-ID: <85246751-c2b9-6533-8507-3246d5d00147@web.de> Reply-To: Markus Elfring Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40821"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 To: cocci@inria.fr, guile-user@gnu.org Archived-At: Original-X-From: cocci-owner@inria.fr Mon Jul 11 09:24:01 2022 Return-path: Envelope-to: gcvc-cocci@m.gmane-mx.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oAnlx-000AP8-3y for gcvc-cocci@m.gmane-mx.org; Mon, 11 Jul 2022 09:24:01 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=cBgVQY3uHeKzOdRly8LTuWilRdixKQY7zDFXwFNu9Mk=; b=l8Ewcx753ejBBl3/pnclGVS6jVKnK9WEYV14yOX7bdSTmPii+rNQ798p rQUI9JfZgpA3WC43zSzFqj+945Z8FDDqMShBTHN9aJQgs0b4cSfPr2SmT DzrAHmdU44v4CFjEVHzRa8K206z/nyf9KYSmysGVlpPSd3sGdEfnF7Qqw o=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of cocci-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="cocci-owner@inria.fr"; x-sender="cocci-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="cocci-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=cocci-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@web.de X-IronPort-AV: E=Sophos;i="5.92,262,1650924000"; d="scan'208";a="45059967" Original-Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jul 2022 09:24:00 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 7D5A0E0356; Mon, 11 Jul 2022 09:24:00 +0200 (CEST) Original-Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 363B3E015F for ; Mon, 11 Jul 2022 09:23:59 +0200 (CEST) IronPort-SDR: TbPsLZz+vvZvA4kcEi9sPIMq+xEZHB/WYVuyM7jSi0efC9ckZBVs8HKGQQFiGp65tFVwXKwnju G+qxoubKmZlmQvL0MUHlgjq5zkw459LoBbhtbg+/2LVdDray4paDYZxNPNUXcxn8VCud8Tdby1 Y8WGSfpDuh/2SCcI1VDw+t+Kfvqwzkinwl76a+O97N2ZO5vd8ih/WN3PpTuhZJl67jitpY5lYF E/pfXKUEuRWUkdmUTz7mMppEdu4gEZWeEjJ0jjnW2y39hgv0Axq7J7zU0t65eN8hqYECInSz6v av44ZKAyKc+Q3/r+YSASJede X-IPAS-Result: =?us-ascii?q?A0AcBgBEz8tihwwR49RaHgEBCxIMQIFECwKCIoEBVi4EC?= =?us-ascii?q?0WETo5ogXeBBoNPjiqMIwsBAwENNwgBAgQBAYIQgi87AYUWAh0HAQQzBg4BA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIEBAETAQEBDA0JBQgKBw4QBTYGX?= =?us-ascii?q?gZkBIFLBIF0CzQNQAEMAYFnIoQVHQEBESc0AiYCYAwIAQGCeQGCZAEDMAcMr?= =?us-ascii?q?W+BMYEBgggBAQaBPwGBH4FsHywiUoFcAwaBESwBhh8ZR4JcgQKERRCBVUSBP?= =?us-ascii?q?AyCR4NQAoU2gmWadyYEDwMaLS8SgR9sAQgEAwMHCgUwBgIMGBQEAhMSUxYCE?= =?us-ascii?q?gUHChkOFBsiFwwPAxIDDwEHAgkQCBIlCAMCAwgDAgMmAgMWCQ4DHQgKGBIQE?= =?us-ascii?q?gIEERoLCAMWPwkCBA4DQAgOAxEEAw8YCRIIEAQGAzIMJQsDBQ8NAQYDBgIFB?= =?us-ascii?q?QEDIAMUAwUkBwMhDyYNDQQiHQMDBSUDAgIbBwICAwIGFQYCAmw5CAQIBCsjD?= =?us-ascii?q?wUCBy8FBC8CHgQFBhEIAhYCBgQFAgQEFgIQCAIIJxcHExgbGQEFMicQCSEcC?= =?us-ascii?q?h0QBQYVAyFtBQo7Dyg0NjwsHxsKgRUsKxYDBAQDAgYaAwMiAhApBjEDFQYpF?= =?us-ascii?q?RQaEwkqgQEGIhwCnlQilHiuOzQHghWBPAWBPwyIM IronPort-PHdr: A9a23:HYYl3hWOUSB7hqyye/Z1iejMH7rV8Ky4XzF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsq0ewLOP4ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe65+I ReooQneq8UanI9vIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jioMKjw3/3zNisFoj6xVrh2uqBJhzYDUfY+aKPVwc7jBfdMDX2dNQtpdWiJDD466c oABD/ABPeFdr4TloFUBtwG+BQqxBOP01zRGiXv23aMg0+QgFwHG0xErEtUJvnvOttX1N7oSU fuvwKfHyTXDYelW2Tb76IjHaR0gr++DUqlqfcXM10YiDgXIhUifpoL5JT2azPgNs3SF4Op6U +Kik3IqpgVtrzSzxMogl4fEi4IUx13A+yt3zps5KcG5RUB1f9OpE5lduS+ZOoV4Q84vX2Fmt iY0xLMGuJO2eDYGxpQhyhXCZfKHdI2I7QjiVOaXOTp4i3NleK6/hxav6kes0PHzVs6x0FtMs yFLkcHMu2gT2xDO9MSLUOVx8lmj1DqVygze6PtILV0qmabDL5MszKQ8mocdvEnDBCP7mkf7g LWSe0gn/OWj9v7pba/8ppCGMo95kgH+Pboqmsy4Gek4Nw8OX3WH+eim2rzs41b2TK9XgfIoi qXZsZbaKto IronPort-Data: A9a23:ZGwJLKmrTqMgHCoUi8OPbjzo5gyDIERdPkR7XQ2eYbSJt1+Wr1Gzt xJJXW7SaaneY2qjfth+PdnnoUkH7ZXTydMyHgJtpH89QVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09QAbeSRWVvX4 4ut+pSHYTdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /12rY2uTlcUHZfBo8kkXyt8ITNQPpVJreqvzXiX6aR/zmXDdGbwhepjBgc6MOX0+M4tWDsIr 6ZHbmlSKEnZ7w616OrTpu1Eo805L9Tweq4btGthyz7xEvssB5zOK0nPzYYJhG1s2ZgedRrYT 9UWah8yaRv8XxpsJXhJWJwakMj2n1CqJlW0r3rM+PZpujGNpOBr65DmN9Hee/SRVMBNlwCZo HjH9iL3GHkn2Me3zD2Y7jSzi+WJkS6TtJ8u+KOQzeZ7nlrD+08pBSY7bFeJhcurpE2GVIcKQ 6ALwRYGoa83/U2ta9DyWRykvXKJ1iIht8ps//4StVnRk/qMi+qNLjdUHmERADAznJVuHVQXO km1c8TBKREHXFe9aX+c8r2Ztyi5OSUUIQfujgdZE1dcubEPTKkJjh/OSNJqFqLwttP8HSOY/ txnhC05mqlVksMBkam2lbwmv95OjsiYJuLWzlyGNo5A0u+fTND8D2BPwQaDhcus1K7DEjG8U IEswqByFtw IronPort-HdrOrdr: A9a23:bvhtfK4difGzGKfnZwPXwPrXdLJyesId70hD6qkDc203TiX+rb HIoB17726RtN91YhodcL+7V5VoLUmsl6KdgrN+AV7BZmXbUQKTRekO0WKI+UyEJ8SRzI5gPO tbEpSXE7fLfD5HZCvBkXCF++9L+qj+zEgi6N2180tQ X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.92,262,1650924000"; d="scan'208";a="19024708" X-MGA-submission: =?us-ascii?q?MDG1RiRdcw74OfLKqoEOV3cILo8f63e0MNvwR5?= =?us-ascii?q?ZbR60TKvs5wwtnJzdkDHH2vRRZQdHunTIo2Or2B7b43zYzTYaZASrZJY?= =?us-ascii?q?sgxSbX8odgK/lxdJ1HlVDcPf/sBSXB1HE5D6+7Bqt30+34wbG0Tk3U3z?= =?us-ascii?q?1LIEyaQ4lxHqfUC7nizJRgmg=3D=3D?= Original-Received: from mout.web.de ([212.227.17.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Jul 2022 09:23:59 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1657524237; bh=cBgVQY3uHeKzOdRly8LTuWilRdixKQY7zDFXwFNu9Mk=; h=X-UI-Sender-Class:Date:To:From:Subject; b=IXbAwIsEpJR+xDmlVCWdz+eHalIc9ls23HGcg0LfKcGowbyYqiWhtg3Zofe2P6Y50 o1DvLscPj9b9tTNqsrb/EmV2o6GjebI8x/77XrMw6NgM2nrKwdbjXPACu0wGCOriFQ kQEMKFWVFiC8go8InsKNeMwAJVMMtTV3czw/u26E= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from [192.168.178.20] ([93.135.77.98]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1MLAVc-1nsaQp17kA-00IY0I; Mon, 11 Jul 2022 09:23:57 +0200 Content-Language: en-GB X-Provags-ID: V03:K1:AWiqK+qoXwT2WRConwWOPcDOrOaPsTFR9xEVqT+ftjai+JJ/hFc ku28qeON1gTXFdyi5NDCYnVMNZO35Fqey/G7QOisE/ezO/pPfQgaWKcF2xzZrB1NCQrlZtP GMiSMJEkUWgeAhPAxqjQwNDD93e3u3bz4lDHMnLxp29kRRYA7vJbrGV/u7w2p37FsFqQMon 5IdYJ8aB9soxEK6KH5ABw== X-UI-Out-Filterresults: notjunk:1;V03:K0:Kz8+Wajvbrg=:A5gnrL5Y5AkHZj6R77ygID gxqrbO9TURcKopddPP1IU8y0E4xqi80bShkwfvnV8uBaidfTFQ2Xk6zD0OUZv+6vgmfXtVfco xIq7Mc6iKYksgJBNv/SAA47X13uXaCLE4bRShdXY+0XYs7H5z2EgLK8RqwHaOlrkDiwLak1DH KUMYsmNAVo0+uwT2PNEXbv89NwjRcIDSG6HmaytoTjHP154A0phJueeEHQAtjY5PVLDIWgtet z19HYYiRDA7yChiREbWRHG5VOrwQ52a8J0RdKYA9PYf7ishHnePJcmD1dWYJnaJn7j6vj3F4e PZi++vtPABsZ20l1yAjz8qCzHjob6eyjusZ3Qs6HOabW5fPXETmPDoU8tDXUdhPRJnDqKuRPA YkJmD1g5MO+zWndrIdEVLYAOqbz+ra8Bxy0wVCQrB9BgQnAp0sA7f9Ck6B4cINaWiyLuOvOWS oTaqtSHcOdcRXUN/es2SbVqw1goAmRwHtUFN582pgFtp3wHdbwfmkIxxiRzr46lfeEpG1lSw8 wBmGjX60flQNbz7Vp5PRYQMWir0uepvEUAkDK4OX1gsUhycOg5Vr36LUAQjGYfV7WTQgyoxDc 60x615v2YJG8oDV1Qe+XiE2hvklrGWb0I9ORRLjerA9MkiJxjOw5nkfCkppUGcuVf4h0K5+s7 lzcDvdP4FX4PUe0o8YoKsaOeYPDfbgZ6IGtncjjP1ADJzrZVauFti8HRYKT+9PjaNPhPshEzI jM9zH+nfyis47lLEcONlxG7EHvigjXyNAvj6F/UdOtoIsiCG6wLG07Km1xtaKf/Yz1jG9slE X-Loop: cocci@inria.fr X-Sequence: 489 Errors-To: cocci-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: cocci-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: X-Gmane-Expiry: 2022-07-25 Xref: news.gmane.io gmane.comp.version-control.coccinelle:12464 gmane.lisp.guile.user:18414 Archived-At: Hello, It was demonstrated for some years what can be achieved also by the means = of the technology =E2=80=9Ccomputation tree logic with variables and witnesse= s=E2=80=9D. Will development interests eventually grow for the construction of reusable libraries according to affected software areas? https://github.com/coccinelle/coccinelle/issues/251 Regards, Markus