Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge #1308 | bors[bot] | 2019-05-22 | 3 | -1/+7 | |
|\ \ | ||||||
| * | | add profile calls to parsing/expansion routines | Aleksey Kladov | 2019-05-22 | 3 | -1/+7 | |
|/ / | ||||||
* | | Merge #1281 | bors[bot] | 2019-05-22 | 4 | -119/+294 | |
|\ \ | |/ |/| | ||||||
| * | add feature doc | Unreal Hoang | 2019-05-21 | 1 | -2/+31 | |
| * | add assist to move arm condition to match guard | Unreal Hoang | 2019-05-21 | 3 | -117/+263 | |
| * | rename | Unreal Hoang | 2019-05-16 | 2 | -2/+2 | |
* | | Merge #1307 | bors[bot] | 2019-05-21 | 3 | -8/+29 | |
|\ \ | ||||||
| * | | better profilig | Aleksey Kladov | 2019-05-21 | 3 | -8/+29 | |
|/ / | ||||||
* | | Merge #1306 | bors[bot] | 2019-05-21 | 4 | -28/+33 | |
|\ \ | ||||||
| * | | Fix crash with int vars in canonicalization | Florian Diebold | 2019-05-21 | 1 | -1/+6 | |
| * | | Use fuel branch for Chalk | Florian Diebold | 2019-05-21 | 3 | -27/+27 | |
|/ / | ||||||
* | | re-enable chalk | Aleksey Kladov | 2019-05-21 | 1 | -17/+16 | |
* | | publish gen_lsp_server 0.2 | Aleksey Kladov | 2019-05-21 | 3 | -19/+20 | |
* | | fix logo | Aleksey Kladov | 2019-05-21 | 1 | -1/+1 | |
* | | Merge #1299 | bors[bot] | 2019-05-21 | 3 | -14/+149 | |
|\ \ | ||||||
| * | | Address feedback | Laurențiu Nicola | 2019-05-21 | 3 | -35/+32 | |
| * | | Use ThemeColor and add support for light themes | Laurențiu Nicola | 2019-05-21 | 3 | -14/+152 | |
* | | | Merge #1302 | bors[bot] | 2019-05-21 | 5 | -3/+8 | |
|\ \ \ | ||||||
| * | | | profile type inference | Aleksey Kladov | 2019-05-21 | 4 | -3/+6 | |
| * | | | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 | |
|/ / / | ||||||
* | | | Merge #1301 | bors[bot] | 2019-05-21 | 2 | -7/+15 | |
|\ \ \ | ||||||
| * | | | fix odrer-of-iteration bug in tests | Aleksey Kladov | 2019-05-21 | 2 | -7/+15 | |
|/ / / | ||||||
* | | | Merge #1300 | bors[bot] | 2019-05-21 | 6 | -219/+203 | |
|\ \ \ | ||||||
| * | | | sort hash maps for tests | Aleksey Kladov | 2019-05-21 | 6 | -219/+203 | |
|/ / / | ||||||
* | | | Merge #1297 | bors[bot] | 2019-05-21 | 1 | -1/+2 | |
|\ \ \ | ||||||
| * | | | mozilla is sponsoring as well | Niko Matsakis | 2019-05-21 | 1 | -1/+2 | |
| |/ / | ||||||
* | | | Merge #1296 | bors[bot] | 2019-05-21 | 3 | -6/+6 | |
|\ \ \ | ||||||
| * | | | :arrow_up: insta | Aleksey Kladov | 2019-05-21 | 3 | -6/+6 | |
| |/ / | ||||||
* | | | Merge #1295 | bors[bot] | 2019-05-21 | 2 | -6/+6 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | add _query to query functions | Aleksey Kladov | 2019-05-21 | 2 | -6/+6 | |
|/ / | ||||||
* | | Merge #1293 | bors[bot] | 2019-05-21 | 1 | -1/+1 | |
|\ \ | ||||||
| * | | Pass `--all-targets` to `cargo watch` | Aleksi Juvani | 2019-05-21 | 1 | -1/+1 | |
|/ / | ||||||
* | | Merge #1291 | bors[bot] | 2019-05-20 | 3 | -21/+33 | |
|\ \ | ||||||
| * | | add is_union to structs AST | Aleksey Kladov | 2019-05-20 | 1 | -1/+17 | |
| * | | remove minor code duplication | Aleksey Kladov | 2019-05-20 | 2 | -20/+16 | |
|/ / | ||||||
* | | Merge #1289 | bors[bot] | 2019-05-20 | 1 | -38/+39 | |
|\ \ | ||||||
| * | | simplify | Aleksey Kladov | 2019-05-20 | 1 | -38/+39 | |
* | | | Merge #1287 | bors[bot] | 2019-05-20 | 2 | -1/+19 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | Fix match literal | Edwin Cheng | 2019-05-20 | 2 | -1/+19 | |
* | | | Merge #1288 | bors[bot] | 2019-05-20 | 1 | -1/+4 | |
|\ \ \ | |/ / |/| | | ||||||
| * | | output the progress for real | Aleksey Kladov | 2019-05-20 | 1 | -1/+4 | |
|/ / | ||||||
* | | Merge #1286 | bors[bot] | 2019-05-20 | 5 | -17/+86 | |
|\ \ | ||||||
| * | | Use normal iteration instead of walk_mut | Edwin Cheng | 2019-05-20 | 1 | -8/+5 | |
| * | | Add infer for generic default type | Edwin Cheng | 2019-05-19 | 4 | -15/+80 | |
| * | | Add default type to GenericParam | Edwin Cheng | 2019-05-19 | 1 | -3/+10 | |
| |/ | ||||||
* | | Merge #1284 | bors[bot] | 2019-05-18 | 1 | -3/+4 | |
|\ \ | ||||||
| * | | Assert that DB is unwind-safe, instead of proving | Aleksey Kladov | 2019-05-18 | 1 | -3/+4 | |
|/ / | ||||||
* | | Merge #1280 | bors[bot] | 2019-05-15 | 3 | -46/+33 | |
|\ \ | ||||||
| * | | :arrow_up: text_unit | Aleksey Kladov | 2019-05-15 | 3 | -46/+33 | |
|/ / | ||||||
* | | Merge #1278 | bors[bot] | 2019-05-15 | 40 | -626/+622 | |
|\ \ | |/ |/| |