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
/
java
/
org
Age
Commit message (
Expand
)
Author
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
2026-07-31
Handle singleton structs in Rust
Michael Williamson
2026-07-31
Support singleton structs
Michael Williamson
2026-07-31
Inline variable
Michael Williamson
[next]