Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / _tags @ 1e48ef45

History | View | Annotate | Download (322 Bytes)

1
"src": include
2
"src/backends/C": include
3
"src/backends/Horn": include
4
<**/.svn>: -traverse
5
<**/.svn>: not_hygienic
6
"src/main_lustre_compiler.native": use_graph
7
"src/main_lustre_compiler.native": use_str
8
"src/main_lustre_compiler.native": use_unix
9
<src/*.ml{,i}>: use_graph
10
<src/*.ml{,i}>: use_str
11
<src/*.ml{,i}>: use_unix