Bellmaniac compiler

You need Z3 to run the compiler. Set smt.home to point to the solver installation directory.

The compiler is written in Scala:

./sbt update "runMain Floyd"

Slides are here.

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
impl		impl
presentation		presentation
results		results
.hgignore		.hgignore
AST.scala		AST.scala
CodeGen.scala		CodeGen.scala
Floyd.scala		Floyd.scala
Gap.scala		Gap.scala
IOUtil.scala		IOUtil.scala
Linear.scala		Linear.scala
Paren.scala		Paren.scala
README.md		README.md
SMT.scala		SMT.scala
floyd.py		floyd.py
gap.py		gap.py
paren.py		paren.py
sbt		sbt
sbt-launch.jar		sbt-launch.jar

kyessenov/bellmaniac