SRI-CSL/llvm2smt

Add support for smt2 in hightlights

Closed this issue · 2 comments

Maybe they actually use:

https://github.com/github/linguist

is it not easy to find out from the documentation.

Hey we are now live on Github:

https://github.com/SRI-CSL/SMT.tmbundle.git