Histórico de Commits

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