9 Commits

Author	SHA1	Message	Date
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