Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | note default in type checking of switches | Alon Zakai | 2016-06-01 | 1 | -0/+1 |
* | type check loop output type properly | Alon Zakai | 2016-05-20 | 1 | -23/+48 |
* | spec test updates, and many validation fixes | Alon Zakai | 2016-05-18 | 1 | -34/+33 |
* | break type system fixes, avoid spurious errors on mismatched types | Alon Zakai | 2016-05-13 | 1 | -1/+5 |
* | add wasm.cpp which does full type detection for blocks, and prepare for full ... | Alon Zakai | 2016-04-29 | 1 | -0/+84 |