dwightguth/k — pull request #1 by dwightguth (2014-08-07 18:31:15+00:00)
Title: add attributes to terms so that we can specify the bit width of MInt var...

...iables

Builds off of #787. @radumereuta @andreistefanescu please review