summaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2026-08-09Add bounds to type params in Rust ASTMichael Williamson
2026-08-09Add params to type aliases in Rust ASTMichael Williamson
2026-08-09Add basic type aliases to Rust ASTMichael Williamson
2026-08-09Add function pointer types to Rust ASTMichael Williamson
2026-08-09Support generic native types in rust-transient-0Michael Williamson
2026-08-09Use SimpleType in rust-transient-0Michael Williamson
2026-08-08Support nested constructed native types in java-transient-0Michael Williamson
2026-08-08Partially support generic native types in java-transient-0Michael Williamson
2026-08-08Handle all simple types in one branchMichael Williamson
2026-08-08Add notion of SimpleTypeMichael Williamson
2026-08-08Extract notion of ConstructedTypeMichael Williamson
2026-08-08Add lambda expression to Java ASTMichael Williamson
2026-08-08Add type parameters to Java interface declarationMichael Williamson
2026-08-08Centralise 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
2026-08-01Remove old TODOMichael Williamson
2026-08-01Use Java class literal in java-preciselyMichael Williamson
2026-08-01Add class literal to Java ASTMichael Williamson
2026-08-01Require langs configMichael Williamson
2026-08-01Use Box type instead of box keywordMichael Williamson
2026-08-01Support Box in transient-0Michael Williamson
2026-08-01Add Box typeMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-21 06:40:02 +0000