Project

General

Profile

Download (1.04 KB) Statistics
| Branch: | Tag: | Revision:
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
B ../../_build/default/plugins/scopes/.scopes.objs/byte
12
S /home/corentin/.opam/default/lib/dune-build-info
13
S /home/corentin/.opam/default/lib/mlmpfr
14
S /home/corentin/.opam/default/lib/num
15
S /home/corentin/.opam/default/lib/ocamlgraph
16
S /home/corentin/.opam/default/lib/zarith
17
S /usr/lib/ocaml
18
S ../../backends/Ada
19
S ../../backends/C
20
S ../../backends/EMF
21
S ../../backends/Horn
22
S ../../backends/VHDL
23
S ../../core
24
S ../../core/checks
25
S ../../core/features/machine_types
26
S ../../core/parsers
27
S ../../core/utils
28
S ../mpfr
29
S .
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
(1-1/3)