summary refs log tree commit diff
path: root/source/mod_student/typechecker.ml
AgeCommit message (Expand)AuthorFilesLines
2018-11-25Fix topdown strategy for addPaweł Dybiec1-2/+2
2018-11-25Various improvements for arraysPaweł Dybiec1-12/+22
2018-11-25LvaluesPaweł Dybiec1-3/+14
2018-11-25MultiVarDeclPaweł Dybiec1-3/+19
2018-11-25Better rules for arraysPaweł Dybiec1-3/+16
2018-11-25Types for function callsPaweł Dybiec1-8/+36
2018-11-25Add return and block supportPaweł Dybiec1-2/+31
2018-11-24Type checking for global definitions and basic types and operandsPaweł Dybiec1-17/+70
2018-11-24Upgrade basePaweł Dybiec1-0/+231