aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2026-07-20verification/rvgen: Remove the old state variablesNam Cao3-14/+13
2026-07-20verification/rvgen: Switch __create_matrix() to LarkNam Cao2-35/+12
2026-07-20verification/rvgen: Switch __get_event_variables() to LarkNam Cao1-58/+18
2026-07-20verification/rvgen: Delete __parse_constraint()Nam Cao1-63/+4
2026-07-20verification/rvgen: Simplify the generation for clock variablesNam Cao1-93/+3
2026-07-20rv: Simplify hybrid automata monitors's clock variablesNam Cao3-65/+19
2026-07-20verification/rvgen: Convert __fill_verify_guards_func() to LarkNam Cao1-8/+30
2026-07-20verification/rvgen: Convert __fill_setup_invariants_func() to LarkNam Cao1-9/+39
2026-07-20verification/rvgen: Convert __fill_verify_invariants_func() to LarkNam Cao1-11/+21
2026-07-20verification/rvgen: Implement state and transition parser based on LarkNam Cao1-0/+216
2026-07-20verification/rvgen: Introduce a parse tree for automata using LarkNam Cao1-0/+186
2026-07-20verification/rvgen: Switch LTL parser to LarkNam Cao2-116/+73
2026-07-19Linux 7.2-rc4Linus Torvalds1-1/+1
2026-07-19Merge tag 'riscv-for-linus-7.2-rc4' of git://git.kernel.org/pub/scm/linux/kernel/git/riscv/linuxLinus Torvalds9-8/+30
2026-07-19Merge tag 'block-7.2-20260717' of git://git.kernel.org/pub/scm/linux/kernel/git/axboe/linuxLinus Torvalds8-56/+91
2026-07-19Merge tag 'io_uring-7.2-20260717' of git://git.kernel.org/pub/scm/linux/kernel/git/axboe/linuxLinus Torvalds3-3/+6
2026-07-19Merge tag 'spi-fix-v7.2-rc3' of git://git.kernel.org/pub/scm/linux/kernel/git/broonie/spiLinus Torvalds2-5/+10
2026-07-19Merge tag 'regulator-fix-v7.2-rc3' of git://git.kernel.org/pub/scm/linux/kernel/git/broonie/regulatorLinus Torvalds1-5/+5
2026-07-19Merge tag 'x86-urgent-2026-07-19' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tipLinus Torvalds3-6/+13
2026-07-18Merge tag 's390-7.2-5' of git://git.kernel.org/pub/scm/linux/kernel/git/s390/linuxLinus Torvalds2-1/+4
2026-07-18Merge tag 'arc-7.2-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/vgupta/arcLinus Torvalds5-6/+4
2026-07-18Merge tag 'scsi-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/jejb/scsiLinus Torvalds16-50/+141
2026-07-18Merge tag 'i2c-fixes-7.2-rc4' of git://git.kernel.org/pub/scm/linux/kernel/git/andi.shyti/linuxLinus Torvalds5-6/+45
2026-07-17Merge tag 'v7.2-rc3-smb3-server-fixes' of git://git.samba.org/ksmbdLinus Torvalds5-32/+56
2026-07-17Merge tag 'ata-7.2-rc4' of git://git.kernel.org/pub/scm/linux/kernel/git/libata/linuxLinus Torvalds1-26/+12
2026-07-17Merge tag 'drm-fixes-2026-07-18-1' of https://gitlab.freedesktop.org/drm/kernelLinus Torvalds67-564/+1076
2026-07-18Merge tag 'amd-drm-fixes-7.2-2026-07-17' of https://gitlab.freedesktop.org/agd5f/linux into drm-fixesDave Airlie31-431/+720
2026-07-17Revert "drm/amd/display: Restore 5s vbl offdelay for NV3x+ DGPUs"Leo Li1-15/+3
2026-07-17drm/amd/display: check GRPH_FLIP status before sending eventLeo Li3-40/+197
2026-07-17drm/amd/display: consolidate DCN vblank/flip handling onto vupdate_no_lockLeo Li2-189/+228
2026-07-17drm/amd: Create a device link between APU display and XHCI devicesMario Limonciello3-1/+68
2026-07-17drm/amd/display: wire DCN42B mcache programming callbackPengpeng Hou1-2/+0
2026-07-17drm/amd/display: set new_stream to NULL after releaseWenTao Liang1-0/+1
2026-07-17drm/amd/display: Force PWM backlight on Lenovo Legion 5 15ARH05Alessandro Rinaldi3-2/+15
2026-07-17drm/amdkfd: free MQD managers on DQM init failuresGuangshuo Li1-0/+4
2026-07-17drm/amdgpu/ttm: Consider concurrent VM flushes for buffer entitiesTimur Kristóf1-5/+15
2026-07-17drm/amd/pm/smu7: Fix AC/DC switch notificationTimur Kristóf1-6/+10
2026-07-17drm/amdgpu: Disable PCIe dynamic speed switching on Ryzen Pinnacle RidgeMario Limonciello1-0/+9
2026-07-17drm/amdgpu: always emit the job vm fenceAlex Deucher1-6/+4
2026-07-17drm/amd/pm/si: Fix AC/DC switch notificationTimur Kristóf1-6/+9
2026-07-17drm/amd/pm/si: Don't schedule thermal work when queue isn't initializedTimur Kristóf1-1/+1
2026-07-17drm/amd/display: dce100: skip non-DP stream encoders for DP MSTAndriy Korud1-1/+6
2026-07-17drm/amd/display: Set native cursor mode for disabled CRTCsTimur Kristóf1-1/+6
2026-07-17drm/amd/pm/ci: Don't disable MCLK DPM on Bonaire 0x6658 (R7 260X)Timur Kristóf1-5/+2
2026-07-17drm/amd/display: fix __udivdi3 link erroryanglinlin1-6/+5
2026-07-17drm/amdgpu: Reserve space for IB contents in devcoredumpsTimur Kristóf1-0/+3
2026-07-17drm/amdgpu: Print vmid, pasid and more task info in devcoredumpTimur Kristóf2-1/+7
2026-07-17drm/amdgpu: Release VFCT ACPI table referenceMario Limonciello1-6/+11
2026-07-17drm/amdgpu: Fix VFCT bus number matching with soft filterMario Limonciello1-5/+40
2026-07-17drm/amdgpu: fix bo->pin leaking in amdgpu_bo_create_reservedZhu Lingshan1-5/+8
Copyright © 1996 – 2026 Jason A. Donenfeld. All Rights Reverse Engineered.