tree d210536a0feb3ffcef89fc14ec677b2b92490a82
parent 23dd5b13cbe802fa056299b0a5ed7cf1b6ee108a
author Knut Nesheim <knutin@gmail.com> 1389365605 +0100
committer Knut Nesheim <knutin@gmail.com> 1389365605 +0100

Moved tests into separate folder. Added PropEr test of encoding. Moved more logic into backends to allow for more optimizations.