Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
doc
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

README.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<link href="../shared/style.css" rel="stylesheet" type="text/css" />
<title>Faerieplay Compiler</title>
</head>

<body>
<h1>Faerieplay Compiler</h1>

This is <code>sfdlc</code>, the Faerieplay compiler, which translates a high
level language into an arithmetic circuit extended with gates for accessing
indirect arrays.

<h2>Source Language Syntax Reference</h2>

The syntax reference documents are mentioned in the Texinfo manual, but here we
can provide direct links to them. They are generated with <a
href="http://www.cs.chalmers.se/Cs/Research/Language-technology/BNFC/">the BNF converter</a>:<br/>
<b>SFDL: </b><a href="Faerieplay/Bnfc/Sfdl/Doc.pdf">Doc.pdf</a><br/>
<b>FC++: </b><a href="Faerieplay/Bnfc/Fcpp/Doc.pdf">Doc.pdf</a>

<h2>Texinfo manual</h2>

The sfdlc documenation is maintained in texinfo form. It is available
in <a href="doc/sfdlc.html">html form</a> and as an info file:
<pre class="command">
$ cd sfdl-compiler
$ info -f doc/sfdlc.info
</pre>
(After the documentation has been <a href="INSTALL.html#build-docs">built</a>.)

<h2>Example programs</h2>

Several example SFDL programs are provided in <code>BASEDIR/sfdl/</code>.
<p>
The compiler has test programs in <code>BASEDIR/sfdl-compiler/tests/</code>.



<hr>
Subversion $Id: README.html 773 2008-03-30 12:56:38Z sasho $
</body> </html>

About

Compiler for the Faerie language of the Faerieplay project

Resources

License

Releases

No releases published

Packages

No packages published

Languages