compiler

1717 Commits

2 Branches

17 Tags

66 MiB

Tag: Branch: Tree: ee69e75f4f

Commit Graph

Author	SHA1	Message	Date
韩天峰	86c56ad1bf	Remove use native_types, add use varint_types	1 month ago
韩天峰	d33073c021	feat(compiler): add ArrayDef compile-time array contract support - Implement ArrayDef attribute for compile-time array type contracts - Add support for list and map type definitions with key/value constraints - Create ArrayDefinition and ArrayDefWritePlan data structures - Integrate ArrayDef validation into assignment operations - Add documentation for ArrayDef usage and limitations - Support class value types, subclasses, and dynamic type checking - Enable static property array dimension assignments - Optimize literal assignments into variable declarations - Add comprehensive test cases for various ArrayDef scenarios	2 months ago

Author

SHA1

Message

Date

韩天峰

86c56ad1bf

Remove use native_types, add use varint_types

1 month ago

韩天峰

d33073c021

feat(compiler): add ArrayDef compile-time array contract support

- Implement ArrayDef attribute for compile-time array type contracts
- Add support for list and map type definitions with key/value constraints
- Create ArrayDefinition and ArrayDefWritePlan data structures
- Integrate ArrayDef validation into assignment operations
- Add documentation for ArrayDef usage and limitations
- Support class value types, subclasses, and dynamic type checking
- Enable static property array dimension assignments
- Optimize literal assignments into variable declarations
- Add comprehensive test cases for various ArrayDef scenarios

2 months ago

2 Commits (ee69e75f4f3b68572c81a2e25d6b111741212212)