aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2021-12-05The LRL project is abandonedHEADmasterSamuel Lidén Borell2-5/+3
2021-01-02minicg backend: Add ID and loader filename for aarch64Samuel Lidén Borell1-2/+10
2020-08-16C backend: Use POSIX __assert_fail for assertions and include function nameSamuel Lidén Borell1-7/+38
2020-08-16Add "char" typeSamuel Lidén Borell19-90/+123
2020-08-16Fix types and compilation warning on 32-bit ARM and x86Samuel Lidén Borell3-1/+25
2020-07-17Constexpr: Implement integer multiplicationSamuel Lidén Borell4-5/+169
2020-07-17C backend: Fix translation of complex enumsSamuel Lidén Borell3-3/+35
2020-07-17C backend: Add tests of runtime expressions. Fix anon and stmt typedef enumsSamuel Lidén Borell5-1/+472
2020-07-16Constexpr: Implement wrap-around for system-independent "wu*" typesSamuel Lidén Borell3-26/+156
2020-07-16Constexpr: Implement struct, array and enum comparison. Add test and fix bugsSamuel Lidén Borell3-9/+440
2020-07-14C backend: Don't output incomplete types. Fix detection in generic typesSamuel Lidén Borell5-11/+28
2020-07-13C backend: Fix translation of unbound type parameters inside arrays etc.Samuel Lidén Borell1-8/+6
2020-07-13Tests: Add missing return statements to testsSamuel Lidén Borell40-45/+49
2020-07-13C backend: Fix incorrect cast when extracting optional valueSamuel Lidén Borell1-1/+1
2020-07-13C backend: Fix translation of comparison of optional typesSamuel Lidén Borell2-34/+84
2020-07-13Verifier: Check for invalid type parameter referencesSamuel Lidén Borell4-1/+19
2020-07-13Makefile: Update dependencies on internal header filesSamuel Lidén Borell1-10/+10
2020-07-13Identifier: Allow type parameter references from typedef statementsSamuel Lidén Borell5-10/+51
2020-07-09Tests: Fix "useless expression" errors in testsSamuel Lidén Borell1-4/+4
2020-07-09Verifier: Check for useless expressionsSamuel Lidén Borell4-4/+59
2020-07-05Tests: Add missing "return 0" to runtime testsSamuel Lidén Borell2-0/+2
2020-07-05Add "with" to switch-case statement, to track which case was matchedSamuel Lidén Borell9-72/+324
2020-07-04Parser: Change precedence of makeopt operatorSamuel Lidén Borell2-16/+20
2020-07-04C backend: Correctly break out of loops from switch-case statementsSamuel Lidén Borell3-6/+86
2020-07-04Parser: Add check of break/continue statementSamuel Lidén Borell6-22/+83
2020-07-04C interop: Add __(u)int128_t. Fixes "unknown type" error in some headersSamuel Lidén Borell1-2/+4
2020-07-04C interop: Add conditional ?: operatorSamuel Lidén Borell2-16/+46
2020-07-04C interop: Allow qualifiers in []Samuel Lidén Borell1-1/+4
2020-07-04C interop: Don't define variables for enum type declarationsSamuel Lidén Borell1-1/+3
2020-07-04C interop: Fix references to enum values with implicit valuesSamuel Lidén Borell2-8/+23
2020-07-04Tests: Rename C header test, so it is run from make checkSamuel Lidén Borell1-0/+0
2020-07-03C interop: Add support for private/incomplete struct typedefsSamuel Lidén Borell5-3/+11
2020-07-03Tests: Run tests/interop/*.{good,bad} from make checkSamuel Lidén Borell3-1/+2
2020-07-03C interop: Update GCC/glibc's builtin functions/typesSamuel Lidén Borell2-6/+11
2020-07-03Tests: Extend the existing tests + fix locale bug in scriptSamuel Lidén Borell7-7/+26
2020-07-03Verifier: Add type checks on equality/inequality operatorsSamuel Lidén Borell5-3/+50
2020-07-03Verifier: Fix array index operation on multi-dimensional array literalsSamuel Lidén Borell5-3/+28
2020-07-01Verifier: Types of dereferenced pointers do not need to match exactlySamuel Lidén Borell3-8/+48
2020-07-01Verifier: Reduce the number of errors from malformed typeassertsSamuel Lidén Borell2-2/+2
2020-06-29Constexpr: Handle constexprs referencing other constexprs properlySamuel Lidén Borell12-26/+171
2020-06-28Constexpr: Add support for ? (optional value) operatorSamuel Lidén Borell1-2/+4
2020-06-28Context: Add support for tracking error sources. More usable error displaySamuel Lidén Borell4-16/+112
2020-06-27Fix possible case fall-through for floats. Make macro more robustSamuel Lidén Borell2-1/+3
2020-06-27Use enum values and const in some more placesSamuel Lidén Borell3-5/+7
2020-06-27Verifier: Allow multi-assignment with mixed destination typesSamuel Lidén Borell5-8/+51
2020-06-25Verifier: Add check that left assignment operands can be assigned toSamuel Lidén Borell3-0/+61
2020-06-25Parser: Hide loop variables in statements following the loopSamuel Lidén Borell2-2/+10
2020-06-25Notes: Add idea about typescope importSamuel Lidén Borell1-0/+7
2020-06-25Verifier: Improved array length comparisonSamuel Lidén Borell2-7/+32
2020-06-25Identifier: Disallow duplicate typedef using "here" identifierSamuel Lidén Borell4-3/+18