/src/error.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / error.ml @ 264a4844

History | View | Annotate | Download (1.58 KB)

#			Date	Author	Comment
264a4844			07/20/2017 10:20 PM	Pierre-Loïc Garoche	First working version of algebraic loop resolution. Disabled by default.
9094307a			07/18/2017 12:04 AM	Pierre-Loïc Garoche	Working on algebraic loop diagnostic and resolution