8 Commits

Author	SHA1	Message	Date
Christian	2f64c56ef3	Create contracts.	2014-12-15 13:05:18 +01:00
Christian	b7d856ed5f	Changes in compiler to support variably sized stack elements.	2014-12-08 19:02:40 +01:00
Christian	cd5f495861	Register variably-sized variables on stack.	2014-12-08 16:56:41 +01:00
Christian	583a315d3d	Magic variables.	2014-11-23 21:28:45 +01:00
Christian	64a4d77c8b	State variables.	2014-11-07 20:02:57 +01:00
Christian	f0c73b7a54	Stylistic corrections.	2014-11-05 15:04:33 +01:00
Christian	c1f7a1665f	Converted all asserts to exceptions.	2014-11-05 15:01:24 +01:00
Christian	a5f3602738	Renamed file.	2014-10-30 21:21:25 +01:00