lean2/README.md
Leonardo de Moura eb4c352dfe Add links to gcc and clang
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-09-14 11:39:31 -07:00

1.6 KiB

Build Status Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3

Build Status Mac OS X 10.8.2, g++-4.9

Build Status Windows, x86_64-w64-mingw32-g++-4.8.1

[Result of Build/UnitTest/Coverage/Dynamic Analysis]

About

Requirements

Installing required packages at

Build Instructions

Miscellaneous