id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6137	Remove unit checking from the backend	Francesco Casella	Per Östlund	"The unit checking feature was first implemented as a backend module. It was later decided that it was best to apply it before any symbolic manipulation takes place, to make sure that no relevant information is lost, so the functionality was ported to the old frontend, and then ported from there to the new frontend.

The old frontend is going to be discontinued soon, so that is no big deal. Since the old backend is still going to stick around for some time, it would be best to get rid of it there.

@lochel, could you please remove the {{{unitChecking}}} {{{--preOptModules}}} compiler option right away, so this is fixed already for 1.16.0? This should take no time. I'm not sure how much effort it is to remove a module which is no longer used without breaking the compiler, if you could also do it, that would be great."	defect	closed	high	1.16.0	Backend		fixed	unit checking	Lennart Ochel Karim Adbdelhak