Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2024

• Add RPC call and dev command for Anoma.Protobuf.IndexerService.ListUnrevealedCommits (#3239)

  Show description for 8272ee3
  paulcadman

  authored
  8272ee3

Commits on Dec 6, 2024

• Fix printing of indented block comments (#3225)

  Show description for 936045f
  

  janmasrovira

  and

  lukaszcz

  authored
  936045f

• Fix highlighting of comments (#3226)

  Show description for 5029a56
  janmasrovira

  authored
  5029a56

• Add TopDef property for specs (#3223)

  Show description for 69c629b
  janmasrovira

  authored
  69c629b

• Fix basic block calls in the Reg -> CASM translation (#3238)

  Show description for d815855
  

  lukaszcz

  and

  janmasrovira

  authored
  d815855

• Debug tooling improvements for Reg and CASM (#3232)

  Show description for 363ce11
  lukaszcz

  authored
  363ce11

• Format Package.juvix when formatting project (#3219)

  Show description for 3e367aa
  janmasrovira

  authored
  3e367aa

• Update anoma ref to latest lukasz/juvix-integration-tracking (#3227)

  Show description for 4eb7509
  paulcadman

  authored
  4eb7509

• Append unique hash to the pre-release tag in the Package.juvix version (#3215)

  Show description for 3700386
  

  janmasrovira

  and

  lukaszcz

  authored
  3700386

Commits on Dec 5, 2024

• anoma start should start the consensus engine (#3229)

  Show description for bb8211b
  paulcadman

  authored
  bb8211b

• Fix RISC0 CI (#3233)

  lukaszcz

  authored
  1a76df9

Commits on Dec 4, 2024

• Remove @? (#3216)

  Show description for 021fc0c
  lukaszcz

  authored
  021fc0c

• Global option --no-check (#3224)

  Show description for 70cbdd0
  lukaszcz

  authored
  70cbdd0

• Inline non-recursive functions with only one call site (#3204)

  Show description for c79f5e3
  lukaszcz

  authored
  c79f5e3

Commits on Dec 3, 2024

• Merge Log effect into Logger effect (#3220)

  janmasrovira

  authored
  af9679d

• Hoisting of loop-invariant subexpressions (#3195)

  Show description for 7db7444
  lukaszcz

  authored
  7db7444

• Fix iterator formatting (#3212)

  Show description for e29026b
  lukaszcz

  authored
  e29026b

Commits on Dec 2, 2024

• Make juvix init non-interactive by default (#3206)

  Show description for 97c29fb
  lukaszcz

  authored
  97c29fb

• Fix Anoma in the CI (#3213)

  Show description for 618d1be
  lukaszcz

  authored
  618d1be

• Enable Anoma compilation resource machine builtin tests (#3208)

  Show description for 9210e39
  paulcadman

  authored
  9210e39

• Detect empty standard library directory (#3207)

  Show description for fcd59c9
  lukaszcz

  authored
  fcd59c9

Commits on Dec 1, 2024

• Fix disappearing judoc in syntax declarations (#3205)

  Show description for dc8d4b7
  lukaszcz

  authored
  dc8d4b7

• Make FunctionLhs a field of FunctionDef (#3202)

  janmasrovira

  authored
  5fea31e

• Fix aliases to non-recursive names (#3203)

  Show description for ad03334
  lukaszcz

  authored
  ad03334

Commits on Nov 29, 2024

• Add juvix dev anoma add-transaction command (#3193)

  paulcadman

  authored
  640d049

• Fix juvix clean --global (#3200)

  Show description for 923a019
  lukaszcz

  authored
  923a019

• Fix function clause printing (#3199)

  Show description for c81b885
  janmasrovira

  authored
  c81b885

• Allow punning in record updates (#3125)

  Show description for f343096
  janmasrovira

  authored
  f343096

• Formatter improvements (#3194)

  Show description for bf06cb1
  janmasrovira

  authored
  bf06cb1

Commits on Nov 28, 2024

• Add a new Anoma compile test mode 'AnomaTestModeNodeOnly' (#3196)

  Show description for cc263e7
  paulcadman

  authored
  cc263e7

• Deriving Ord (#3184)

  Show description for c64420e
  janmasrovira

  authored
  c64420e

Commits on Nov 26, 2024

• Improve generated code for derived instances (#3189)

  Show description for 63b52f9
  lukaszcz

  authored
  63b52f9

Commits on Nov 25, 2024

• Update Anoma client to testnet-v1 release (#3190)

  Show description for f916c0a
  paulcadman

  authored
  f916c0a

• Add juvix dev anoma prove (#3187)

  Show description for e14eba1
  

  paulcadman

  and

  janmasrovira

  authored
  e14eba1

• Allow pattern-matching in variable definitions (#3181)

  Show description for 3c74c37
  

  lukaszcz

  and

  janmasrovira

  authored
  3c74c37

Pagination

PreviousNext