summaryrefslogtreecommitdiff
path: root/source/slang/slang-check-constraint.cpp
AgeCommit message (Expand)Author
2024-09-10Fix inccorect dropping of declref during Unification of DeclaredSubtypeWitnes...Yong He
2024-09-05Support `where` clause and type equality constraint. (#4986)Yong He
2024-09-04Fix extension override behavior, and disallow extension on interface types. (...Yong He
2024-08-30Support extension on generic type. (#4968)Yong He
2024-08-20Support dependent generic constraints. (#4870)Yong He
2024-08-14Variadic Generics Part 1: parsing and type checking. (#4833)Yong He
2024-07-31Allow generic type deduction from ParameterBlock arguments. (#4766)Yong He
2024-06-12Add slangc flag to `-zero-initialize` all variables (#3987)ArielG-NV
2024-03-28Fix type union logic in generic type inference. (#3852)Yong He
2023-11-29Improve generic type argument inference. (#3370)Yong He
2023-10-25Add `IArray`. (#3281)Yong He
2023-09-07Incur l-value conversion cost during overload resolution. (#3195)Yong He
2023-08-23Retain int casts when unifying generic params (#3145)Ellie Hermaszewska
2023-08-15Fix bug with overload resolution under nested generics (#3107)Sai Praveen Bangaru
2023-08-09Support implciit casted swizzled lvalue. (#3077)Yong He
2023-08-04Redesign `DeclRef` and systematic `Val` deduplication (#3049)Yong He
2023-07-18Simplify Lookup and improve compiler performance. (#2996)Yong He
2023-07-12Create and cache flattened inheritance lists (#2740)Theresa Foley
2023-07-07Make DeclRefBase a Val, and DeclRef<T> a helper class. (#2967)Yong He
2023-07-05Bottleneck DeclRef creation through ASTBuilder. (#2689)Yong He
2023-06-02Fix generic param inference through TypeCastIntVal. (#2916)Yong He
2023-05-30Fix type checking & loop value hoisting (#2907)Yong He
2023-05-11MVP for higher order functions (#2849)Ellie Hermaszewska
2023-04-26Fix most of the disabled warnings on gcc/clang (#2839)Ellie Hermaszewska
2023-04-07Diagnose on attempt to specialize with interface type. (#2780)Yong He
2022-10-20Modified the new type system to support generic differentiable types … (#2413)Sai Praveen Bangaru
2022-09-20Support partial inference of generic arguments (#2404)Theresa Foley
2022-09-13Deduplicate AST type nodes and cache lookup operations. (#2397)Yong He
2021-02-05Initial implementation of interface conjunctions (#1691)Tim Foley
2020-06-05ASTNodes use MemoryArena (#1376)jsmall-nvidia
2020-06-04First steps toward inheritance for struct types (#1366)Tim Foley
2020-05-29Feature/ast syntax standard (#1360)jsmall-nvidia
2020-05-28WIP: ASTBuilder (#1358)jsmall-nvidia
2020-05-22Tidy up around AST nodes (#1353)jsmall-nvidia
2019-10-25Refactor semantic checking code into more files (#1097)Tim Foley