Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | one more invalidation test | Aleksey Kladov | 2019-01-08 | 1 | -1/+32 | |
* | fix test naming | Aleksey Kladov | 2019-01-08 | 1 | -22/+22 | |
* | remove duplication in tests | Aleksey Kladov | 2019-01-08 | 1 | -55/+33 | |
* | Fix name resolution across source roots | Florian Diebold | 2019-01-08 | 1 | -1/+96 | |
* | Fix use tree desugaring | Florian Diebold | 2019-01-08 | 1 | -0/+29 | |
* | dont reexport module id | Aleksey Kladov | 2019-01-08 | 1 | -6/+7 | |
* | Import fixpoint loop for name resolution | Florian Diebold | 2019-01-08 | 1 | -1/+30 | |
* | fix the test | Aleksey Kladov | 2019-01-06 | 1 | -2/+2 | |
* | flatten module structure | Aleksey Kladov | 2019-01-06 | 1 | -0/+273 |