5 Commits

Author	SHA1	Message	Date
Rhett Aultman	58e75c7a48	Unimplemented features moved to their own exception (#1361) ... Unimplemented features moved to their own exception InternalCompilerError is an exception that really should be reserved for actual internal errors of the compiler. Unimplemented features can now use either solUnimplemented( ) or, if it should be conditional, then solUnimplementedAssert( ). * Revert some unimplemented exceptions, add handlers The jsonCompiler and CommandLineInterface needed handlers for the new UnimplementedFeatureException, and some cases I had moved on to the new exception were better treated as real internal compiler errors. * Standardize on "Unimplemented feature" message	2016-11-14 20:41:58 +00:00
Lu Guanqun	e130bc7e7c	check whether break/continue is in the loop	2016-01-15 15:12:23 +08:00
chriseth	56f5d58850	Rename error type.	2015-10-27 17:45:58 +01:00
chriseth	a957322fd7	Preliminary why3 code output.	2015-10-27 00:49:27 +01:00
chriseth	e3dffb611f	File reorganisation.	2015-10-21 00:46:01 +02:00