Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags @ bde99c3f

History | View | Annotate | Download (527 Bytes)

1 e8b6d5ca ploc
"backends/C": include
2
"backends/Horn": include
3 5fb5b031 Ploc
"plugins/scopes": include
4 e8b6d5ca ploc
<**/.svn>: -traverse
5
<**/.svn>: not_hygienic
6 dcafc99b Ploc
"main_lustre_compiler.native": package(ocamlgraph)
7 e8b6d5ca ploc
"main_lustre_compiler.native": use_str
8
"main_lustre_compiler.native": use_unix
9 a69af35f ploc
"main_lustre_compiler.native": use_nums
10 bde99c3f xavier.thirioux
"main_lustre_testgen.native": package(ocamlgraph)
11
"main_lustre_testgen.native": use_str
12
"main_lustre_testgen.native": use_unix
13
"main_lustre_testgen.native": use_nums
14 dcafc99b Ploc
<*.ml{,i}>: package(ocamlgraph)
15 e8b6d5ca ploc
<*.ml{,i}>: use_str
16
<*.ml{,i}>: use_unix