8 Commits

Author	SHA1	Message	Date
chriseth	f049430723	Code generation (missing external access and source locations).	2016-03-30 02:37:00 +02:00
chriseth	949b00ed59	Parsing for inline assembly.	2016-03-30 02:37:00 +02:00
chriseth	0c5d892dba	Only allow including from allowed directories.	2016-01-29 23:11:16 +01:00
chriseth	db2f3c5714	Provide remappings for solc.	2016-01-25 21:01:55 +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
chriseth	70c0ed4129	Commandline interface for the linker.	2015-09-11 19:35:01 +02:00
chriseth	895a0a819f	Moved solc files.	2015-08-19 13:12:08 +02:00