Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 13, 2025

• Replace `mkAuxName` with `mkAuxDeclName`

  Show description for be37dab
  eneoli

  authored
  be37dab

  Copy full SHA for be37dab

Commits on May 21, 2025

• chore: rm leftover code from Lean v4.18.0 adaption

  tydeu

  committed
  bbb9416

  Copy full SHA for bbb9416

• chore: update to Lean v4.19.0

  tydeu

  committed
  04d6f34

  Copy full SHA for 04d6f34

Commits on May 20, 2025

• chore: update to Lean v4.18.0

  tydeu

  committed
  d01c24f

  Copy full SHA for d01c24f

• chore: update to Lean v4.17.0

  tydeu

  committed
  57c73ea

  Copy full SHA for 57c73ea

• chore: update to Lean v4.16.0

  tydeu

  committed
  ce768d7

  Copy full SHA for ce768d7

• chore: update to Lean v4.15.0

  tydeu

  committed
  79d91c4

  Copy full SHA for 79d91c4

• chore: update to Lean v4.14.0

  tydeu

  committed
  b809e2f

  Copy full SHA for b809e2f

Commits on Nov 27, 2024

• chore: update to Lean v4.13.0

  tydeu

  committed
  5fde48f

  Copy full SHA for 5fde48f

• ci: bump actions/upload-artifact

  tydeu

  committed
  0ff52a6

  Copy full SHA for 0ff52a6

Commits on Oct 25, 2024

• chore: update to Lean v4.12.0

  tydeu

  committed
  3c56f56

  Copy full SHA for 3c56f56

Commits on Jul 22, 2024

• test: modernize scripts

  tydeu

  committed
  a712058

  Copy full SHA for a712058

• test: add `ScalarStruct` compile test

  tydeu

  committed
  8a231d4

  Copy full SHA for 8a231d4

Commits on Jul 16, 2024

• chore: bump Lean v4.9.1

  tydeu

  committed
  7af65d3

  Copy full SHA for 7af65d3

Commits on Jun 19, 2024

• chore: bump Lean to v4.8.0

  tydeu

  committed
  d93e059

  Copy full SHA for d93e059

Commits on May 11, 2024

• feat: configurable optional semicolon

  tydeu

  committed
  8da8169

  Copy full SHA for 8da8169

Commits on May 7, 2024

• fix: `S` example segfault

  tydeu

  committed
  d2c496f

  Copy full SHA for d2c496f

Commits on May 5, 2024

• chore: update to Lean v4.8.0-rc1

  tydeu

  committed
  2c6dea2

  Copy full SHA for 2c6dea2

• chore: add `LabelStmt` type

  tydeu

  committed
  958172f

  Copy full SHA for 958172f

Commits on Mar 17, 2024

• refactor: store C LS in environment extension

  tydeu

  committed
  04e2bae

  Copy full SHA for 04e2bae

• chore: bump to Lean v4.6.0

  tydeu

  committed
  1a9c417

  Copy full SHA for 1a9c417

Commits on Mar 10, 2024

• refactor: move visibility/unsafe modifiers after `alloy c extern`

  tydeu

  committed
  6761a8c

  Copy full SHA for 6761a8c

Commits on Feb 15, 2024

• chore: update to Lean v4.6.0-rc1

  tydeu

  committed
  5ae885f

  Copy full SHA for 5ae885f

• chore: remove leftover `#check`s

  tydeu

  committed
  d364c8c

  Copy full SHA for d364c8c

Commits on Feb 11, 2024

• feat: some more TSyntax coercions

  tydeu

  committed
  1a57c81

  Copy full SHA for 1a57c81

• feat: proper decl spec antiquote splices

  tydeu

  committed
  15a95d6

  Copy full SHA for 15a95d6

Commits on Jan 20, 2024

• chore: cleanup C grammar

  Show description for be6c8c3
  tydeu

  committed
  be6c8c3

  Copy full SHA for be6c8c3

Commits on Jan 13, 2024

• feat: inline foreach/finalize fns for `)opaque_)extern_type`

  tydeu

  committed
  0a38fa2

  Copy full SHA for 0a38fa2

Commits on Jan 6, 2024

• test: server respecting `CPATH`/`C_INCLUDE_PATH`

  tydeu

  committed
  1821f2c

  Copy full SHA for 1821f2c

• feat: `addServerFlag(s)` cfg helper & other helper cleanup

  tydeu

  committed
  cd00aee

  Copy full SHA for cd00aee

Commits on Jan 4, 2024

• feat: include path extension helper & test

  tydeu

  committed
  c8f7954

  Copy full SHA for c8f7954

Commits on Jan 2, 2024

• doc: update README snippet to match example lakefile (#5)

  badly-drawn-wizards

  authored
  44828a8

  Copy full SHA for 44828a8

Commits on Dec 23, 2023

• feat: make terminating stmt/decl semicolon "optional"

  Show description for a1bb2fe
  tydeu

  committed
  a1bb2fe

  Copy full SHA for a1bb2fe

Commits on Dec 22, 2023

• feat: indent-based C blocks for `def`/`impl`

  tydeu

  committed
  5e1419c

  Copy full SHA for 5e1419c

Commits on Dec 21, 2023

• chore: cleanup some code in `ExternImpl`

  tydeu

  committed
  3e048d8

  Copy full SHA for 3e048d8

Pagination

Previous

Next