alive2

alive2 21.0 · pkgs/by-name/al/alive2/package.nix

Sign in to subscribe

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

21.0 no newer release in its git tags

Channels

master 21.0 · nixos-unstable 21.0 · nixos-26.05 21.0 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Automatic verification of LLVM optimizations

Homepage

https://github.com/AliveToolkit/alive2

License

Platforms

79 platforms: Linux, Darwin

Main program

alive

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/al/alive2/package.nix:70

Maintainers

Sh0g0-1758, eljamm, ethancedwards8, phanirithvij, Prince213

Teams

NGI (eljamm, ethancedwards8, phanirithvij, prince213)

Version bumps 0all open bumps

None open.

Pull requests 1

treewide: use hash instead of sha256 attrbute for sri hashes draft

#389461 by afh · opened 19mo ago · checks pass

Closed or merged in the synced window 1

alive2: add alive-tv binary

#522902 by ryanfanchiotti · merged 4mo ago

Issues 0

None open.