v0.3.0

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

v0.2.1

What's Changed

• Kudos with 1-to-1 swap by @lukaszcz in #71
• Remove the NullifierKeyCommitment from the AVM layer by @janmasrovira in #70
• Add surface layer for defining intents by @janmasrovira in #73
• Auction example by @janmasrovira in #74
• Summary update for v0.2.1 by @lukaszcz in #75

Full Changelog: v0.2.0...v0.2.1

v0.2.0

What's Changed

• Add members to signature by @janmasrovira in #9
• Move Method/ConstructorId to Signature by @janmasrovira in #15
• Add ISC license by @lukaszcz in #18
• Refactor Class.Label by @lukaszcz in #16
• Rename Goose to AVM by @lukaszcz in #19
• Ease traits for Args types to be inferred by @janmasrovira in #17
• Monadic notation for boolean checks by @janmasrovira in #20
• Add quantity checks by @lukaszcz in #22
• Rename extraLogic and created in Applib by @lukaszcz in #23
• Add types related to nullification by @janmasrovira in #24
• Refactor types related to App Data by @lukaszcz in #21
• Add dynamic label by @janmasrovira in #27
• Add OwnedCounter app by @janmasrovira in #25
• Add check for nullifierKeyCommitment by @janmasrovira in #28
• Intents by @lukaszcz in #3
• Check consumed resources on intent creation by @lukaszcz in #33
• Set the NullifierKey properly in Intent.action and Method.action. Add NullifierKeyProof by @janmasrovira in #31
• Destructors by @janmasrovira in #30
• Refactor TypeRep instances for parameterised types by @lukaszcz in #34
• Add noIntents, noMethods, noDestructors to Applib by @janmasrovira in #35
• Check the invariant first in generated logic function by @janmasrovira in #38
• Remove public fields by @janmasrovira in #42
• Compliance units by @lukaszcz in #43
• Use the label field to store Intent.ResourceData by @lukaszcz in #44
• Computation of nonces by @lukaszcz in #36
• Computation of delta proofs in transactions by @lukaszcz in #46
• Ecosystem of classes by @janmasrovira in #45
• Add deriving handler for the FinEnum class by @janmasrovira in #57
• Intent labels by @lukaszcz in #55
• let try syntax for handling optional values by @lukaszcz in #56
• Fix computation of nonces by @lukaszcz in #58
• Make nullifierKeyCommitment in Object not optional by @lukaszcz in #60
• Dummy Resource refactor by @lukaszcz in #61
• Allow functions to destroy objects by @janmasrovira in #62
• Simplify FinEnum derive by @janmasrovira in #63
• Fix nonce and rcv computation by @lukaszcz in #59
• Remove field Ecosystem.Label.classId by @janmasrovira in #64
• A kudos app by @janmasrovira in #29
• Fix member logics by @lukaszcz in #68
• Allow functions to construct new objects and specify which selves are destroyed/consumed by @janmasrovira in #65
• Remove BoolCheck by @lukaszcz in #69
• GOOSE v0.2.0 Summary by @lukaszcz in #53

Full Changelog: v0.1.0...v0.2.0

v0.1.0

What's Changed

• First GOOSE prototype by @lukaszcz in #1
• Parameterize objects, classes and members by the signature by @janmasrovira in #4
• Set relaxedAutoImplicit to false by @janmasrovira in #7
• Add Applib and improve UniversalCounter by @janmasrovira in #8
• Add comments about compilation extensions by @lukaszcz in #11
• Type representation and casting by @lukaszcz in #5

New Contributors

• @lukaszcz made their first contribution in #1

Full Changelog: https://github.com/anoma/goose-lean/commits/v0.1.0