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

Age	Commit message (Collapse)	Author
11 hours	Add type params to Rust AST	Michael Williamson

19 hours	Replace TODO with IllegalArgumentException	Michael Williamson

20 hours	Handle generic structs in java-transient-0	Michael Williamson

20 hours	Fix: unboxed types used when generating arbitrary method call	Michael Williamson

8 days	Support generic structs in rust-types	Michael Williamson

8 days	Add type params to struct in Rust AST	Michael Williamson

8 days	Extract generateTypeArg()	Michael Williamson

8 days	Use wildcard when field type is type param	Michael Williamson

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

13 days	Introduce variables for type params	Michael Williamson

13 days	Type check generic struct definition	Michael Williamson

13 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

14 days	Support nested constructed native types in java-transient-0	Michael Williamson

14 days	Partially support generic native types in java-transient-0	Michael Williamson

14 days	Handle all simple types in one branch	Michael Williamson

14 days	Add notion of SimpleType	Michael Williamson

14 days	Extract notion of ConstructedType	Michael Williamson

14 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