Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix clippy::or_fun_call | Alan Du | 2019-06-04 | 1 | -1/+1 |
* | Fix clippy::identity_conversion | Alan Du | 2019-06-04 | 1 | -3/+3 |
* | Fix clippy::into_iter_on_ref | Alan Du | 2019-06-04 | 1 | -1/+1 |
* | Fix clippy::single_match | Alan Du | 2019-06-04 | 3 | -47/+33 |
* | don't poison mutex around chalk | Aleksey Kladov | 2019-06-01 | 1 | -2/+3 |
* | add tests for primitive types | Aleksey Kladov | 2019-05-30 | 3 | -30/+19 |
* | add built-in types to scopes | Aleksey Kladov | 2019-05-30 | 1 | -16/+0 |
* | add ModuleDef::BuiltInType | Aleksey Kladov | 2019-05-30 | 3 | -6/+45 |
* | add cacellation checks to expensive queries | Aleksey Kladov | 2019-05-29 | 1 | -0/+1 |
* | fix syntax errors in tests | Aleksey Kladov | 2019-05-28 | 1 | -112/+128 |
* | add union to code_model | Aleksey Kladov | 2019-05-23 | 2 | -10/+21 |
* | 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 | 1 | -1/+1 |
* | re-enable chalk | Aleksey Kladov | 2019-05-21 | 1 | -17/+16 |
* | publish gen_lsp_server 0.2 | Aleksey Kladov | 2019-05-21 | 1 | -16/+17 |
* | profile type inference | Aleksey Kladov | 2019-05-21 | 1 | -1/+3 |
* | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 |
* | add _query to query functions | Aleksey Kladov | 2019-05-21 | 1 | -3/+3 |
* | remove minor code duplication | Aleksey Kladov | 2019-05-20 | 1 | -18/+14 |
* | 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 | 2 | -13/+75 |
* | Merge #1271 | bors[bot] | 2019-05-13 | 1 | -1/+1 |
|\ | |||||
| * | make AstId untyped | Aleksey Kladov | 2019-05-13 | 1 | -1/+1 |
* | | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 |
|/ | |||||
* | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 2 | -1/+30 |
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 2 | -7/+34 |
* | Fix impl blocks with unresolved target trait being treated as inherent impls | Florian Diebold | 2019-05-12 | 1 | -5/+7 |
* | Add support for inline bounds | Florian Diebold | 2019-05-11 | 1 | -0/+33 |
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 1 | -5/+19 |
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 3 | -3/+42 |
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 2 | -2/+38 |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 2 | -15/+56 |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 3 | -24/+138 |
* | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 3 | -7/+5 |
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -0/+1 |
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 3 | -7/+15 |
* | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 2 | -4/+14 |
* | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
* | Make canonicalization API a bit nicer | Florian Diebold | 2019-05-04 | 2 | -31/+56 |
* | Update Chalk | Florian Diebold | 2019-05-04 | 2 | -5/+13 |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 2 | -8/+12 |
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 5 | -132/+144 |
* | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 1 | -2/+4 |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 2 | -275/+335 |
* | Implement Deref<Target=[Ty]> for Substs | Florian Diebold | 2019-05-04 | 1 | -1/+0 |
* | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 6 | -133/+533 |
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 1 | -0/+26 |