13 Commits

Author	SHA1	Message	Date
chriseth	09e821619e	Refactor exceptions and provide comment function.	2017-07-13 11:34:03 +02:00
Alex Beregszaszi	c5947ae6e3	Remove Why3 error class	2017-06-30 22:30:43 +01:00
Alex Beregszaszi	d5f8ce90c7	Merge interface/Exceptions and interface/Utils	2017-06-22 11:25:07 +01:00
Alex Beregszaszi	3cd02ca148	Change error type names to not include spaces	2017-04-24 11:34:02 +01:00
Yoichi Hirai	a1e350a4ae	Merge pull request #1699 from ethereum/asmlabels ... Assembly labels with stack information	2017-03-08 11:56:44 +01:00
chriseth	960b5fa032	Error constructor.	2017-03-06 14:27:18 +01:00
chriseth	7f2def8971	Analysis refactoring.	2017-03-03 15:41:01 +01:00
chriseth	7a24a5764e	Add line info to serious exceptions.	2017-02-24 19:32:41 +01:00
VoR0220	3f9f725737	Fix licensing headers ... Signed-off-by: VoR0220 <rj@erisindustries.com>	2016-11-23 12:22:33 +01: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