Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 2, 2026

• ci: Bump actions/github-script from 7.0.1 to 8.0.0 (#5)

  Show description for a8fec41
  dependabot[bot]

  authored
  a8fec41

  Copy full SHA for a8fec41

• ci: Bump trufflesecurity/trufflehog from 3.92.5 to 3.94.1 (#6)

  Show description for 020af03
  dependabot[bot]

  authored
  020af03

  Copy full SHA for 020af03

• ci: Bump github/codeql-action from 4.31.10 to 4.35.1 (#7)

  Show description for 58cb350
  dependabot[bot]

  authored
  58cb350

  Copy full SHA for 58cb350

• ci: Bump dtolnay/rust-toolchain (#8)

  Show description for f4d92a7
  dependabot[bot]

  authored
  f4d92a7

  Copy full SHA for f4d92a7

• ci: Bump actions/checkout from 4.1.1 to 6.0.2 (#9)

  Show description for e4c3d9e
  dependabot[bot]

  authored
  e4c3d9e

  Copy full SHA for e4c3d9e

• Snapshot local work before sync

  hyperpolymath

  committed
  086b418

  Copy full SHA for 086b418

Commits on Mar 30, 2026

• Remove template-only ABI files that falsely implied formal verification

  Show description for 9d9a7a6
  

  hyperpolymath

  and

  claude

  committed
  9d9a7a6

  Copy full SHA for 9d9a7a6

• feat(lsp): implement Phase C — goto-definition, find-references, rename

  Show description for ce6ea33
  

  hyperpolymath

  and

  claude

  committed
  ce6ea33

  Copy full SHA for ce6ea33

• feat: LSP Phase C — find-references via use-site tracking

  Show description for 4aa4646
  

  hyperpolymath

  and

  claude

  committed
  4aa4646

  Copy full SHA for 4aa4646

• feat: implement QTT quantity checker and wire into type checker

  Show description for eaa9017
  

  hyperpolymath

  and

  claude

  committed
  eaa9017

  Copy full SHA for eaa9017

• feat: LSP Phase B — goto-def, hover types, find-references

  Show description for 5799a5a
  

  hyperpolymath

  and

  claude

  committed
  5799a5a

  Copy full SHA for 5799a5a

Commits on Mar 29, 2026

• chore: update STATE.a2ml — interpreter 95%, codegen 90%, overall 92%

  Show description for 0a2df94
  

  hyperpolymath

  and

  claude

  committed
  0a2df94

  Copy full SHA for 0a2df94

• feat(codegen): implement missing WASM codegen for expressions and patterns

  Show description for f240f82
  

  hyperpolymath

  and

  claude

  committed
  f240f82

  Copy full SHA for f240f82

• feat(interp): implement ExprTry, ExprHandle, ExprResume, ExprRowRestrict + 5 builtins

  Show description for 000fee4
  

  hyperpolymath

  and

  claude

  committed
  000fee4

  Copy full SHA for 000fee4

• feat(stdlib): implement compose/flip/pipe in Core.as, fix Display for Int

  Show description for 48fc603
  

  hyperpolymath

  and

  claude

  committed
  48fc603

  Copy full SHA for 48fc603

• chore: update STATE.a2ml to reflect actual project status

  Show description for 9c98905
  

  hyperpolymath

  and

  claude

  committed
  9c98905

  Copy full SHA for 9c98905

• chore: add LSP Cargo.lock for reproducible builds

  Show description for 96e9cc1
  

  hyperpolymath

  and

  claude

  committed
  96e9cc1

  Copy full SHA for 96e9cc1

• fix(lsp): resolve UTF-16 position bugs and improve diagnostic parsing

  Show description for 3e4bff8
  

  hyperpolymath

  and

  claude

  committed
  3e4bff8

  Copy full SHA for 3e4bff8

Commits on Mar 24, 2026

• feat(stdlib): implement 43 stub functions across string/math/io/testing

  Show description for 4670044
  

  hyperpolymath

  and

  claude

  committed
  4670044

  Copy full SHA for 4670044

• chore: OpenSSF workflows and compliance updates

  Show description for 8b77d4e
  

  hyperpolymath

  and

  claude

  committed
  8b77d4e

  Copy full SHA for 8b77d4e

Commits on Mar 23, 2026

• ci: Bump actions/setup-node from 4.0.2 to 6.3.0 (#1)

  Show description for f02354f
  dependabot[bot]

  authored
  f02354f

  Copy full SHA for f02354f

• ci: Bump dtolnay/rust-toolchain (#2)

  Show description for 7fdf44e
  dependabot[bot]

  authored
  7fdf44e

  Copy full SHA for 7fdf44e

• ci: Bump softprops/action-gh-release from 2.5.0 to 2.6.1 (#3)

  Show description for 8d9f908
  dependabot[bot]

  authored
  8d9f908

  Copy full SHA for 8d9f908

• ci: Bump actions/cache from 5.0.2 to 5.0.4 (#4)

  Show description for f5400c4
  dependabot[bot]

  authored
  f5400c4

  Copy full SHA for f5400c4

Commits on Mar 22, 2026

• fix: replace believe_me with prim__callbackToPtr FFI, batch RSR compliance

  Show description for 9e6ff08
  

  hyperpolymath

  and

  claude

  committed
  9e6ff08

  Copy full SHA for 9e6ff08

Commits on Mar 21, 2026

• docs: rebut false claims about missing language features

  Show description for 0720034
  

  hyperpolymath

  and

  claude

  committed
  0720034

  Copy full SHA for 0720034

• fix: align spec EBNF and tree-sitter grammar with implemented sum types

  Show description for 57fb6cf
  

  hyperpolymath

  and

  claude

  committed
  57fb6cf

  Copy full SHA for 57fb6cf

• chore: migrate SCM checkpoint files to A2ML format

  Show description for 0c86f3f
  

  hyperpolymath

  and

  claude

  committed
  0c86f3f

  Copy full SHA for 0c86f3f

• feat: AffineScript — affine type system programming language

  Show description for fe8ef7f
  

  hyperpolymath

  and

  claude

  committed
  fe8ef7f

  Copy full SHA for fe8ef7f