update barvinok for conversion to isl code generator
treefd5c205045710c590ab6f487629159aadcbf3a90
-rw-r--r-- 517 .gitignore
-rw-r--r-- 269 .gitmodules
-rw-r--r-- 1952 INSTALL
-rw-r--r-- 8033 Makefile.am
-rw-r--r-- 518 README
-rw-r--r-- 199 README.eqv
-rw-r--r-- 6622 adg.cc
-rw-r--r-- 6932 adg2dot.cc
-rw-r--r-- 288 adg2dot_options.c
-rw-r--r-- 208 adg2dot_options.h
-rw-r--r-- 781 adg_cmp.cc
-rw-r--r-- 236 adg_cmp_options.c
-rw-r--r-- 202 adg_cmp_options.h
-rw-r--r-- 23647 adg_parse.cc
-rw-r--r-- 62 adg_parse.h
-rw-r--r-- 19949 adg_print.cc
-rw-r--r-- 26041 adg_xml.cc
-rw-r--r-- 63 adg_xml.h
-rwxr-xr-x 333 autogen.sh
m--------- - barvinok
-rw-r--r-- 10026 build.cc
-rw-r--r-- 121 build.h
-rw-r--r-- 14764 c2pdg.cc
-rw-r--r-- 358 c2pdg_options.c
-rw-r--r-- 265 c2pdg_options.h
-rwxr-xr-x 488 c2pdg_suif.in
-rw-r--r-- 1504 channel_summary.cc
-rw-r--r-- 10929 check_channel_sizes.cc
m--------- - cloog
-rw-r--r-- 9418 condition_tree.cc
-rw-r--r-- 3437 condition_tree.h
-rw-r--r-- 10348 configure.in
-rw-r--r-- 3894 convert.cc
-rw-r--r-- 208 convert.h
-rw-r--r-- 111428 da.cc
-rw-r--r-- 315 da.h
-rw-r--r-- 931 da_options.c
-rw-r--r-- 405 da_options.h
-rw-r--r-- 4738 damain.cc
-rw-r--r-- 34301 dependence_graph.cc
-rw-r--r-- 2619 dependence_graph.h
-rw-r--r-- 7196 dependence_graph_relation.cc
-rw-r--r-- 670 dependence_graph_relation_options.c
-rw-r--r-- 290 dependence_graph_relation_options.h
-rw-r--r-- 51437 domain.cc
-rw-r--r-- 7126 domain.h
-rw-r--r-- 8356 dump.cc
-rw-r--r-- 877 dump.h
-rw-r--r-- 2659 dump_dependences.cc
-rw-r--r-- 3674 dump_model.cc
-rw-r--r-- 537 dump_schedules.cc
-rw-r--r-- 1151 dump_sizes.cc
-rw-r--r-- 40985 eqv.cc
-rw-r--r-- 17742 eqv2.cc
-rw-r--r-- 666 eqv2_options.c
-rw-r--r-- 414 eqv2_options.h
-rw-r--r-- 32814 eqv3.cc
-rw-r--r-- 667 eqv3_options.c
-rw-r--r-- 357 eqv3_options.h
-rw-r--r-- 4335 eqv_cmp.c
-rw-r--r-- 986 eqv_options.c
-rw-r--r-- 446 eqv_options.h
-rw-r--r-- 4198 for_normalize.cc
-rw-r--r-- 94 for_normalize.h
-rwxr-xr-x 146 get_submodules.sh
drwxr-xr-x - include
m--------- - isl
-rw-r--r-- 4165 isl_util.c
-rw-r--r-- 302 isl_util.h
drwxr-xr-x - m4
-rw-r--r-- 5497 main.cc
-rw-r--r-- 8325 mem.cc
-rw-r--r-- 12049 mem_bound.cc
-rw-r--r-- 330 mem_options.c
-rw-r--r-- 241 mem_options.h
-rw-r--r-- 2853 msa.cc
-rw-r--r-- 775 msa.h
-rw-r--r-- 24135 pdg.cc
m--------- - pet
-rw-r--r-- 50892 pn.cc
-rw-r--r-- 63638 pn2adg.cc
-rw-r--r-- 416 pn2adg_options.c
-rw-r--r-- 245 pn2adg_options.h
-rw-r--r-- 1721 pn2dot.cc
-rw-r--r-- 912 pn_options.c
-rw-r--r-- 364 pn_options.h
-rw-r--r-- 5850 size.cc
-rw-r--r-- 1069 size.h
-rw-r--r-- 523 size_bernstein.cc
-rw-r--r-- 171 size_bernstein.h
-rw-r--r-- 421 size_options.c
-rw-r--r-- 280 size_options.h
-rw-r--r-- 4040 size_simulate.cc
-rw-r--r-- 119 size_simulate.h
-rw-r--r-- 2559 sloog.cc
-rw-r--r-- 4490 srel.cc
-rw-r--r-- 1218 srel.h
-rw-r--r-- 151 strndup.c
-rw-r--r-- 221 suif_inc.h
drwxr-xr-x - tests
-rw-r--r-- 2671 testyaml.cc
-rw-r--r-- 351 translate.cc
-rw-r--r-- 25335 translation.cc
-rw-r--r-- 185 translation.h
-rw-r--r-- 100 version.c
-rw-r--r-- 108 version.h
-rw-r--r-- 11525 xml_AST.cc
-rw-r--r-- 123 xml_AST.h
-rw-r--r-- 10778 yaml.cc
-rw-r--r-- 4378 yll.c