Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / .merlin @ 3769b712

History | View | Annotate | Download (920 Bytes)

1
EXCLUDE_QUERY_DIR
2
B /home/corentin/.opam/default/lib/dune-build-info
3
B /home/corentin/.opam/default/lib/mlmpfr
4
B /home/corentin/.opam/default/lib/num
5
B /home/corentin/.opam/default/lib/ocamlgraph
6
B /home/corentin/.opam/default/lib/zarith
7
B /usr/lib/ocaml
8
B ../_build/default/backends/.backends.objs/byte
9
B ../_build/default/core/.lustrec.objs/byte
10
B ../_build/default/plugins/mpfr/.lustrec_mpfr.objs/byte
11
S /home/corentin/.opam/default/lib/dune-build-info
12
S /home/corentin/.opam/default/lib/mlmpfr
13
S /home/corentin/.opam/default/lib/num
14
S /home/corentin/.opam/default/lib/ocamlgraph
15
S /home/corentin/.opam/default/lib/zarith
16
S /usr/lib/ocaml
17
S .
18
S Ada
19
S C
20
S EMF
21
S Horn
22
S Java
23
S VHDL
24
S ../core
25
S ../core/checks
26
S ../core/features/machine_types
27
S ../core/parsers
28
S ../core/utils
29
S ../plugins/mpfr
30
FLG -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A