Commits

Branch selector

 v0.3.0

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 29, 2025

• 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

• Simplify AVM.Program implementation (#90)

  Show description for e0f83c3
  

  lukaszcz

  and

  Copilot

  authored
  e0f83c3

  Copy full SHA for e0f83c3

Commits on Sep 4, 2025

• Functions (#88)

  Show description for d7ab739
  

  lukaszcz

  and

  janmasrovira

  authored
  d7ab739

  Copy full SHA for d7ab739

• Refactor and simplify AVM.Program and surface program syntax (#87)

  Show description for 5708344
  lukaszcz

  authored
  5708344

  Copy full SHA for 5708344

• AVM Programs and Applib Program translation pipeline (#85)

  Show description for b90a2f3
  lukaszcz

  authored
  b90a2f3

  Copy full SHA for b90a2f3

Commits on Sep 3, 2025

• Update README for clarity on GOOSE structure (#86)

  Show description for 19f69d3
  lukaszcz

  authored
  19f69d3

  Copy full SHA for 19f69d3

Commits on Sep 2, 2025

• Syntax with binders for Applib Programs (#84)

  Show description for 0a66c52
  lukaszcz

  authored
  0a66c52

  Copy full SHA for 0a66c52

Commits on Aug 27, 2025

• Typed object references in Applib (#83)

  Show description for d6c18e8
  lukaszcz

  authored
  d6c18e8

  Copy full SHA for d6c18e8

• Surface Applib Programs (#82)

  Show description for b85db50
  lukaszcz

  authored
  b85db50

  Copy full SHA for b85db50

Commits on Aug 26, 2025

• Nested calls (#81)

  Show description for fb4674a
  

  lukaszcz

  and

  janmasrovira

  authored
  fb4674a

  Copy full SHA for fb4674a

• Tasks and messages (#78)

  Show description for cc73fe5
  lukaszcz

  authored
  cc73fe5

  Copy full SHA for cc73fe5

Commits on Aug 25, 2025

• Destructuring let with failure (#80)

  Show description for 13a70ba
  lukaszcz

  authored
  13a70ba

  Copy full SHA for 13a70ba

• Remove UUnit (#79)

  Show description for 40c8440
  lukaszcz

  authored
  40c8440

  Copy full SHA for 40c8440

Commits on Aug 8, 2025

• Anoma programs (#77)

  Show description for 3cd2e51
  

  lukaszcz

  and

  Copilot

  authored
  3cd2e51

  Copy full SHA for 3cd2e51

Commits on Aug 6, 2025

• Summary update for v0.2.1 (#75)

  Show description for 0322377
  lukaszcz

  authored
  0322377

  Copy full SHA for 0322377

Pagination

Previous

Next