alive2 21.0 maintained
Automatic verification of LLVM optimizations
- Name
alive2-21.0- Package set
- top-level
- Homepage
- https://github.com/AliveToolkit/alive2
- License
- MIT
- Main program
alive- Source
- pkgs/by-name/al/alive2/package.nix:70
- Derivation
/nix/store/pk3657gdh0ps9kj0kxnmx7myym633ljh-alive2-21.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 5
| Handle | Name | Contact | Via |
|---|---|---|---|
| Sh0g0-1758 | Shourya Goel | GitHub · shouryagoel10000@gmail.com | listed on package |
| eljamm | Fedi Jamoussi | GitHub · fedi.jamoussi@protonmail.ch | team NGI |
| ethancedwards8 | Ethan Carter Edwards | GitHub · ethan@ethancedwards.com · @ethancedwards8:matrix.org | team NGI |
| phanirithvij | Phani Rithvij | GitHub · phanirithvij2000@gmail.com · @phanirithvij:matrix.org | team NGI |
| Prince213 | Sizhe Zhao | GitHub · prc.zhao@outlook.com · @prince213:matrix.org | team NGI |
Teams 1
- NGI: Maintain NGI-supported software.
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| hiredis 1.4.1 | buildInputs | 31 | team-only | |
| llvm 21.1.8 | buildInputs | 31,300 | team-only | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| ninja 1.13.2 | nativeBuildInputs | 68,114 | maintained | |
| re2c 4.5.1 | nativeBuildInputs | 68,479 | single outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| clangStdenv 26.05pre-git | other input | 1,663 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.