Jon Ross-Perkins
|
53af8f04b2
Provide a Printable CRTP parent to replace HasPrintable templates. (#3166)
|
2 роки тому |
Jon Ross-Perkins
|
357baaeef8
Rename //explorer/common to base (#3103)
|
2 роки тому |
Prabhat Sachdeva
|
a359da37c4
Explorer: improve type checking trace output (#3039)
|
2 роки тому |
Geoff Romer
|
c93a0e5e42
Implement canonicalization of Value and Element (#3024)
|
2 роки тому |
Richard Smith
|
782bd87316
AST cloning mechanism (#2699)
|
3 роки тому |
Richard Smith
|
43283cb516
Add `Value` decomposition and use it to implement `Substitute` (#2389)
|
3 роки тому |
Jon Ross-Perkins
|
4d522c8e90
Finish making clang-tidy (mostly) work (again) and run -fix (#2312)
|
3 роки тому |
Richard Smith
|
9feff92f22
Track witnesses wherever possible (#2263)
|
3 роки тому |
Richard Smith
|
2340cb6703
Build value representations for all kinds of witness (#2250)
|
3 роки тому |
Richard Smith
|
a1be2a8a38
Track the arguments and witnesses on values indirectly. (#1335)
|
3 роки тому |