سلام بله وارد شدند زیاد هم هستند. متاسفانه حق با شماست دیجی کالا نگفته کدوم ها Haswell هستند اما مدل دقیق پردازنده رو زده که اگر تو گوگل بزنید سایت اینتل می یاد و توش جزئیات کامل رو توضیح داده

مثلا اگر تو این صفحه برید
http://ark.intel.com/products/family/75024/4th-Generation-Intel-Core-i5-Processors

می توانید تمام پردازنده Mobile از سری Core i5 رو مشاهده کنید و مدل پردازنده رو در digi kala جستجو کنید تا به لپ تاپ های مورد نظر برسید. شاید یکم پیچده باشه هم من امتحام کردم چند مدل پیدا شد.