From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1751985AbcFKF64 (ORCPT <rfc822;w@1wt.eu>);
	Sat, 11 Jun 2016 01:58:56 -0400
Received: from sauhun.de ([89.238.76.85]:42471 "EHLO pokefinder.org"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751354AbcFKF6z (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Sat, 11 Jun 2016 01:58:55 -0400
Date: Sat, 11 Jun 2016 07:58:40 +0200
From: Wolfram Sang <wsa@the-dreams.de>
To: Julia Lawall <julia.lawall@lip6.fr>
Cc: "Luis R. Rodriguez" <mcgrof@kernel.org>, cocci@systeme.lip6.fr,
        mmarek@suse.com, linux-kernel@vger.kernel.org
Subject: Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options
Message-ID: <20160611055840.GB1824@katana>
References: <1465591332-31113-1-git-send-email-mcgrof@kernel.org>
 <1465591332-31113-5-git-send-email-mcgrof@kernel.org>
 <alpine.DEB.2.02.1606102301090.2070@localhost6.localdomain6>
 <20160610211820.GG11948@wotan.suse.de>
 <alpine.DEB.2.02.1606102319480.2070@localhost6.localdomain6>
 <20160610214357.GA1650@katana>
 <20160610214900.GH11948@wotan.suse.de>
 <20160610215126.GB1650@katana>
 <20160610220831.GI11948@wotan.suse.de>
 <alpine.DEB.2.02.1606110717540.2114@localhost6.localdomain6>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="O5XBE6gyVG5Rl6Rj"
Content-Disposition: inline
In-Reply-To: <alpine.DEB.2.02.1606110717540.2114@localhost6.localdomain6>
User-Agent: Mutt/1.5.24 (2015-08-30)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


--O5XBE6gyVG5Rl6Rj
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable


> It's not as efficient as glimpse because the query language is simpler. =
=20

Interesting, what is missing compared to glimpse?

> So more filtering has to be done at the ocaml level.  But it's probably=
=20
> fine in most cases.

For me, it has two advantages over glimpse:

a) it is in the debian package repository
b) the same database can be used with the code browser 'seascope'
   which can do nice things by feeding ctags on the fly with data
   from id-utils.

Mileages vary, of course, just wanted to mention it to give pointers.


--O5XBE6gyVG5Rl6Rj
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJXW6iQAAoJEBQN5MwUoCm2FpwP/2YKlN5Dy7Ppsu1bQmDL7gb8
TJXgiyKwe/EM/SoU1WT2xKy8gnD1E37dCECuLymZAJ0Xlj9zLx78MMeh5Hq3FK7n
HsoCzb1YEApz9AHphXnKQhgGvzNUlpN5iEw+csRI7a5m7UamWSZDeVXOBXeyNYS6
l/QJoSGDro3r/Ds9kCbT8oKzp1HXNKJZfx4RaWiVoMGQWUvr9zUSrfgC0pvOR/eH
8VyIgYZlxLFduhUpxQirefUaffOrRu0dkdqzJKVB63L7zENYDoKnkkhBzRvzUngS
QqIJwK2VzYE8DYd2LQNpRJZ8bfgw8O7h1HlOHEgh5N7wQ/X0MTYXZmfWUuSTEi6p
5PejPM46xh4VVF3wA2PhBk61WJDcHhonTDl6Qf4g3ro3G3K3bb7Q9BeeXoa3fuMk
2r4BkQo2RjDR+7km2Fnq9qLB10QDR6cOUwgl9TnGpAVX2Fi0agZsEYkhjZSWOCm8
JcMdq5h5/U6ZM5VB7Tzqj9/idbaJ//P+GqztNrSaLZ7QLGpVp1j+ffqoL4F3S5Fl
SHdKF17Yn91Y9ySZ6znQgT8LqdodCmxD1FhrfnS7L5VCdd+nwEsbEiWhPJwWysAD
MVsliJIq6/g8hM4YdzEj+7yKRlfA3bfEbWREupVcIbQkFVuoNcAXg8B6a5wcoh4c
9Q9k4QHhXXz1OeMRlbnv
=hSO0
-----END PGP SIGNATURE-----

--O5XBE6gyVG5Rl6Rj--