Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags @ 3d04f75e

History | View | Annotate | Download (300 Bytes)

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