Commit Graph
81 Commits
Author SHA1 Message Date
Alex Beregszaszi dda497ca02 Move constructor to AsmAnalyzer header 2017-05-26 20:39:10 +01:00
chriseth 261731f7ee Adapt EVM codegen to new namespace. 2017-05-26 15:08:27 +02:00
Alex Beregszaszi ba8a79c600 Do not stop on first switch error 2017-05-26 03:20:31 +01:00
Alex Beregszaszi 66eab1caf6 Change switch case string to Literal 2017-05-26 03:20:10 +01:00
Alex Beregszaszi b5080860d5 Implement switch statement in the assembly parser/printer 2017-05-26 03:16:09 +01:00
Alex Beregszaszi 74d41ad25f Fix scope assert in AsmAnalyzer 2017-05-24 11:58:49 +01:00
Alex Beregszaszi 187fa50751 Rename FunctionalAssignment to Assignment 2017-05-24 01:48:53 +01:00
Alex Beregszaszi f15d6ea45f Rename Assignment to StackAssignment 2017-05-24 01:07:07 +01:00
Alex Beregszaszi 3451a30e5c Display actual error message and not assertion in analysis 2017-05-22 18:45:34 +01:00
Alex Beregszaszi cb4966046d Enable a single right hand item on let 2017-05-22 18:45:34 +01:00
Alex Beregszaszi 15b4d4def2 Support multiple variables in a variable declaration in inline assembly 2017-05-22 18:45:34 +01:00
Alex Beregszaszi edd0afa3c3 Support true/false literals in inline assembly 2017-05-19 09:44:16 +01:00
Alex Beregszaszi d6396ee85f Parse types in Julia mode 2017-05-05 22:31:22 +01:00
chriseth f3ec2ba39e Refactor to combined scope and stack height info. 2017-04-26 17:12:04 +02:00
chriseth 68218387cf Store stack height in analysis phase. 2017-04-26 12:34:24 +02:00
chriseth 1d712c7d64 Fix storage access tests. 2017-04-25 16:49:04 +02:00
chriseth 5f4b68e211 Another stack check. 2017-04-25 16:49:04 +02:00
chriseth dfaab73efe Only allow access to local variables and only if they have a stack size of one. 2017-04-25 16:49:04 +02:00
chriseth f19e6a09a7 Check again that instruction argument count is correct. 2017-04-25 16:49:03 +02:00
chriseth 83bf34c571 Review comments and cleanup. 2017-04-25 16:49:03 +02:00
chriseth 580921b329 Perform stack height checks in assembly analysis phase. 2017-04-25 16:49:03 +02:00
chriseth c4a0826f40 Add some missing error locations. 2017-04-25 16:49:03 +02:00
chriseth c6fa78c73e Use actual type checking phase of assembler. 2017-04-25 16:49:03 +02:00
chriseth 5d6747eb32 Refactor assembly analysis into scope filling and checking. 2017-04-25 16:49:03 +02:00
chriseth 72fdf755c9 Register functions. 2017-04-25 16:49:03 +02:00
chriseth f8ce32f2a6 Fix error message. 2017-03-03 15:41:02 +01:00
chriseth 369005fc03 Remove stack annotations again. 2017-03-03 15:41:02 +01:00
chriseth 41236cd08c Slightly cleaner label ids. 2017-03-03 15:41:02 +01:00
chriseth e963405a19 Partially add functions. 2017-03-03 15:41:02 +01:00
chriseth 25dcfa3480 Refactor CodeGen to recurse on blocks. 2017-03-03 15:41:01 +01:00
chriseth 7f2def8971 Analysis refactoring. 2017-03-03 15:41:01 +01:00