Issues

Filters

Add filter

Options

#	Tracker	Status	Priority	Subject	Assignee	Updated
80	Bug	Closed	Normal	Import error: node Memory_2047_001 is already defined.	Pierre-Loïc Garoche	07/16/2019 07:43 PM
79	Bug	Closed	Normal	MCDC Conditions are repeated for variables with one atomic boolean condition	Pierre-Loïc Garoche	07/16/2019 07:46 PM
78	Bug	In Progress	Normal	Why generate MCDC conditions for constant flows?	Pierre-Loïc Garoche	07/16/2019 07:08 PM
77	Bug	Closed	Normal	lustrec-seal branch failed to compile a valid lustre file (compiled by master branch)	Pierre-Loïc Garoche	07/16/2019 07:40 PM
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
75	Bug	New	Normal	exception File "checks/algebraicLoop.ml", line 368, characters 16-22: Assertion failed		04/03/2019 03:58 AM
74	Bug	New	Normal	const is not supported inside contract	Pierre-Loïc Garoche	03/30/2019 03:34 AM
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
67	Bug	Closed	Normal	Lusi generation failed because of parser in unstable branch	Pierre-Loïc Garoche	07/13/2018 05:22 PM
64	Bug	Closed	Normal	Typing error		05/16/2018 04:32 PM
63	Feature	New	Normal	Skip normalization step in mutation generation if it possible	Pierre-Loïc Garoche	10/07/2020 09:13 AM

(26-36/36) Per page: 25, 50

Also available in: Atom CSV PDF

CristalCaveGem » LustreC