source: Deliverables/D2.2/8051-matita-out/_tags @ 2584

Last change on this file since 2584 was 486, checked in by ayache, 10 years ago

Deliverable D2.2
File size: 411 bytes
Line 
1<src/*>: use_unix, pkg_menhirLib, use_str, use_cparser, use_nums
2<src/clight/*>: use_unix, pkg_menhirLib, use_str, use_cparser
3
4<src>: include
5<src/utilities>: include
6<src/common>: include
7<src/RTL>: include
8<src/ERTL>: include
9<src/LTL>: include
10<src/LIN>: include
11<src/ASM>: include
12<src/clight>: include
13<src/cminor>: include
14<src/RTLabs>: include
15<src/RTL>: include
16
17<*>: use_unix, use_menhir, use_cparser
Note: See TracBrowser for help on using the repository browser.