Issues

Filters

Add filter

Options

#	Tracker	Status	Priority	Subject	Assignee	Updated
63	Feature	New	Normal	Skip normalization step in mutation generation if it possible	Pierre-Loïc Garoche	01/24/2018 02:30 AM
62	Feature	New	Normal	specify main node in mutation generation	Pierre-Loïc Garoche	01/24/2018 01:09 AM
76	Bug	New	Normal	Import error: Load error: imported node real_to_int declared in a regular Lustre file. File "include/conv.lusi", line 1, characters 0-64:		04/03/2019 04:00 AM
74	Bug	New	Normal	const is not supported inside contract	Pierre-Loïc Garoche	03/30/2019 03:34 AM
75	Bug	New	Normal	exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion failed		04/03/2019 03:58 AM
88	Bug	New	Normal	kind2 output: When for node arguments	Pierre-Loïc Garoche	07/17/2019 08:00 PM
70	Bug	New	Urgent	Lustrec does not terminate	Pierre-Loïc Garoche	10/05/2018 10:00 PM
73	Bug	New	Urgent	properties ID is not set in Json in EMF backend	Pierre-Loïc Garoche	03/28/2019 08:19 PM
72	Bug	New	Normal	Simulinkd does not match Lustre using EMF backend when using nested Merge expression	Pierre-Loïc Garoche	03/22/2019 03:56 AM
78	Bug	In Progress	Normal	Why generate MCDC conditions for constant flows?	Pierre-Loïc Garoche	07/16/2019 07:08 PM

(1-10/10)

Also available in: Atom CSV PDF

CristalCaveGem » LustreC