Revision f6fa97f9 - clean handling of undefined node application - LustreC

« Previous | Next »

Revision f6fa97f9

ID	f6fa97f93b6775c828d688737fc393bb8cb6c2aa
Parent	5b5625e1
Child	839ca600, fa7dd986, 59294251

Added by Xavier Thirioux about 6 years ago

clean handling of undefined node application

Files

added
modified
copied
renamed
deleted

View differences

Makefile (diff)
_tags (diff)
configure (diff)
myocamlbuild.ml (diff)
setup.ml (diff)
src
- basic_library.ml (diff)
- main_lustre_compiler.ml (diff)
- types.ml (diff)
- typing.ml (diff)