- Jan 30, 2008
-
-
Erwan Jahier authored
src/lxm.ml: src/global: (new file) Add the lustre file name in error messages. src/compiledData.ml: Better Data structure dumping (string_of_type_eff,string_of_const_eff), and more dumping (LazyCompiler.check_const_interface). src/lazyCompiler.ml: Fix a bug that prevented enum constants to be exported. Indeed, in LazyCompiler.const_check_interface_do, only extern constants (Extern_const_eff) were accepted in the provided part, whereas enum contants (Enum_const_eff) should also be accepted. Force constants interface checking in LazyCompiler.test. src/test/Makefile: src/test/onlyroll.lus: src/test/heater_control.lus: src/test/pfs.lus: Some more test files.
-
Erwan Jahier authored
Try to split this 400 lines (!) function. + Factorize some duplicated code.
-
- Jan 28, 2008
-
-
Erwan Jahier authored
-
- Dec 21, 2007
-
-
Erwan Jahier authored
-
- Dec 18, 2007
-
-
Erwan Jahier authored
-
- Dec 17, 2007
-
-
Erwan Jahier authored
-
Erwan Jahier authored
ParserUtils.flat_flaged_list -> ParserUtils.flat_flagged_list
-
- Dec 14, 2007
-
-
Erwan Jahier authored
-
Erwan Jahier authored
Ident.t is now an abstract data type (instead of a string). fullid is turned into an Ident.long, and is also made abstract.
-
- Dec 05, 2007
-
-
Erwan Jahier authored
-
Erwan Jahier authored
Add basic regression tests. Add "assert false" statements everywhere it was necessary. Add the fby operator in the syntax.
-
- Nov 15, 2007
-
-
Erwan Jahier authored
Add support for the fby predefined operator
-
Erwan Jahier authored
new file: src/.compile.ml modified: src/TAGS modified: src/main.ml modified: src/syntaxe.ml Changed but not updated: (use "git add/rm <file>..." to update what will be committed) deleted: src/doc/html/EvalConst.html deleted: src/doc/html/EvalType.html deleted: src/doc/html/ExpandPack.html deleted: src/doc/html/LazyCompiler.html deleted: src/doc/html/Lxm.html deleted: src/doc/html/SrcTab.html deleted: src/doc/html/SymbolTab.html deleted: src/doc/html/Verbose.html deleted: src/doc/html/index.html deleted: src/doc/html/index_attributes.html deleted: src/doc/html/index_class_types.html deleted: src/doc/html/index_classes.html deleted: src/doc/html/index_exceptions.html deleted: src/doc/html/index_methods.html deleted: src/doc/html/index_module_types.html deleted: src/doc/html/index_modules.html deleted: src/doc/html/index_types.html deleted: src/doc/html/index_values.html deleted: src/doc/html/style.css deleted: src/doc/html/type_EvalConst.html deleted: src/doc/html/type_EvalType.html deleted: src/doc/html/type_ExpandPack.html deleted: src/doc/html/type_LazyCompiler.html deleted: src/doc/html/type_Lxm.html deleted: src/doc/html/type_SrcTab.html deleted: src/doc/html/type_SymbolTab.html deleted: src/doc/html/type_Verbose.html deleted: src/lpp.prj deleted: src/md5.ml deleted: src/ocamldoc.out deleted: src/parser.output deleted: src/t.ml deleted: src/v.ml deleted: src/xx.ml
-
- Oct 19, 2007
-
-
Erwan Jahier authored
-