Coccinelle

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/coccinelle

See all merge proposals.

Import details

Import Status: Reviewed

This repository is an import of the Git repository at https://github.com/coccinelle/coccinelle.git.

The next import is scheduled to run .

Last successful import was .

Import started on juju-1e3bde-prod-lp-code-import-13 and finished taking 15 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-17 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-13 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-13 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-17 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-17 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-13 and finished taking 20 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-13 and finished taking 25 seconds — see the log

Branches

Name Last Modified Last Commit
master 2022-07-16 12:33:19 UTC
add do while

Author: Julia Lawall
Author Date: 2022-07-16 12:28:03 UTC

add do while

This is based on an original patch proposal by:

From: Evan Zhao <tacingiht@gmail.com>
To: Coccinelle <cocci@systeme.lip6.fr>
Subject: [Cocci] [Patch] Add dowhile support in SmPL
Date: Mon, 22 Apr 2019 21:34:29 +0800 [thread overview]
Message-ID: <CAAGQS2vWgFjbU9t9QXKgDefp1TcOnMoDwPFE0kMpU_203JXEag@mail.gmail.com> (raw)

That patch, however, treated the final semicolon like the kind of ender
that is added to an if, while loop, etc., that is not necessary. Do
while is more like { }.

This one does not make any changes in the SmPL processing code
(parsing_cocci), but only in the translation to CTL. The management of
free variables in the translation of CTL is furthermore modified to
better match what is done for { }.

The test cases are based on the ones in the original patch, with a few
modifications.
update_pyml_python39 2020-03-26 19:47:47 UTC
stdcompat.h is from stdcompat, not pyml

Author: Thierry Martinez
Author Date: 2020-03-26 19:47:47 UTC

stdcompat.h is from stdcompat, not pyml
cleaning_ci 2020-02-24 08:10:10 UTC
Force previous version of pyml until the fix has been merged in OPAM

Author: Thierry Martinez
Author Date: 2020-02-24 08:10:10 UTC

Force previous version of pyml until the fix has been merged in OPAM

https://github.com/ocaml/opam-repository/pull/15891
gitlab-ci 2020-02-06 23:18:34 UTC
docker start should be interactive to redirect output

Author: Thierry Martinez
Author Date: 2020-02-06 23:18:34 UTC

docker start should be interactive to redirect output
1 → 4 of 4 results First • Previous • Next • Last

Other repositories

Name Last Modified
lp:coccinelle 2022-07-16
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for Coccinelle.