11 Commits

Author	SHA1	Message	Date
chriseth	b47d593252	Do not store elements of a contract by AST node type.	2015-11-26 15:37:55 +01:00
chriseth	e06768e8b5	Fix MSVC errors and warnings.	2015-11-26 14:47:28 +01:00
chriseth	20542d1623	Style.	2015-11-25 14:24:00 +01:00
chriseth	36ba7d11ca	Again some why3 fixes with regards to separators in blocks.	2015-11-25 14:24:00 +01:00
chriseth	10fe0a2434	Style.	2015-11-23 16:30:51 +01:00
chriseth	806507d5c0	addmod and mulmod for why3.	2015-11-23 00:58:17 +01:00
chriseth	82a6ab486d	Why3: Direct references to variables using #.	2015-11-23 00:58:17 +01:00
chriseth	12f19fa46b	Formal Verification: State variables.	2015-11-19 02:04:33 +01:00
chriseth	34829ae764	Fix problems with statement blocks.	2015-11-11 15:21:01 +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