Historie revizí

Autor SHA1 Zpráva Datum
  Dana Jansens 201e408252 Type completion of facet types is separate from Identifying (#6385) před 5 měsíci
  Jon Ross-Perkins ee49d65e29 Remove a use of zip/to_array in eval (#6393) před 5 měsíci
  Jon Ross-Perkins fbc7690157 Switch `zip` to `zip_equal` where possible (#6389) před 5 měsíci
  Dana Jansens ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) před 6 měsíci
  Jon Ross-Perkins 42e2280150 Clean up singleton TypeId use (#6300) před 6 měsíci
  Geoff Romer 0811d996e1 Finish renaming BindName and related insts. (#6281) před 6 měsíci
  Dana Jansens e12d1b6d6d Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201) před 6 měsíci
  Richard Smith 90771414f5 Add builtins to form and detect null `MaybeUnformed(T*)` values. (#6208) před 6 měsíci
  Dana Jansens fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
  Dana Jansens e3b4482893 Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157) před 7 měsíci
  Jon Ross-Perkins 4a6376cf59 Rename/restructure `Destroy` logic to better reflect #6124 (#6144) před 7 měsíci
  Jon Ross-Perkins 8004c2d5f6 CalleeFunction -> Callee name adjustments (#6117) před 7 měsíci
  Jon Ross-Perkins 0f7df4ed7e Switch CalleeFunction to a variant (#6104) před 7 měsíci
  Dana Jansens aa0095c29f Remove TODO in GetConstantValue for FacetTypeId (#6089) před 7 měsíci
  Jon Ross-Perkins 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
  Richard Smith 1ec8ac7ef9 Add `Copy` interface and use it for making copies. (#6034) před 7 měsíci
  Richard Smith 0e6dd7e701 Add `MaybeUnformed(T)` type. (#5989) před 8 měsíci
  Richard Smith b851e8c423 Add support for f16, f64, f128. (#5952) před 8 měsíci
  Richard Smith 629f77eb61 Switch to representing FloatLiteralType as a RealId. (#5944) před 8 měsíci
  Richard Smith 28103b8f2e Convert LegacyFloatType into FloatLiteralType. (#5939) před 8 měsíci
  Richard Smith 694c00c7eb Make `Core.Float` a class. Add missing builtins for float support. (#5932) před 8 měsíci
  Dana Jansens 3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883) před 9 měsíci
  Jon Ross-Perkins 37d5046ceb Support parse/check/lower for char (#5901) před 9 měsíci
  Richard Smith 4685890d63 Rename FloatLiteral to FloatValue. (#5911) před 9 měsíci
  Dana Jansens 105618ecb1 Resolve nested accesses in rewrite constraints (#5872) před 9 měsíci
  Dana Jansens b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673) před 9 měsíci
  Jon Ross-Perkins b4b4d33789 Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759) před 10 měsíci
  Dana Jansens 6c6552ce57 Consistently return runtime phase if the operands contain a runtime (#5729) před 10 měsíci
  Jon Ross-Perkins a65f4b89e2 Make ValueStore require a ValueT parameter (#5757) před 10 měsíci
  Jon Ross-Perkins b97646a890 Split value store related types to separate files (#5754) před 10 měsíci