/src/main_lustre_testgen.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / main_lustre_testgen.ml @ ef8a361a

History | View | Annotate | Download (5.75 KB)

#	Date	Author	Comment
1bff14ac	06/23/2017 06:13 PM	Pierre-Loïc Garoche	- Added a field lustre_eq to machine instruction in order to record the originating lustre equation - EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would render traceability difficult - Options.ml has been split into Options.ml / Options_management.ml. Options.ml only contains references and no functions
990210f3	05/16/2017 04:57 PM	Pierre-Loïc Garoche	Improved include folders behaviors: - allow multiple -I dir, will be used in order (first one declared is first used) - when declaring a global library #open <foo>, foo is first checked in local folders, than in global one (install path). This does not apply to local libraries opened with #open "foo".
2fdbc781	04/27/2017 10:42 PM	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ocamlc - compilation warnings removed
bde99c3f	04/06/2017 04:27 PM	Xavier Thirioux	This is the first merge that does compile. Not tested yet.
40d33d55	04/05/2017 04:53 PM	Xavier Thirioux	first version (doesn't even compile) of mutation and test generation standalone command: lustret mostly a recovery of an ancient svn repo: mutations