summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2026-07-20verification/rvgen: Remove the old state variablesNam Cao
2026-07-20verification/rvgen: Switch __create_matrix() to LarkNam Cao
2026-07-20verification/rvgen: Switch __get_event_variables() to LarkNam Cao
2026-07-20verification/rvgen: Delete __parse_constraint()Nam Cao
2026-07-20verification/rvgen: Simplify the generation for clock variablesNam Cao
2026-07-20rv: Simplify hybrid automata monitors's clock variablesNam Cao
2026-07-20verification/rvgen: Convert __fill_verify_guards_func() to LarkNam Cao
2026-07-20verification/rvgen: Convert __fill_setup_invariants_func() to LarkNam Cao
2026-07-20verification/rvgen: Convert __fill_verify_invariants_func() to LarkNam Cao
2026-07-20verification/rvgen: Implement state and transition parser based on LarkNam Cao
2026-07-20verification/rvgen: Introduce a parse tree for automata using LarkNam Cao
2026-07-20verification/rvgen: Switch LTL parser to LarkNam Cao
2026-07-19Linux 7.2-rc4v7.2-rc4Linus Torvalds
2026-07-19Merge tag 'riscv-for-linus-7.2-rc4' of git://git.kernel.org/pub/scm/linux/ker...Linus Torvalds
2026-07-19Merge tag 'block-7.2-20260717' of git://git.kernel.org/pub/scm/linux/kernel/g...Linus Torvalds
2026-07-19Merge tag 'io_uring-7.2-20260717' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds
2026-07-19Merge tag 'spi-fix-v7.2-rc3' of git://git.kernel.org/pub/scm/linux/kernel/git...Linus Torvalds
2026-07-19Merge tag 'regulator-fix-v7.2-rc3' of git://git.kernel.org/pub/scm/linux/kern...Linus Torvalds
2026-07-19Merge tag 'x86-urgent-2026-07-19' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds
2026-07-18Merge tag 's390-7.2-5' of git://git.kernel.org/pub/scm/linux/kernel/git/s390/...Linus Torvalds
2026-07-18Merge tag 'arc-7.2-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/vg...Linus Torvalds
2026-07-18Merge tag 'scsi-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/jejb/...Linus Torvalds
2026-07-18Merge tag 'i2c-fixes-7.2-rc4' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds
2026-07-17Merge tag 'v7.2-rc3-smb3-server-fixes' of git://git.samba.org/ksmbdLinus Torvalds
2026-07-17Merge tag 'ata-7.2-rc4' of git://git.kernel.org/pub/scm/linux/kernel/git/liba...Linus Torvalds
2026-07-17Merge tag 'drm-fixes-2026-07-18-1' of https://gitlab.freedesktop.org/drm/kernelLinus Torvalds
2026-07-18Merge tag 'amd-drm-fixes-7.2-2026-07-17' of https://gitlab.freedesktop.org/ag...Dave Airlie
2026-07-17Revert "drm/amd/display: Restore 5s vbl offdelay for NV3x+ DGPUs"Leo Li
2026-07-17drm/amd/display: check GRPH_FLIP status before sending eventLeo Li
2026-07-17drm/amd/display: consolidate DCN vblank/flip handling onto vupdate_no_lockLeo Li
2026-07-17drm/amd: Create a device link between APU display and XHCI devicesMario Limonciello
2026-07-17drm/amd/display: wire DCN42B mcache programming callbackPengpeng Hou
2026-07-17drm/amd/display: set new_stream to NULL after releaseWenTao Liang
2026-07-17drm/amd/display: Force PWM backlight on Lenovo Legion 5 15ARH05Alessandro Rinaldi
2026-07-17drm/amdkfd: free MQD managers on DQM init failuresGuangshuo Li
2026-07-17drm/amdgpu/ttm: Consider concurrent VM flushes for buffer entitiesTimur Kristóf
2026-07-17drm/amd/pm/smu7: Fix AC/DC switch notificationTimur Kristóf
2026-07-17drm/amdgpu: Disable PCIe dynamic speed switching on Ryzen Pinnacle RidgeMario Limonciello
2026-07-17drm/amdgpu: always emit the job vm fenceAlex Deucher
2026-07-17drm/amd/pm/si: Fix AC/DC switch notificationTimur Kristóf
2026-07-17drm/amd/pm/si: Don't schedule thermal work when queue isn't initializedTimur Kristóf
2026-07-17drm/amd/display: dce100: skip non-DP stream encoders for DP MSTAndriy Korud
2026-07-17drm/amd/display: Set native cursor mode for disabled CRTCsTimur Kristóf
2026-07-17drm/amd/pm/ci: Don't disable MCLK DPM on Bonaire 0x6658 (R7 260X)Timur Kristóf
2026-07-17drm/amd/display: fix __udivdi3 link erroryanglinlin
2026-07-17drm/amdgpu: Reserve space for IB contents in devcoredumpsTimur Kristóf
2026-07-17drm/amdgpu: Print vmid, pasid and more task info in devcoredumpTimur Kristóf
2026-07-17drm/amdgpu: Release VFCT ACPI table referenceMario Limonciello
2026-07-17drm/amdgpu: Fix VFCT bus number matching with soft filterMario Limonciello
2026-07-17drm/amdgpu: fix bo->pin leaking in amdgpu_bo_create_reservedZhu Lingshan
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-08 09:06:46 +0000