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

Age	Commit message (Collapse)	Author
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

2026-07-31	Handle boxed variants in rust-transient-0	Michael Williamson

2026-07-31	Add Clone and Copy to generated Rust types	Michael Williamson

2026-07-31	Use Java byte for hobgoblin Int8	Michael Williamson

2026-07-31	Support circular imports	Michael Williamson

2026-07-31	Add TODO	Michael Williamson

2026-07-31	Add Int8 type	Michael Williamson

2026-07-31	Use class for singleton structs	Michael Williamson

2026-07-31	Make all Java classes final	Michael Williamson