Joe Hendrix 8ceada5555 feat(frontends/lean): support binary, octal and hex literals ... Scanner will interpret numeric literals prefixed with '0b', '0o', and '0x' as binary, octal, and hex decimal values respectively. The prefix character ('b', 'o', 'x') may be upper or lower case.		2016-10-19 10:13:24 -07:00
..
lean	feat(frontends/lean): support binary, octal and hex literals	2016-10-19 10:13:24 -07:00
smt2	refactor(*): structured message objects	2016-10-13 18:49:10 -07:00