Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 5, 2025

• Update to RISC0 v3.0.3 (#3431)

  lukaszcz

  authored
  0ea3422

  Copy full SHA for 0ea3422

Commits on Jun 6, 2025

• Isabelle/HOL translation: fix creation of polymorphic records (#3051)

  Show description for a54e209
  lukaszcz

  authored
  a54e209

  Copy full SHA for a54e209

• Isabelle/HOL translation: fix undefined identifiers due to `syntax alias` (#3050)

  Show description for 3dc1789
  lukaszcz

  authored
  3dc1789

  Copy full SHA for 3dc1789

Commits on Jun 5, 2025

• Improve readability of dependency directories (#3426)

  Show description for adbb52e
  janmasrovira

  authored
  adbb52e

  Copy full SHA for adbb52e

• Isabelle/HOL translation: fix nested pattern matching (#3049)

  Show description for bdd4c80
  lukaszcz

  authored
  bdd4c80

  Copy full SHA for bdd4c80

Commits on Jun 4, 2025

• Use numeric version and commit to compute build dir (#3424)

  Show description for 037865f
  janmasrovira

  authored
  037865f

  Copy full SHA for 037865f

Commits on Jun 3, 2025

• Isabelle/HOL translation: recursive translation of the whole project (#2977)

  Show description for ce9240d
  

  lukaszcz

  and

  paulcadman

  authored
  ce9240d

  Copy full SHA for ce9240d

Commits on Jun 2, 2025

• Update ghc to 9.12.2 (#3421)

  Show description for aada2c3
  janmasrovira

  authored
  aada2c3

  Copy full SHA for aada2c3

Commits on May 30, 2025

• Linear fixities (#3419)

  Show description for 30dc3fe
  janmasrovira

  authored
  30dc3fe

  Copy full SHA for 30dc3fe

• Indexed types and type level natural numbers (#3399)

  Show description for d252373
  

  janmasrovira

  and

  lukaszcz

  authored
  d252373

  Copy full SHA for d252373

Commits on May 26, 2025

• Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins (#3417)

  janmasrovira

  authored
  991fb0c

  Copy full SHA for 991fb0c

Commits on May 23, 2025

• Drop generated statements when pretty printing local modules (#3414)

  Show description for 6aa2291
  janmasrovira

  authored
  6aa2291

  Copy full SHA for 6aa2291

Commits on May 22, 2025

• Update Anoma version (#3415)

  Show description for be6f5f3
  lukaszcz

  authored
  be6f5f3

  Copy full SHA for be6f5f3

Commits on May 12, 2025

• Fixes for shielded transaction submission (#3409)

  Show description for 6acdc3a
  lukaszcz

  authored
  6acdc3a

  Copy full SHA for 6acdc3a

• Nock: flatten constructor representation (#3410)

  Show description for f46577d
  lukaszcz

  authored
  f46577d

  Copy full SHA for f46577d

Commits on May 9, 2025

• Update anoma (#3402)

  Show description for 65ac757
  janmasrovira

  authored
  65ac757

  Copy full SHA for 65ac757

• Anoma module submission support (#3404)

  Show description for ebf2ce3
  lukaszcz

  authored
  ebf2ce3

  Copy full SHA for ebf2ce3

Commits on May 6, 2025

• Update anoma to rc for v0.33 (#3408)

  Show description for 9692fe8
  janmasrovira

  authored
  9692fe8

  Copy full SHA for 9692fe8

Commits on May 5, 2025

• Fix `expected explicit argument` error message (#3397)

  Show description for 682a6fa
  janmasrovira

  authored
  682a6fa

  Copy full SHA for 682a6fa

Commits on Apr 26, 2025

• Additional Anoma compilation CLI options (#3403)

  Show description for 2c06142
  lukaszcz

  authored
  2c06142

  Copy full SHA for 2c06142

Commits on Apr 25, 2025

• Quote constants in Nock increment optimization (#3400)

  Show description for aa10739
  lukaszcz

  authored
  aa10739

  Copy full SHA for aa10739

Commits on Apr 24, 2025

• Improve Nock code generation (#3395)

  Show description for f390420
  lukaszcz

  authored
  f390420

  Copy full SHA for f390420

• Fix modular compilation with transitive imports (#3396)

  Show description for 075b7d1
  lukaszcz

  authored
  075b7d1

  Copy full SHA for 075b7d1

Commits on Apr 22, 2025

• Anoma HTTP JSON client communication (#3391)

  Show description for 8c3a912
  lukaszcz

  authored
  8c3a912

  Copy full SHA for 8c3a912

Commits on Apr 14, 2025

• Add the shielded prove-delta builtin (#3388)

  Show description for 6043efb
  lukaszcz

  authored
  6043efb

  Copy full SHA for 6043efb

Commits on Apr 10, 2025

• Add anoma-nullifier-key builtin (#3385)

  Show description for 3a9d1dc
  janmasrovira

  authored
  3a9d1dc

  Copy full SHA for 3a9d1dc

• Nockma reification (#3381)

  Show description for 0ba7c77
  janmasrovira

  authored
  0ba7c77

  Copy full SHA for 0ba7c77

Commits on Apr 9, 2025

• Update to RISC0 1.2.6 (#3389)

  Show description for fd8e595
  lukaszcz

  authored
  fd8e595

  Copy full SHA for fd8e595

Commits on Apr 8, 2025

• Improve efficiency of `Natural <-> ByteString` (#3386)

  Show description for 58af0e1
  janmasrovira

  authored
  58af0e1

  Copy full SHA for 58af0e1

• Precompute nock hashes (#3384)

  Show description for e3d182d
  lukaszcz

  authored
  e3d182d

  Copy full SHA for e3d182d

Commits on Apr 4, 2025

• Nock modularization (#3370)

  Show description for 933eb17
  lukaszcz

  authored
  933eb17

  Copy full SHA for 933eb17

Commits on Apr 3, 2025

• Noun-like type representation in Nockma (#3379)

  Show description for 1ccc4b1
  janmasrovira

  authored
  1ccc4b1

  Copy full SHA for 1ccc4b1

Commits on Apr 1, 2025

• Refactor classification of builtins in Core (#3380)

  Show description for df11265
  janmasrovira

  authored
  df11265

  Copy full SHA for df11265

Commits on Mar 31, 2025

• Fix compilation checks (#3377)

  Show description for ea54775
  lukaszcz

  authored
  ea54775

  Copy full SHA for ea54775

Commits on Mar 28, 2025

• Changes for RM v0.2 (#3356)

  Show description for e8f0faf
  janmasrovira

  authored
  e8f0faf

  Copy full SHA for e8f0faf

Pagination

Previous

Next