index
:
hobgoblin
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
main
Age
Commit message (
Expand
)
Author
7 days
Support generic structs in rust-types
Michael Williamson
7 days
Add type params to struct in Rust AST
Michael Williamson
7 days
Extract generateTypeArg()
Michael Williamson
7 days
Use wildcard when field type is type param
Michael Williamson
8 days
Support generic structs in java-precisely-matchers
Michael Williamson
8 days
Add wildcard as Java type arg
Michael Williamson
8 days
Make JavaTypeArg a sealed interface
Michael Williamson
11 days
Push enum variant selection into ArbitraryValueAnalysis
Michael Williamson
11 days
Fix creation of arbitrary constructed struct values
Michael Williamson
11 days
Add type args to static method calls in Java AST
Michael Williamson
11 days
Put import in custom area
Michael Williamson
11 days
Filter unused type params from arbitrary value function
Michael Williamson
11 days
Generate builders for generic structs
Michael Williamson
11 days
Add type parameters to Java method declarations
Michael Williamson
11 days
Add basic support for generic structs in java-transient-0
Michael Williamson
11 days
Add type parameters to record declaration in Java AST
Michael Williamson
11 days
Extract singleton generation methods
Michael Williamson
11 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
12 days
Add scope to TypeParam
Michael Williamson
12 days
Allow type constructor in TypedStructDefinitionNode
Michael Williamson
12 days
Parse type params for struct definition
Michael Williamson
12 days
Make type params on native type node optional
Michael Williamson
12 days
Introduce ConstructedStructType
Michael Williamson
12 days
Generate Encode and Decode types
Michael Williamson
12 days
Add visibility to type aliases in Rust AST
Michael Williamson
12 days
Add bounds to type params in Rust AST
Michael Williamson
12 days
Add params to type aliases in Rust AST
Michael Williamson
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
[next]