index
:
hobgoblin.git
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
/
java
/
org
Age
Commit message (
Expand
)
Author
2026-08-10
Push enum variant selection into ArbitraryValueAnalysis
Michael Williamson
2026-08-10
Fix creation of arbitrary constructed struct values
Michael Williamson
2026-08-10
Add type args to static method calls in Java AST
Michael Williamson
2026-08-10
Put import in custom area
Michael Williamson
2026-08-10
Filter unused type params from arbitrary value function
Michael Williamson
2026-08-10
Generate builders for generic structs
Michael Williamson
2026-08-10
Add type parameters to Java method declarations
Michael Williamson
2026-08-10
Add basic support for generic structs in java-transient-0
Michael Williamson
2026-08-10
Add type parameters to record declaration in Java AST
Michael Williamson
2026-08-10
Extract singleton generation methods
Michael Williamson
2026-08-10
Prevent singleton struct from being generic
Michael Williamson
2026-08-09
Introduce variables for type params
Michael Williamson
2026-08-09
Type check generic struct definition
Michael Williamson
2026-08-09
Add StructTypeConstructor
Michael Williamson
2026-08-09
Add scope to TypeParam
Michael Williamson
2026-08-09
Allow type constructor in TypedStructDefinitionNode
Michael Williamson
2026-08-09
Parse type params for struct definition
Michael Williamson
2026-08-09
Make type params on native type node optional
Michael Williamson
2026-08-09
Introduce ConstructedStructType
Michael Williamson
2026-08-09
Generate Encode and Decode types
Michael Williamson
2026-08-09
Add visibility to type aliases in Rust AST
Michael Williamson
2026-08-09
Add bounds to type params in Rust AST
Michael Williamson
2026-08-09
Add params to type aliases in Rust AST
Michael Williamson
2026-08-09
Add basic type aliases to Rust AST
Michael Williamson
2026-08-09
Add function pointer types to Rust AST
Michael Williamson
2026-08-09
Support generic native types in rust-transient-0
Michael Williamson
2026-08-09
Use SimpleType in rust-transient-0
Michael Williamson
2026-08-08
Support nested constructed native types in java-transient-0
Michael Williamson
2026-08-08
Partially support generic native types in java-transient-0
Michael Williamson
2026-08-08
Handle all simple types in one branch
Michael Williamson
2026-08-08
Add notion of SimpleType
Michael Williamson
2026-08-08
Extract notion of ConstructedType
Michael Williamson
2026-08-08
Add lambda expression to Java AST
Michael Williamson
2026-08-08
Add type parameters to Java interface declaration
Michael Williamson
2026-08-08
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
[prev]
[next]