Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2023

• fix: disabling forwarding --target to lean.

  Show description for 4964600
  

  bollu

  authored and

  Kha

  committed
  4964600

• feat: Linux LLVM CI for stage1+

  

  hargoniX

  authored and

  Kha

  committed
  8d3af73

• feat: enable LLVM in stage1+ compiler

  

  bollu

  authored and

  Kha

  committed
  146296b

Commits on Jul 26, 2023

• chore: remove unused macOS dependencies

  Kha

  committed
  5347708

• fix: loading libc++ on macOS Sonoma

  Kha

  committed
  978a5b2

Commits on Nov 21, 2022

• feat: add LLVM C API bindings (leanprover#1497)

  Show description for 4d47c8a
  

  3 peopleauthored
  4d47c8a

Commits on Oct 14, 2022

• Bump up to LLVM 15 (leanprover#1691)

  bollu

  authored
  e3f064e

Commits on May 2, 2022

• fix: properly distinguish between internal and public linker flags

  Kha

  committed
  c755aa8

Commits on Mar 26, 2022

• chore: fix USE_GMP=OFF by removing GMP linking customization

  Kha

  committed
  4a9bc88

• feat: CI: build darwin_aarch64

  Kha

  committed
  7ce5b0c

Commits on Jan 20, 2022

• fix: rework header/lib handling with bundled clang

  Show description for ccf1292
  Kha

  committed
  ccf1292

Commits on Dec 19, 2021

• fix: leanc: do not change sysroot

  Show description for 068ea1b
  Kha

  committed
  068ea1b

Commits on Nov 25, 2021

• feat: bundle llvm-ar with Lean

  Kha

  committed
  8f88b1f

Commits on Nov 20, 2021

• chore: macOS: build with system c++

  Kha

  committed
  ad10495

Commits on Nov 18, 2021

• fix: restore macOS compile flags

  Kha

  committed
  99aee53

• chore: final cleanup?

  Kha

  committed
  74a616a

• feat: bundle LLVM on macOS

  Kha

  committed
  ad2fe8d

Loading