aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterasidalloc: Fix inadvertently removed line from UniqueASIDActiveTaskCatalin Marinas3 years
 
 
AgeCommit messageAuthorFilesLines
2021-09-10asidalloc: Fix inadvertently removed line from UniqueASIDActiveTaskHEADmasterCatalin Marinas1-17/+19
2021-08-05asidalloc: Model PTEs and an asynchronous try_to_unmap_one() callCatalin Marinas2-108/+263
2020-10-15fpsimd: Termination added by PlusCalCatalin Marinas1-2/+5
2020-10-15Add fpsimd.tla to READMECatalin Marinas1-0/+5
2020-10-15Change check.sh to use the TLA+ tools wrapper scriptsCatalin Marinas2-20/+13
2019-09-20fpsimd: Add SVE supportCatalin Marinas1-82/+275
2019-08-21fpsimd: Initial support for the kernel FPSIMD state trackingCatalin Marinas2-0/+830
2019-08-20check.sh: Update variable parsing/splitting to use awkCatalin Marinas3-10/+91
2019-03-01check.sh: Remove the java.activation module optionCatalin Marinas1-1/+3
2019-02-07Fix check.sh to deal with single-line 'vars' definitionCatalin Marinas1-1/+4
[...]
 
Clone
git://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git
https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git
https://kernel.googlesource.com/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-04-29 09:58:49 +0000