summaryrefslogtreecommitdiff
path: root/source/slang/check.cpp
AgeCommit message (Expand)Author
2018-05-02Speedup type checking using cached overload resolution results.Yong He
2018-05-01Diagnose attempts to write to fields in methods (#530)Tim Foley
2018-04-20Better diagnostics when compilation is aborted (#517)Tim Foley
2018-04-20Diagnose use of an implicit cast as an argument for an `out` parameter (#516)Tim Foley
2018-04-11Introduce an IR-level type system (#481)Tim Foley
2018-03-30Fix several issues discovered by Falcor (#467)Tim Foley
2018-03-29Avoid crash when bad argument given to [instance(...)] attribute (#464)Tim Foley
2018-03-29Add support for default parameter values in IR codegen (#459)Tim Foley
2018-03-26Unify all generic parameters, even if some mismatch (#454)Tim Foley
2018-03-22Add support for DirectX Raytracing (DXR) (#451)Tim Foley
2018-03-19Entry point attribute (#447)Tim Foley
2018-03-16Overhaul implementation of [attributes] (#443)Tim Foley
2018-03-06Add a case to `TryUnifyVals` to cover `SubtypeWitness` vals (#435)Yong He
2018-02-08Falcor fixes (#402)Tim Foley
2018-02-02Remove support for the -no-checking flag (#392)Tim Foley
2018-01-26Fix some crashing bugs around local variable declarations. (#385)Tim Foley
2018-01-21Trying to get generic extensions to workTim Foley
2018-01-21Improvements and bug fixes for global type parametersYong He
2018-01-20bug fixesYong He
2018-01-19Allow arbitrary type string as type argument in spAddEntryPointEx.Yong He
2018-01-17All compiler fixes to get ir branch work with falcor feature demo.Yong He
2018-01-16bug fixes to get falcor example shader code to compile.Yong He
2018-01-16Allow extension on interface (#369)Yong He
2018-01-14temporary workaround to fix test case failures.Yong He
2018-01-14allow extension of a concrete type to implement additional interfaceYong He
2018-01-13Fix creation of `ThisTypeSubstitution`.Yong He
2018-01-12Support nested genericsYong He
2018-01-12Refactor substitution representation in DeclRefBase (#363)Yong He
2018-01-09bruteforce implementation of witness table resolution for associated (#358)Yong He
2018-01-04Bug fixes for Slang integration (#356)Yong He
2018-01-03Fix type lookup of global type argumentsYong He
2018-01-03add call to `EnsureDecl` in `SpecializeGenericForOverload`.Yong He
2018-01-02no-codegen compile flag and global generics reflection (#347)Yong He
2017-12-27Support nested generic types (e.g. L<T<S>>)Yong He
2017-12-22Merge branch 'master' into implicit-generic-appTim Foley
2017-12-22Support for transitive subtype witnesses (#331)Tim Foley
2017-12-22Support generic type constraints when implicitly invoking genericTim Foley
2017-12-20IR: fixes for subscript accessors (#322)Tim Foley
2017-12-08Cleanups to `ParameterBlock<T>` behavior. (#304)Tim Foley
2017-11-28Generate IR per-module for loaded modules (#299)Tim Foley
2017-11-17Add support for global generic parameters (#285)Yong He
2017-11-08Cleanup of "suport generic interface method".Yong He
2017-11-07Support generic interface methods (#251)Yong He
2017-11-07Attach correct types to subscript accessorsTim Foley
2017-11-05small cleanupsYong He
2017-11-04style fixesYong He
2017-11-04naming cleanupYong He
2017-11-04fix warningsYong He
2017-11-04merge with fixWarnings branchYong He
2017-11-04fix linux buildYong He