Revision 15003796 - copy of trunk. With option -lustre and annotation linearization, will simplif... - LustreC

« Previous | Next »

Revision 15003796

ID	1500379676386ea0801d879cc7ce19920148b123
Parent	9b04601c
Child	3afa024a

Added by Pierre-Loïc Garoche about 5 years ago

copy of trunk. With option -lustre and annotation linearization, will simplify the lustre code

Files

added
modified
copied
renamed
deleted

View differences

src
- annotations.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- linearize.ml
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- normalization.ml (diff)
- scheduling.ml (diff)
- typing.ml (diff)