История коммитов

Автор SHA1 Сообщение Дата
  Geoff Romer 4c9049346d Replace form insts with actions (#7100) 6 дней назад
  Geoff Romer e7626f46cc Get rid of `AddPatternInst` (#7075) 2 недель назад
  Dana Jansens a0416a1250 Don't finish the non-canonical instruction created in EvalOrAddInst (#6972) 1 месяц назад
  Jon Ross-Perkins e0305684b0 Add MakeVerifiedLocIdAndInst for runtime validation (#6942) 1 месяц назад
  Jon Ross-Perkins 877179d6d9 Refactor addition of imported locations and placeholders (#6354) 5 месяцев назад
  Jon Ross-Perkins 6cc5d7ed2a Add an EnumMaskBase type (#6053) 7 месяцев назад
  Jon Ross-Perkins a85d292f8d Change from ToImplicit to AsDesugared (#5591) 11 месяцев назад
  Richard Smith 4f5d11a28b Build generic eval blocks incrementally (#5313) 1 год назад
  Geoff Romer fafb655d39 Separate pattern types from expression types (#5360) 1 год назад
  Richard Smith 64baa84e4d Stop substituting into `MetaInstId` operands. (#5328) 1 год назад
  Richard Smith bfef32b482 Add an `EvalOrAddInst` function. (#5258) 1 год назад
  Richard Smith 0631e18184 Provide an `InstId` when evaluating a constant in cases where one is needed (#5202) 1 год назад
  Richard Smith 584426dfa2 Initial work on support for templates (#5081) 1 год назад
  Jon Ross-Perkins 311b4ff03d Refactor AddInst-family functions to their own file (#4941) 1 год назад