Home

Supported Platforms

λ² relies on the OCaml Package Manager (OPAM), which currently supports Linux and OS X.

Building and Running λ²

Install OPAM by following instructions here.

Install dependencies:

opam install oasis menhir core core_extended yojson hashcons ctypes ctypes-foreign ounit

Clone the development repository.

git clone https://github.com/jfeser/L2.git
cd L2

Build λ²:

./configure
make

By default, building λ² generates three executables: l2.native, tests.native, and timeout_{osx,linux}.native.

• l2.native is the main synthesis tool. Run ./l2.native -h for usage information.
• tests.native runs the test suite.
• timeout_{osx,linux}.native is a utility for running a command under time/memory limits.