Boris Novoselov

Build error

5

Hi, I'm trying to build clang-pure into my project and I get this: ``` clang-pure > /private/var/folders/gt/vldsywv513jgcg3vf4ynfyw40000gn/T/stack-3c9bb5133b4445a3/clang-pure-0.2.0.6/src/Language/C/Clang/Internal/Types.hs:25:1: error: clang-pure > Could not find module ‘Data.Singletons.TH’ clang-pure > Perhaps you meant...

export to smtlib

10

Hello, I am attempting to export a Verilog file to smtlib and am receiving errors or an empty file. Could someone clarify how complete the functionality is or what the...