2 commits

Author	SHA1	Message	Date
Johann Dreo	9e93f52481	const parameter + intermediate reused variable	2010-12-22 18:29:30 +01:00
Johann Dreo	5697f6d699	evaluator that throw an exception if a maximum CPU user time has been reached, for POSIX systems	2010-12-16 15:50:26 +01:00