Project

General

Profile

Download (1.4 KB) Statistics
| Branch: | Tag: | Revision:
1 589ccf9f Corentin Lauverjat
EXCLUDE_QUERY_DIR
2
B /home/corentin/.opam/default/lib/biniou
3
B /home/corentin/.opam/default/lib/dune-build-info
4
B /home/corentin/.opam/default/lib/easy-format
5
B /home/corentin/.opam/default/lib/mlmpfr
6
B /home/corentin/.opam/default/lib/num
7
B /home/corentin/.opam/default/lib/ocamlgraph
8
B /home/corentin/.opam/default/lib/yojson
9
B /home/corentin/.opam/default/lib/z3
10
B /home/corentin/.opam/default/lib/zarith
11
B /usr/lib/ocaml
12
B ../../_build/default/backends/.backends.objs/byte
13
B ../../_build/default/core/.lustrec.objs/byte
14
B ../../_build/default/plugins/mpfr/.lustrec_mpfr.objs/byte
15
B ../../_build/default/plugins/zustre/.zustre_for_lustrev.objs/byte
16
S /home/corentin/.opam/default/lib/biniou
17
S /home/corentin/.opam/default/lib/dune-build-info
18
S /home/corentin/.opam/default/lib/easy-format
19
S /home/corentin/.opam/default/lib/mlmpfr
20
S /home/corentin/.opam/default/lib/num
21
S /home/corentin/.opam/default/lib/ocamlgraph
22
S /home/corentin/.opam/default/lib/yojson
23
S /home/corentin/.opam/default/lib/z3
24
S /home/corentin/.opam/default/lib/zarith
25
S /usr/lib/ocaml
26
S ../../backends/Ada
27
S ../../backends/C
28
S ../../backends/EMF
29
S ../../backends/Horn
30
S ../../backends/VHDL
31
S ../../core
32
S ../../core/checks
33
S ../../core/features/machine_types
34
S ../../core/parsers
35
S ../../core/utils
36
S ../mpfr
37
S .
38
FLG -open Zustre_for_lustrev -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