Alive2

Translation validation for LLVM

Declared in: projects/Alive2/default.nix

Demo

Implement missing demo

Options

programs.alive2
programs.alive2.enable

Whether to enable alive2.

Type:
boolean
Default:
false
Declared in:
projects/Alive2/module.nix
programs.alive2.package

The alive2 package to use.

Type:
package
Default:
pkgs.alive2
Declared in:
projects/Alive2/module.nix

Examples

basic 
{ ... }:
{
  programs.alive2.enable = true;
}

Declared in: projects/Alive2/example.nix

Metadata

This project is funded by NLnet through these subgrants:

Core
Alive2

Related links: