aboutsummaryrefslogtreecommitdiff
path: root/Sil/Check.icl
AgeCommit message (Collapse)AuthorFilesLines
2017-07-28Add globals on A-stackCamil Staps1-0/+9
2017-07-27Resolve #4: mandatory initial values for basic localsCamil Staps1-1/+2
2017-07-21A codeblock ending with a machine statement can be considered sure to returnCamil Staps1-0/+1
2017-07-20Fix: main can have any result, but no argumentsCamil Staps1-2/+2
2017-07-20Check the type of the main function (should be Void)Camil Staps1-6/+21
2017-07-20Type checkingCamil Staps1-0/+1
2017-07-20Add checks for locals with type VoidCamil Staps1-4/+12
2017-07-19Add checks: no main, duplicate function, duplicate localCamil Staps1-19/+60
2017-07-19Fix testing codeCamil Staps1-1/+1
2017-07-19Add NoReturnFromNonVoidErrorCamil Staps1-5/+16
2017-07-19Add AST checksCamil Staps1-0/+49