13 Commits

Author	SHA1	Message	Date
chriseth	31a5e5bfef	Do not overwrite files unless forced.	2017-03-10 19:23:43 +01:00
chriseth	8e29d636f7	Header cleanup.	2017-01-26 13:47:57 +01:00
chriseth	5789eaa78d	Metadata stamp.	2016-12-01 16:03:59 +01:00
VoR0220	3f9f725737	Fix licensing headers ... Signed-off-by: VoR0220 <rj@erisindustries.com>	2016-11-23 12:22:33 +01:00
chriseth	3150ab2bcf	Allow remappings to change depending on the context.	2016-06-08 18:16:46 +02:00
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