Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / .merlin @ 3769b712

History | View | Annotate | Download (3.54 KB)

1
EXCLUDE_QUERY_DIR
2
B /home/corentin/.opam/default/lib/apron
3
B /home/corentin/.opam/default/lib/base
4
B /home/corentin/.opam/default/lib/base/base_internalhash_types
5
B /home/corentin/.opam/default/lib/base/caml
6
B /home/corentin/.opam/default/lib/base/shadow_stdlib
7
B /home/corentin/.opam/default/lib/biniou
8
B /home/corentin/.opam/default/lib/dune-build-info
9
B /home/corentin/.opam/default/lib/easy-format
10
B /home/corentin/.opam/default/lib/gmp
11
B /home/corentin/.opam/default/lib/jane-street-headers
12
B /home/corentin/.opam/default/lib/mlmpfr
13
B /home/corentin/.opam/default/lib/num
14
B /home/corentin/.opam/default/lib/ocamlgraph
15
B /home/corentin/.opam/default/lib/ppx_compare/runtime-lib
16
B /home/corentin/.opam/default/lib/ppx_enumerate/runtime-lib
17
B /home/corentin/.opam/default/lib/ppx_hash/runtime-lib
18
B /home/corentin/.opam/default/lib/ppx_inline_test/config
19
B /home/corentin/.opam/default/lib/ppx_inline_test/runtime-lib
20
B /home/corentin/.opam/default/lib/ppx_sexp_conv/runtime-lib
21
B /home/corentin/.opam/default/lib/sexplib0
22
B /home/corentin/.opam/default/lib/time_now
23
B /home/corentin/.opam/default/lib/tiny
24
B /home/corentin/.opam/default/lib/yojson
25
B /home/corentin/.opam/default/lib/z3
26
B /home/corentin/.opam/default/lib/zarith
27
B /usr/lib/ocaml
28
B ../_build/default/backends/.backends.objs/byte
29
B ../_build/default/core/.lustrec.objs/byte
30
B ../_build/default/plugins/mpfr/.lustrec_mpfr.objs/byte
31
B ../_build/default/plugins/scopes/.scopes.objs/byte
32
B ../_build/default/plugins/tiny/.tiny_for_lustrev.objs/byte
33
B ../_build/default/plugins/zustre/.zustre_for_lustrev.objs/byte
34
B ../_build/default/src/.main_lustre_compiler.eobjs/byte
35
S /home/corentin/.opam/default/lib/apron
36
S /home/corentin/.opam/default/lib/base
37
S /home/corentin/.opam/default/lib/base/base_internalhash_types
38
S /home/corentin/.opam/default/lib/base/caml
39
S /home/corentin/.opam/default/lib/base/shadow_stdlib
40
S /home/corentin/.opam/default/lib/biniou
41
S /home/corentin/.opam/default/lib/dune-build-info
42
S /home/corentin/.opam/default/lib/easy-format
43
S /home/corentin/.opam/default/lib/gmp
44
S /home/corentin/.opam/default/lib/jane-street-headers
45
S /home/corentin/.opam/default/lib/mlmpfr
46
S /home/corentin/.opam/default/lib/num
47
S /home/corentin/.opam/default/lib/ocamlgraph
48
S /home/corentin/.opam/default/lib/ppx_compare/runtime-lib
49
S /home/corentin/.opam/default/lib/ppx_enumerate/runtime-lib
50
S /home/corentin/.opam/default/lib/ppx_hash/runtime-lib
51
S /home/corentin/.opam/default/lib/ppx_inline_test/config
52
S /home/corentin/.opam/default/lib/ppx_inline_test/runtime-lib
53
S /home/corentin/.opam/default/lib/ppx_sexp_conv/runtime-lib
54
S /home/corentin/.opam/default/lib/sexplib0
55
S /home/corentin/.opam/default/lib/time_now
56
S /home/corentin/.opam/default/lib/tiny
57
S /home/corentin/.opam/default/lib/yojson
58
S /home/corentin/.opam/default/lib/z3
59
S /home/corentin/.opam/default/lib/zarith
60
S /usr/lib/ocaml
61
S ../backends/Ada
62
S ../backends/C
63
S ../backends/EMF
64
S ../backends/Horn
65
S ../backends/VHDL
66
S ../core
67
S ../core/checks
68
S ../core/features/machine_types
69
S ../core/parsers
70
S ../core/utils
71
S ../plugins/mpfr
72
S ../plugins/scopes
73
S ../plugins/tiny
74
S ../plugins/zustre
75
S .
76
S backends
77
S backends/C
78
S tools
79
S tools/importer
80
S tools/stateflow
81
S tools/stateflow/common
82
S tools/stateflow/json-parser
83
S tools/stateflow/models
84
S tools/stateflow/semantics
85
FLG -ppx '/home/corentin/n7/2A/stage/lustrec-seal/_build/default/.ppx/bfcab61e6a21ecf6d2f80029fc1ef484/ppx.exe --as-ppx --cookie '\''inline_tests="enabled"'\'''
86
FLG -open Dune__exe -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 -w -warn-error