heptagon/compiler
Léonard Gérard 442f38b196 stronger heptc and clean_heptc
It may be symlinked.
Moreover, when heptc is called with java as first param, it will set the
right target and call javac right after
2011-11-21 03:26:13 +01:00
..
global Fix signature printing. 2011-11-18 12:32:37 +01:00
heptagon mapfold over var_ident. 2011-11-18 12:32:36 +01:00
main Correct scalarize and java load_conf 2011-11-18 12:32:37 +01:00
minils mapfold over var_ident. 2011-11-18 12:32:36 +01:00
obc fix scalarize 2011-11-20 22:37:00 +01:00
utilities Remove infusion from the default optima options. 2011-11-18 12:33:37 +01:00
.projectSettings stronger heptc and clean_heptc 2011-11-21 03:26:13 +01:00
_tags Added a build system for Heptagon 2011-10-20 18:06:41 +02:00
debugger_script_gen.sh New debugger script with a partial generator. 2011-11-18 12:33:37 +01:00
Makefile Added a build system for Heptagon 2011-10-20 18:06:41 +02:00
myocamlbuild.ml Fixed some bugs in the configure 2011-11-14 10:52:28 +01:00
myocamlbuild_config.ml Fixed some bugs in the configure 2011-11-14 10:52:28 +01:00
preproc.ml Added a build system for Heptagon 2011-10-20 18:06:41 +02:00
README_ocamlbuild_hepts.txt Graphical simulator hepts 2011-05-12 10:08:13 +02:00
TODO.txt C backend ported to recent API changes in Obc 2011-03-09 09:46:00 +01:00