Skip to content
This repository has been archived by the owner on Dec 20, 2017. It is now read-only.

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
brunoborges committed Nov 16, 2016
1 parent ea0b2e1 commit 936f702
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@

# Soufflé

[![Build Status](https://travis-ci.org/oracle/souffle.svg?branch=master)](https://travis-ci.org/oracle/souffle)

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

## Features of Soufflé
Expand Down

0 comments on commit 936f702

Please sign in to comment.