hobgoblin - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
12 days	Add basic type aliases to Rust AST	Michael Williamson
12 days	Add function pointer types to Rust AST	Michael Williamson
12 days	Support generic native types in rust-transient-0	Michael Williamson
12 days	Use SimpleType in rust-transient-0	Michael Williamson
13 days	Support nested constructed native types in java-transient-0	Michael Williamson
13 days	Partially support generic native types in java-transient-0	Michael Williamson
13 days	Handle all simple types in one branch	Michael Williamson
13 days	Add notion of SimpleType	Michael Williamson
13 days	Extract notion of ConstructedType	Michael Williamson
13 days	Add lambda expression to Java AST	Michael Williamson
13 days	Add type parameters to Java interface declaration	Michael Williamson
13 days	Centralise writing of generated files in java-transient-0	Michael Williamson
2026-08-05	Type check generic native types	Michael Williamson
2026-08-04	Parse type params for native types	Michael Williamson
2026-08-02	Check that receiver of type-level args is type constructor	Michael Williamson
2026-08-02	Introduce NativeTypeConstructor for greater safety	Michael Williamson
2026-08-02	Don't assume inner type of type constructor	Michael Williamson
2026-08-02	Check number of type-level args	Michael Williamson
2026-08-02	Check sum and variant are from the same namespace	Michael Williamson
2026-08-02	Check that sum variant is struct	Michael Williamson
2026-08-02	Use variant tag field rather than using index	Michael Williamson
2026-08-02	Don't panic on unrecognised sum variant tag	Michael Williamson
2026-08-02	Include type name in error message	Michael Williamson
2026-08-02	Don't panic on unrecognised enum variant tag	Michael Williamson
2026-08-02	Handle Box and Shared when determining constructibility	Michael Williamson
2026-08-02	Remove unused variable	Michael Williamson
2026-08-02	Use proper source for errors	Michael Williamson
2026-08-02	Store source for sum types	Michael Williamson
2026-08-02	Introduce SumTypeInfo	Michael Williamson
2026-08-02	Remove unused variables	Michael Williamson
2026-08-02	Generate proper errors when arbitrary value cannot be found	Michael Williamson
2026-08-02	Extract ArbitraryValueAnalysis	Michael Williamson
2026-08-02	Introduce SumVariant	Michael Williamson
2026-08-01	Explicitly check type of shared value	Michael Williamson
2026-08-01	Add switch expression to Java AST	Michael Williamson
2026-08-01	Check shared value ID is in range	Michael Williamson
2026-08-01	Extract generateAssertLessThanIntMax()	Michael Williamson
2026-08-01	Check length of list	Michael Williamson
2026-08-01	Document safety of generated Java casts in java-transient-0	Michael Williamson
2026-08-01	Check for long strings	Michael Williamson
2026-08-01	Add greater than to Java AST	Michael Williamson
2026-08-01	Remove old TODO	Michael Williamson
2026-08-01	Use Java class literal in java-precisely	Michael Williamson
2026-08-01	Add class literal to Java AST	Michael Williamson
2026-08-01	Require langs config	Michael Williamson
2026-08-01	Use Box type instead of box keyword	Michael Williamson
2026-08-01	Support Box in transient-0	Michael Williamson
2026-08-01	Add Box type	Michael Williamson
2026-08-01	Escape Rust strings	Michael Williamson
2026-08-01	Escape Java strings	Michael Williamson