dreal/tai — pull request #7 by pondering (2014-05-29 00:57:42+00:00)
Title: feat(cil2smt): add integer support.

1. Add `Int` Variant to Basic.ml
2. Transform Cil int to Basic.Int.