This page is moving to the open reproducibility platform codereef.ai/portal/c/soft/54e56ad7d4a05c0e.
soft:compiler.lift - Compiler Lift
Repo name: ck-lift
How to get: ck pull repo --url=https://github.com/lift-project/ck-lift
Auto detection: no
Environment var: CK_ENV_LIFT
Host OS: any
Target OS: any
Tags: compiler, lift
How to use ]  [ ReproIndex JSON meta ]  [ CK code ] [ CK meta ]