111 Commits

Author	SHA1	Message	Date
chriseth	287f0a2ddf	Autoload files in solc.	2016-01-12 01:05:05 +01:00
chriseth	603dc58040	Simple aliasing during import.	2015-12-18 12:46:56 +01:00
chriseth	d3c459b5a9	Parse complex import directives.	2015-12-18 12:46:54 +01:00
chriseth	f8228e8ab1	Relative paths in import directives.	2015-12-09 19:21:02 +01:00
chriseth	7cb7818cea	Source units are independent scopes.	2015-12-09 19:09:24 +01:00
chriseth	86495dfc57	Make members context-sensitive.	2015-11-26 15:37:55 +01:00
chriseth	907cf28f49	Fix: Cope with non-existing commit hash.	2015-11-02 18:03:04 +01: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	b4f561680a	Store docstrings in AST annotations.	2015-10-26 15:24:36 +01:00
chriseth	e3dffb611f	File reorganisation.	2015-10-21 00:46:01 +02:00