summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
12 daysAdd scope to TypeParamMichael Williamson
12 daysAllow type constructor in TypedStructDefinitionNodeMichael Williamson
12 daysParse type params for struct definitionMichael Williamson
12 daysMake type params on native type node optionalMichael Williamson
12 daysIntroduce ConstructedStructTypeMichael Williamson
12 daysGenerate Encode and Decode typesMichael Williamson
12 daysAdd visibility to type aliases in Rust ASTMichael Williamson
12 daysAdd bounds to type params in Rust ASTMichael Williamson
12 daysAdd params to type aliases in Rust ASTMichael Williamson
12 daysAdd basic type aliases to Rust ASTMichael Williamson
12 daysAdd function pointer types to Rust ASTMichael Williamson
12 daysSupport generic native types in rust-transient-0Michael Williamson
12 daysUse SimpleType in rust-transient-0Michael Williamson
13 daysSupport nested constructed native types in java-transient-0Michael Williamson
13 daysPartially support generic native types in java-transient-0Michael Williamson
13 daysHandle all simple types in one branchMichael Williamson
13 daysAdd notion of SimpleTypeMichael Williamson
13 daysExtract notion of ConstructedTypeMichael Williamson
13 daysAdd lambda expression to Java ASTMichael Williamson
13 daysAdd type parameters to Java interface declarationMichael Williamson
13 daysCentralise writing of generated files in java-transient-0Michael Williamson
2026-08-05Type check generic native typesMichael Williamson
2026-08-04Parse type params for native typesMichael Williamson
2026-08-02Check that receiver of type-level args is type constructorMichael Williamson
2026-08-02Introduce NativeTypeConstructor for greater safetyMichael Williamson
2026-08-02Don't assume inner type of type constructorMichael Williamson
2026-08-02Check number of type-level argsMichael Williamson
2026-08-02Check sum and variant are from the same namespaceMichael Williamson
2026-08-02Check that sum variant is structMichael Williamson
2026-08-02Use variant tag field rather than using indexMichael Williamson
2026-08-02Don't panic on unrecognised sum variant tagMichael Williamson
2026-08-02Include type name in error messageMichael Williamson
2026-08-02Don't panic on unrecognised enum variant tagMichael Williamson
2026-08-02Handle Box and Shared when determining constructibilityMichael Williamson
2026-08-02Remove unused variableMichael Williamson
2026-08-02Use proper source for errorsMichael Williamson
2026-08-02Store source for sum typesMichael Williamson
2026-08-02Introduce SumTypeInfoMichael Williamson
2026-08-02Remove unused variablesMichael Williamson
2026-08-02Generate proper errors when arbitrary value cannot be foundMichael Williamson
2026-08-02Extract ArbitraryValueAnalysisMichael Williamson
2026-08-02Introduce SumVariantMichael Williamson
2026-08-01Explicitly check type of shared valueMichael Williamson
2026-08-01Add switch expression to Java ASTMichael Williamson
2026-08-01Check shared value ID is in rangeMichael Williamson
2026-08-01Extract generateAssertLessThanIntMax()Michael Williamson
2026-08-01Check length of listMichael Williamson
2026-08-01Document safety of generated Java casts in java-transient-0Michael Williamson
2026-08-01Check for long stringsMichael Williamson
2026-08-01Add greater than to Java ASTMichael Williamson