60 Commits

Author	SHA1	Message	Date
chriseth	17199edb4f	Set error flag to true.	2016-01-14 11:36:13 +01:00
chriseth	2364c55735	Detect library name clashes.	2016-01-14 11:36:13 +01:00
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	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