libyulc v0.0.2

C-callable build of the verified Yul -> EVM compiler
(yulc_compile: Yul source in, EVM bytecode out — see yulc.h).

The tarball contains:

• libyulc.so — link with -L <dir> -lyulc; the bundled
  libleanshared.so/libLake_shared.so are found through its
  $ORIGIN rpath, so keep the files together;
• libyulc.a — static archive for executable links
  (-lyulc -lpthread -ldl -lrt -lm);
• yulc.h — the public header.

x86_64 Linux, built from da686b0 with the Lean toolchain
pinned in lean-toolchain.

libyulc v0.0.1

C-callable build of the verified Yul -> EVM compiler
(yulc_compile: Yul source in, EVM bytecode out — see yulc.h).

The tarball contains:

• libyulc.so — link with -L <dir> -lyulc; the bundled
  libleanshared.so/libLake_shared.so are found through its
  $ORIGIN rpath, so keep the files together;
• libyulc.a — static archive for executable links
  (-lyulc -lpthread -ldl -lrt -lm);
• yulc.h — the public header.

x86_64 Linux, built from d74afaa with the Lean toolchain
pinned in lean-toolchain.