What's Changed
- Anoma programs by @lukaszcz in #77
- Remove UUnit by @lukaszcz in #79
- Destructuring let with failure by @lukaszcz in #80
- Tasks and messages by @lukaszcz in #78
- Nested calls by @lukaszcz in #81
- Surface Applib Programs by @lukaszcz in #82
- Typed object references in Applib by @lukaszcz in #83
- Syntax with binders for Applib Programs by @lukaszcz in #84
- Update README for clarity on GOOSE structure by @lukaszcz in #86
- AVM Programs and Applib Program translation pipeline by @lukaszcz in #85
- Refactor and simplify AVM.Program and surface program syntax by @lukaszcz in #87
- Functions by @lukaszcz in #88
- Simplify AVM.Program implementation by @lukaszcz in #90
- Remove nonce argument from Object.toResource by @janmasrovira in #94
- If-then-else and match syntax by @lukaszcz in #92
- Update Lean to 4.22 by @janmasrovira in #96
- Tracking object changes in programs by @lukaszcz in #95
- Make Resource Logic references explicit by @lukaszcz in #97
- Applib Programs: let and bang syntax by @lukaszcz in #98
- CI: restrict push action to the main branch by @lukaszcz in #99
- Remove TypedObjectId and AnObject by @lukaszcz in #100
- fix: use createdObj.rand for the nonce of the dummy resource by @lukaszcz in #105
- Fix resource logic functions by @lukaszcz in #101
- fix: check for at least one message in object RL by @lukaszcz in #108
- MultiMethods by @janmasrovira in #93
- fix: Fix ecosystem logic by @janmasrovira in #113
- fix: remove arbitrary limits in the translation of multi-methods by @lukaszcz in #110
- feat: object upgrade by @lukaszcz in #107
- refactor: object resource logics by @lukaszcz in #115
- refactor: Remove unused MultiMethodResult.destroyed field by @janmasrovira in #116
- fix: include ephemeral object resources in recipients of multi-method messages by @lukaszcz in #117
- feat: Add simple authorization for class members by @janmasrovira in #109
- fix:Fix small bug in MultiMethod task by @janmasrovira in #119
- docs: summary for GOOSE v0.3.0 by @lukaszcz in #114
Full Changelog: v0.2.1...v0.3.0
Contributors
lukaszcz and janmasrovira