-
Erwan Jahier authored
Parent-Version: 1.19 Version-Log: source/store.ml: Fix a bug found by Bertrand where it was necessary to apply substitutions each time a constraint is added Maybe it is sometimes overkill, but it is safe, and performance does not seem to suffer that much. source/parse_luc.ml: Do not open the .luc file twice, and keep the whole file in a string to call the lustre expression parser. This was an attempt to make the debbuger work again with big .luc file, but it fails... The Stream lib really seems to suck AFA ocamldebug is concerned. Also shout when a wrong flag is used. source/lurette.ml: when an assertion is violated, put the corresponding vector in the .rif file. Project-Description: Lurette
b3d4d2c7