Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-03-22 | Verifier: Forbid eint target type in left shift and compl operations | Samuel Lidén Borell | 1 | -0/+3 |
2014-07-13 | Builtins: Rename gf* types to wu* | Samuel Lidén Borell | 1 | -10/+10 |
2014-07-05 | Builtins: Add uint8 type, and make "byte" compatible with both int8/uint8 | Samuel Lidén Borell | 1 | -1/+2 |
2013-11-17 | Builtins: Replace "gf" type with "gfcount" | Samuel Lidén Borell | 1 | -1/+1 |
2013-04-13 | Builtins: Replace true/false values with proper enum values | Samuel Lidén Borell | 1 | -5/+5 |
2012-04-21 | Builtins: Add C-compatible types | Samuel Lidén Borell | 1 | -0/+24 |
2012-03-10 | Rename the test files to have _ instead of - in them | Samuel Lidén Borell | 1 | -0/+35 |