| 2023-11-09 |
Robert Griesemer | go/types, types2: introduce _Alias type node |
blob | commitdiff | raw |
| 2023-08-30 |
Robert Griesemer | go/types, types2: use asNamed(t) instead of t.(*Named... |
blob | commitdiff | raw | diff to current |
| 2023-08-29 |
Robert Griesemer | go/types, types2: remove order dependency in inference... |
blob | commitdiff | raw | diff to current |
| 2023-08-17 |
Robert Griesemer | go/types, types2: disable interface inference for versi... |
blob | commitdiff | raw | diff to current |
| 2023-08-17 |
Robert Griesemer | Revert "go/types, types2: remove internal constant... |
blob | commitdiff | raw | diff to current |
| 2023-08-15 |
Robert Griesemer | go/types, types2: move emode computation closer to... |
blob | commitdiff | raw | diff to current |
| 2023-08-15 |
Robert Griesemer | go/types, types2: use exact unification when comparing... |
blob | commitdiff | raw | diff to current |
| 2023-08-01 |
Robert Griesemer | go/types, types2: remove internal constant enableInterf... |
blob | commitdiff | raw | diff to current |
| 2023-07-18 |
Jes Cok | all: fix typos |
blob | commitdiff | raw | diff to current |
| 2023-06-26 |
Robert Griesemer | go/types, types2: replace TODO with clarifying comment |
blob | commitdiff | raw | diff to current |
| 2023-06-26 |
Robert Griesemer | go/types, types2: fix interface unification |
blob | commitdiff | raw | diff to current |
| 2023-06-26 |
Robert Griesemer | go/types, types2: more readable inference trace |
blob | commitdiff | raw | diff to current |
| 2023-06-12 |
Robert Griesemer | go/types, types2: use inexact unification when unifying... |
blob | commitdiff | raw | diff to current |
| 2023-06-06 |
Robert Griesemer | go/types, types2: handle named and literal interfaces... |
blob | commitdiff | raw | diff to current |
| 2023-06-02 |
Robert Griesemer | go/types, types2: report inference instead of assignmen... |
blob | commitdiff | raw | diff to current |
| 2023-05-30 |
Robert Griesemer | go/types, types2: use exact unification for component... |
blob | commitdiff | raw | diff to current |
| 2023-05-30 |
Robert Griesemer | go/types, types2: add unifyMode to unifier, pass it... |
blob | commitdiff | raw | diff to current |
| 2023-05-25 |
Robert Griesemer | go/types, types2: don't infer type argument for unused... |
blob | commitdiff | raw | diff to current |
| 2023-05-23 |
Robert Griesemer | go/types, types2: enable interface inference |
blob | commitdiff | raw | diff to current |
| 2023-05-23 |
Robert Griesemer | go/types, types2: consider shared methods when unifying... |
blob | commitdiff | raw | diff to current |
| 2023-05-23 |
Robert Griesemer | Revert "go/types, types2: consider shared methods when... |
blob | commitdiff | raw | diff to current |
| 2023-05-23 |
Robert Griesemer | go/types, types2: consider shared methods when unifying... |
blob | commitdiff | raw | diff to current |
| 2023-05-19 |
Robert Griesemer | go/types, types2: fix comments in unify.go |
blob | commitdiff | raw | diff to current |
| 2023-05-10 |
cui fliter | all: fix a lot of comments |
blob | commitdiff | raw | diff to current |
| 2023-04-21 |
Robert Griesemer | go/types, types2: abort type unification if no progress... |
blob | commitdiff | raw | diff to current |
| 2023-03-09 |
Robert Griesemer | go/types, types2: clean up defined type identity check... |
blob | commitdiff | raw | diff to current |
| 2023-03-01 |
Robert Griesemer | go/types, types2: handle unbound type parameters in... |
blob | commitdiff | raw | diff to current |
| 2023-03-01 |
Robert Griesemer | go/types, types2: simplify unification when x == y... |
blob | commitdiff | raw | diff to current |
| 2023-03-01 |
Robert Griesemer | go/types, types2: use new type inference algorithm... |
blob | commitdiff | raw | diff to current |
| 2023-02-09 |
Robert Griesemer | go/types, types2: remove need to store type parameter... |
blob | commitdiff | raw | diff to current |
| 2023-02-09 |
Robert Griesemer | go/types, types2: simplify unify.inferred signature |
blob | commitdiff | raw | diff to current |
| 2023-02-06 |
Robert Griesemer | go/types, types2: eliminate need to sort arguments... |
blob | commitdiff | raw | diff to current |
| 2023-02-02 |
Robert Griesemer | go/types, types2: simplify symmetric code |
blob | commitdiff | raw | diff to current |
| 2023-02-02 |
Robert Griesemer | go/types, types2: avoid recursive invocation when unify... |
blob | commitdiff | raw | diff to current |
| 2023-02-02 |
Robert Griesemer | go/types, types2: remove (internal) exactUnification... |
blob | commitdiff | raw | diff to current |
| 2023-02-01 |
Robert Griesemer | go/types, types2: use go.dev/issue/nnnnn when referring... |
blob | commitdiff | raw | diff to current |
| 2023-02-01 |
Robert Griesemer | go/types, types2: unifier constructor to accept type... |
blob | commitdiff | raw | diff to current |
| 2023-02-01 |
Robert Griesemer | go/types, types2: further simplify unification |
blob | commitdiff | raw | diff to current |
| 2023-02-01 |
Robert Griesemer | go/types, types2: replace unifier type parameter list... |
blob | commitdiff | raw | diff to current |
| 2023-01-27 |
Robert Griesemer | go/types, types2: move tparamIndex from unify.go into... |
blob | commitdiff | raw | diff to current |
| 2023-01-27 |
Robert Griesemer | go/types, types2: simplify unifier |
blob | commitdiff | raw | diff to current |
| 2023-01-26 |
Robert Griesemer | go/types, types2: remove misleading example from comment |
blob | commitdiff | raw | diff to current |
| 2023-01-20 |
Robert Findley | go/types: add a test that generated files match types2 |
blob | commitdiff | raw | diff to current |
| 2023-01-20 |
Robert Griesemer | go/types, types2: use go.dev/issue/nnnnn when referring... |
blob | commitdiff | raw | diff to current |
| 2023-01-17 |
Robert Griesemer | go/types: generate unify.go |
blob | commitdiff | raw | diff to current |
| 2022-06-16 |
Matthew Dempsky | [dev.unified] all: merge master (635b124) into dev... |
blob | commitdiff | raw | diff to current |
| 2022-06-06 |
Robert Findley | go/types, types2: store Named instance information... |
blob | commitdiff | raw | diff to current |
| 2022-03-29 |
Nicolas Hillegeer | [dev.boringcrypto] all: merge master into dev.boringcrypto |
blob | commitdiff | raw | diff to current |
| 2022-03-21 |
Robert Griesemer | go/types, types2: re-enable panic if unification stack... |
blob | commitdiff | raw | diff to current |
| 2022-03-07 |
David Chase | [dev.boringcrypto] all: merge master into dev.boringcrypto |
blob | commitdiff | raw | diff to current |
| 2022-03-01 |
Robert Griesemer | go/types, types2: clarify a comment and add an extra... |
blob | commitdiff | raw | diff to current |
| 2022-03-01 |
Robert Griesemer | go/types, types2: correctly consider ~ (tilde) in const... |
blob | commitdiff | raw | diff to current |
| 2022-02-13 |
Robert Griesemer | go/types, types2: add additional tests using core types... |
blob | commitdiff | raw | diff to current |
| 2022-02-12 |
Robert Griesemer | go/types, types2: unify core types for unbound type... |
blob | commitdiff | raw | diff to current |
| 2022-02-03 |
Chressie Himpel | [dev.boringcrypto] all: merge master into dev.boringcrypto |
blob | commitdiff | raw | diff to current |
| 2022-02-02 |
Robert Findley | go/types, types2: add a const to control recursion... |
blob | commitdiff | raw | diff to current |
| 2022-01-31 |
Robert Griesemer | go/types, types2: fix unification code for defined... |
blob | commitdiff | raw | diff to current |
| 2022-01-31 |
Robert Griesemer | go/types, types2: fix implements and identical predicates |
blob | commitdiff | raw | diff to current |
| 2022-01-12 |
Robert Griesemer | go/types, types2: prevent unification from recursing... |
blob | commitdiff | raw | diff to current |
| 2021-11-18 |
Robert Findley | go/types: remove asNamed |
blob | commitdiff | raw | diff to current |
| 2021-11-17 |
Robert Findley | go/types: check for non-negative index in tparamIndex |
blob | commitdiff | raw | diff to current |
| 2021-11-05 |
Roland Shoemaker | [dev.boringcrypto] all: merge master into dev.boringcrypto |
blob | commitdiff | raw | diff to current |
| 2021-11-02 |
Robert Findley | go/types: rename isNamed predicate to hasName |
blob | commitdiff | raw | diff to current |
| 2021-10-08 |
Robert Griesemer | go/types: partial revert of incorrect unification ... |
blob | commitdiff | raw | diff to current |
| 2021-09-29 |
Robert Griesemer | go/types: avoid infinite recursion in unification |
blob | commitdiff | raw | diff to current |
| 2021-09-27 |
Robert Griesemer | go/types, types2: factor out some code, fix/add comment... |
blob | commitdiff | raw | diff to current |
| 2021-09-20 |
Katie Hockman | [dev.fuzz] all: merge master (af72ddf) into dev.fuzz |
blob | commitdiff | raw | diff to current |
| 2021-09-12 |
Robert Findley | go/types: remove some unnecessary loading/expansion... |
blob | commitdiff | raw | diff to current |
| 2021-09-09 |
Jay Conrod | [dev.fuzz] all: merge master (65f0d24) into dev.fuzz |
blob | commitdiff | raw | diff to current |
| 2021-08-31 |
Robert Findley | go/types: use a typeWriter to write types (cleanup) |
blob | commitdiff | raw | diff to current |
| 2021-08-25 |
Michael Matloob | [dev.cmdgo] all: merge master (c2f96e6) into dev.cmdgo |
blob | commitdiff | raw | diff to current |
| 2021-08-23 |
Robert Findley | go/types: use a TypeList type to hold type arguments |
blob | commitdiff | raw | diff to current |
| 2021-08-23 |
Robert Findley | go/types: use []*TypeParam rather than []*TypeName... |
blob | commitdiff | raw | diff to current |
| 2021-08-16 |
Robert Findley | go/types: define Identical for instances |
blob | commitdiff | raw | diff to current |
| 2021-08-16 |
Robert Findley | go/types: merge Instantiate and InstantiateLazy |
blob | commitdiff | raw | diff to current |
| 2021-08-16 |
Robert Findley | go/types: expand is only required for *Named types |
blob | commitdiff | raw | diff to current |
| 2021-08-16 |
Roland Shoemaker | [dev.boringcrypto] all: merge commit 57c115e1 into... |
blob | commitdiff | raw | diff to current |
| 2021-08-16 |
Robert Findley | go/types: implement type sets with term lists |
blob | commitdiff | raw | diff to current |
| 2021-08-12 |
Gerrit Code Review | Merge "all: REVERSE MERGE dev.typeparams (4d3cc84)... |
blob | commitdiff | raw | diff to current |
| 2021-08-12 |
Matthew Dempsky | all: REVERSE MERGE dev.typeparams (4d3cc84) into master |
blob | commitdiff | raw | diff to current |
| 2021-08-12 |
Matthew Dempsky | [dev.typeparams] all: merge master (46fd547) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-08-04 |
Rob Findley | [dev.typeparams] go/types: move instance.go contents... |
blob | commitdiff | raw | diff to current |
| 2021-07-26 |
Matthew Dempsky | [dev.typeparams] all: merge master (ecaa681) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-07-22 |
Matthew Dempsky | [dev.typeparams] all: merge master (798ec73) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-07-20 |
Matthew Dempsky | [dev.typeparams] all: merge master (c8f4e61) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-07-19 |
Rob Findley | [dev.typeparams] go/types: interface identity must... |
blob | commitdiff | raw | diff to current |
| 2021-07-17 |
Rob Findley | [dev.typeparams] go/types: disallow "free" type paramet... |
blob | commitdiff | raw | diff to current |
| 2021-07-16 |
Rob Findley | [dev.typeparams] go/types: remove unused *Checker argum... |
blob | commitdiff | raw | diff to current |
| 2021-07-16 |
Rob Findley | [dev.typeparams] go/types: remove typeparams wrappers... |
blob | commitdiff | raw | diff to current |
| 2021-07-16 |
Rob Findley | [dev.typeparams] go/types: introduce type set abstracti... |
blob | commitdiff | raw | diff to current |
| 2021-07-08 |
Matthew Dempsky | [dev.typeparams] all: merge master (296ddf2) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-07-06 |
Jay Conrod | [dev.cmdgo] all: merge master (912f075) into dev.cmdgo |
blob | commitdiff | raw | diff to current |
| 2021-07-02 |
Matthew Dempsky | [dev.typeparams] all: merge master (912f075) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-07-01 |
Matthew Dempsky | [dev.typeparams] all: merge master (4711bf3) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-06-25 |
Cuong Manh Le | [dev.typeparams] all: merge master (37f9a8f) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-06-21 |
Cuong Manh Le | [dev.typeparams] all: merge master (16e82be) into dev... |
blob | commitdiff | raw | diff to current |
| 2021-06-17 |
Rob Findley | [dev.typeparams] go/types: replace Sum type with Union... |
blob | commitdiff | raw | diff to current |
| 2021-06-17 |
Rob Findley | [dev.typeparams] go/types: accept embedded interface... |
blob | commitdiff | raw | diff to current |
| 2021-05-17 |
Katie Hockman | [dev.fuzz] all: merge master (d137b74) into dev.fuzz |
blob | commitdiff | raw | diff to current |
| 2021-05-13 |
Filippo Valsorda | [dev.boringcrypto] all: merge commit 9d0819b27c (CL... |
blob | commitdiff | raw | diff to current |
| next |