Commits

Branch selector

 v0.3.1

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2025

• GOOSE v0.3.1 (#137)

  Show description for e66a7cb
  

  lukaszcz

  and

  Copilot

  authored
  e66a7cb

  Copy full SHA for e66a7cb

Commits on Nov 5, 2025

• fix: Add check for recipients in the Message logic (#136)

  Show description for b0801c7
  

  3 peopleauthored
  b0801c7

  Copy full SHA for b0801c7

Commits on Nov 4, 2025

• Debug (#132)

  Show description for 7ea9317
  janmasrovira

  authored
  7ea9317

  Copy full SHA for 7ea9317

Commits on Oct 22, 2025

• fix: authorization (#130)

  Show description for e4a01b9
  

  lukaszcz

  and

  Copilot

  authored
  e4a01b9

  Copy full SHA for e4a01b9

• feat: Add runnable resource machine model (#126)

  Show description for 567f384
  

  3 peopleauthored
  567f384

  Copy full SHA for 567f384

Commits on Oct 17, 2025

• feat: move message logic to object RLs (#129)

  Show description for eda1a1f
  lukaszcz

  authored
  eda1a1f

  Copy full SHA for eda1a1f

• fix: check consistency of sub-objects (#128)

  Show description for f5d3d08
  lukaszcz

  authored
  f5d3d08

  Copy full SHA for f5d3d08

Commits on Oct 10, 2025

• fix: consistency of nested method calls (#127)

  Show description for 8dc5f2b
  lukaszcz

  authored
  8dc5f2b

  Copy full SHA for 8dc5f2b

Commits on Oct 7, 2025

• fix: Require authorization from the check owner (#125)

  Show description for bd3e7de
  janmasrovira

  authored
  bd3e7de

  Copy full SHA for bd3e7de

Commits on Oct 6, 2025

• docs: summary update - function invocation (#124)

  Show description for a2d581e
  lukaszcz

  authored
  a2d581e

  Copy full SHA for a2d581e

• feat: more examples (#122)

  Show description for e4673e6
  lukaszcz

  authored
  e4673e6

  Copy full SHA for e4673e6

Commits on Oct 2, 2025

• feat: Scopes (#118)

  Show description for 1b4e0a5
  

  janmasrovira

  and

  lukaszcz

  authored
  1b4e0a5

  Copy full SHA for 1b4e0a5

Commits on Sep 30, 2025

• fix: correct IDs in constructed objects in multi-methods (#123)

  Show description for 9940d2b
  lukaszcz

  authored
  9940d2b

  Copy full SHA for 9940d2b

Commits on Sep 29, 2025

• Minor refactor (#120)

  Show description for 4bb09c6
  lukaszcz

  authored
  4bb09c6

  Copy full SHA for 4bb09c6

• docs: summary for GOOSE v0.3.0 (#114)

  Show description for d73d4c3
  lukaszcz

  authored
  d73d4c3

  Copy full SHA for d73d4c3

Commits on Sep 26, 2025

• fix:Fix small bug in MultiMethod task (#119)

  Show description for 9ce714c
  janmasrovira

  authored
  9ce714c

  Copy full SHA for 9ce714c

Commits on Sep 24, 2025

• feat: Add simple authorization for class members (#109)

  Show description for 2d55117
  

  janmasrovira

  and

  lukaszcz

  authored
  2d55117

  Copy full SHA for 2d55117

• fix: include ephemeral object resources in recipients of multi-method messages (#117)

  Show description for 2dffcd9
  lukaszcz

  authored
  2dffcd9

  Copy full SHA for 2dffcd9

Commits on Sep 23, 2025

• refactor: Remove unused MultiMethodResult.destroyed field (#116)

  janmasrovira

  authored
  4df4d24

  Copy full SHA for 4df4d24

• refactor: object resource logics (#115)

  Show description for 1cd8063
  lukaszcz

  authored
  1cd8063

  Copy full SHA for 1cd8063

Commits on Sep 22, 2025

• feat: object upgrade (#107)

  Show description for 03cd53d
  lukaszcz

  authored
  03cd53d

  Copy full SHA for 03cd53d

Commits on Sep 19, 2025

• fix: remove arbitrary limits in the translation of multi-methods (#110)

  Show description for a9ebb43
  lukaszcz

  authored
  a9ebb43

  Copy full SHA for a9ebb43

• fix: Fix ecosystem logic (#113)

  Show description for 8ca62f5
  janmasrovira

  authored
  8ca62f5

  Copy full SHA for 8ca62f5

• MultiMethods (#93)

  Show description for 282ffbb
  

  janmasrovira

  and

  lukaszcz

  authored
  282ffbb

  Copy full SHA for 282ffbb

Commits on Sep 18, 2025

• fix: check for at least one message in object RL (#108)

  Show description for 5a0087d
  

  lukaszcz

  and

  Copilot

  authored
  5a0087d

  Copy full SHA for 5a0087d

Commits on Sep 16, 2025

• Fix resource logic functions (#101)

  Show description for ecb7af5
  lukaszcz

  authored
  ecb7af5

  Copy full SHA for ecb7af5

• fix: use createdObj.rand for the nonce of the dummy resource (#105)

  Show description for 1b2ccba
  lukaszcz

  authored
  1b2ccba

  Copy full SHA for 1b2ccba

Commits on Sep 9, 2025

• Remove TypedObjectId and AnObject (#100)

  Show description for 537f03a
  lukaszcz

  authored
  537f03a

  Copy full SHA for 537f03a

• CI: restrict push action to the main branch (#99)

  Show description for 81aed4b
  lukaszcz

  authored
  81aed4b

  Copy full SHA for 81aed4b

Commits on Sep 8, 2025

• Applib Programs: let and bang syntax (#98)

  Show description for bdc96f6
  lukaszcz

  authored
  bdc96f6

  Copy full SHA for bdc96f6

• Make Resource Logic references explicit (#97)

  Show description for b4b3eb7
  

  lukaszcz

  and

  Copilot

  authored
  b4b3eb7

  Copy full SHA for b4b3eb7

• Tracking object changes in programs (#95)

  Show description for a744bce
  lukaszcz

  authored
  a744bce

  Copy full SHA for a744bce

• Update Lean to 4.22 (#96)

  Show description for f5d960d
  

  janmasrovira

  and

  lukaszcz

  authored
  f5d960d

  Copy full SHA for f5d960d

Commits on Sep 6, 2025

• If-then-else and match syntax (#92)

  Show description for 811abc2
  lukaszcz

  authored
  811abc2

  Copy full SHA for 811abc2

• Remove nonce argument from Object.toResource (#94)

  Show description for 7c07486
  

  janmasrovira

  and

  lukaszcz

  authored
  7c07486

  Copy full SHA for 7c07486

Pagination

Previous

Next