| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Support nested generics | Yong He | 2018-01-12 |
| | | | | | fixes #362 | ||
| * | bruteforce implementation of witness table resolution for associated (#358) | Yong He | 2018-01-09 |
| | | |||
| * | Bug fixes for Slang integration (#356) | Yong He | 2018-01-04 |
| * fix #353 * move validateEntryPoint to after all entrypoints has been checked * bug fix: DeclRefType::SubstituteImpl should change ioDiff * bug fix: generic resource usage should have count of 1 instead of 0. * update test case | |||
