aboutsummaryrefslogtreecommitdiff
path: root/compiler/verify.h
AgeCommit message (Expand)AuthorFilesLines
2020-07-14C backend: Don't output incomplete types. Fix detection in generic typesSamuel Lidén Borell1-0/+2
2020-07-03Verifier: Add type checks on equality/inequality operatorsSamuel Lidén Borell1-1/+7
2016-04-23C backend: Use typerefs and implement translation of incomplete generic typesSamuel Lidén Borell1-0/+11
2016-04-17Update more copyright yearsSamuel Lidén Borell1-1/+1
2016-03-16Verifier: Make lrl_vfy_expr() static and rename it accordinglySamuel Lidén Borell1-8/+0
2016-03-16Verifier: Remove display_typeSamuel Lidén Borell1-1/+1
2016-03-02Verifier: Disallow assignment operations in expressionsSamuel Lidén Borell1-1/+6
2016-02-28Update copyright years base on last modification dateSamuel Lidén Borell1-1/+1
2015-02-16Verifier: typeassert expressionsSamuel Lidén Borell1-1/+6
2014-07-29Verifier: Move type parameters into LRLTypeRefSamuel Lidén Borell1-14/+4
2014-07-27Update copyright yearsSamuel Lidén Borell1-1/+1
2014-05-23Verifier: Pointer target types must be equal, not just a subtypeSamuel Lidén Borell1-1/+2
2014-05-03Shorten many function and type namesSamuel Lidén Borell1-13/+13
2013-09-09Update copyright yearsSamuel Lidén Borell1-1/+1
2013-08-25Make internal functions static and correct lrl_ prefix usageSamuel Lidén Borell1-11/+0
2013-08-25Verifier: Add "typerefs". Make var/const togglable in typesSamuel Lidén Borell1-3/+5
2013-08-01Verifier: Rename function so they all begin with lrl_verify_Samuel Lidén Borell1-2/+2
2012-07-26Refactor the error reportingSamuel Lidén Borell1-1/+1
2012-07-20Verifier: Split the container parameter of lrl_verify_type()Samuel Lidén Borell1-1/+2
2012-07-08Verifier: Implement type parameters on typesSamuel Lidén Borell1-4/+11
2012-04-29Change my e-mailSamuel Lidén Borell1-1/+1
2012-04-28Verifier: Make find_real_type() non-staticSamuel Lidén Borell1-0/+2
2012-03-06Verifier: Check basic statementsSamuel Lidén Borell1-0/+4
2012-02-29Verifier: Basic type checking of variables in expressionsSamuel Lidén Borell1-1/+7
2012-02-25Verifier: Check unary operations in expressionsSamuel Lidén Borell1-0/+3
2012-01-30Verify identifiers in typedefsSamuel Lidén Borell1-0/+47
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-22 06:36:46 +0000