id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
3963	state_machine<>::post_event is not protected	Arne Babnik <boost@…>	Andreas Huber	According to documentation, the member function state_machine<>::post_event() is protected to ensure that it's only called from within state reactions. However, in the actual code this function is declared public, which allows to call it from outside the state machine with unknown consequences.	Bugs	closed	Boost 1.43.0	statechart	Boost 1.42.0	Optimization	fixed		boost@…