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

Age	Commit message (Collapse)	Author
9 days	Support generic structs in java-precisely-matchers	Michael Williamson

9 days	Add wildcard as Java type arg	Michael Williamson

9 days	Make JavaTypeArg a sealed interface	Michael Williamson

12 days	Push enum variant selection into ArbitraryValueAnalysis	Michael Williamson

12 days	Fix creation of arbitrary constructed struct values	Michael Williamson

12 days	Add type args to static method calls in Java AST	Michael Williamson

12 days	Put import in custom area	Michael Williamson

12 days	Filter unused type params from arbitrary value function	Michael Williamson

12 days	Generate builders for generic structs	Michael Williamson

12 days	Add type parameters to Java method declarations	Michael Williamson

12 days	Add basic support for generic structs in java-transient-0	Michael Williamson

12 days	Add type parameters to record declaration in Java AST	Michael Williamson

12 days	Extract singleton generation methods	Michael Williamson

12 days	Prevent singleton struct from being generic	Michael Williamson

12 days	Introduce variables for type params	Michael Williamson

12 days	Type check generic struct definition	Michael Williamson

12 days	Add StructTypeConstructor	Michael Williamson

13 days	Add scope to TypeParam	Michael Williamson

13 days	Allow type constructor in TypedStructDefinitionNode	Michael Williamson

13 days	Parse type params for struct definition	Michael Williamson

13 days	Make type params on native type node optional	Michael Williamson

13 days	Introduce ConstructedStructType	Michael Williamson

13 days	Generate Encode and Decode types	Michael Williamson

13 days	Add visibility to type aliases in Rust AST	Michael Williamson

13 days	Add bounds to type params in Rust AST	Michael Williamson

13 days	Add params to type aliases in Rust AST	Michael Williamson

13 days	Add basic type aliases to Rust AST	Michael Williamson

13 days	Add function pointer types to Rust AST	Michael Williamson

13 days	Support generic native types in rust-transient-0	Michael Williamson

13 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

14 days	Add type parameters to Java interface declaration	Michael Williamson

14 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