2 Commits

Author	SHA1	Message	Date
Daniel Micay	210e059750	clearly define int and uint to fix unsoundness ... This fixes the gap in the language definition causing #18726 by defining a clear bound on the maximum size for libraries to enforce. Closes #18069	2014-11-19 05:17:56 -05:00
Ariel Ben-Yehuda	61ab2ea08a	response for review comments	2014-10-15 20:09:09 +03:00