index
:
kernel/git/cmarinas/kernel-tla.git
master
Kernel TLA+ specs
Catalin Marinas
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
master
asidalloc: Fix inadvertently removed line from UniqueASIDActiveTask
Catalin Marinas
3 years
Age
Commit message
Author
Files
Lines
2021-09-10
asidalloc: Fix inadvertently removed line from UniqueASIDActiveTask
HEAD
master
Catalin Marinas
1
-17
/
+19
2021-08-05
asidalloc: Model PTEs and an asynchronous try_to_unmap_one() call
Catalin Marinas
2
-108
/
+263
2020-10-15
fpsimd: Termination added by PlusCal
Catalin Marinas
1
-2
/
+5
2020-10-15
Add fpsimd.tla to README
Catalin Marinas
1
-0
/
+5
2020-10-15
Change check.sh to use the TLA+ tools wrapper scripts
Catalin Marinas
2
-20
/
+13
2019-09-20
fpsimd: Add SVE support
Catalin Marinas
1
-82
/
+275
2019-08-21
fpsimd: Initial support for the kernel FPSIMD state tracking
Catalin Marinas
2
-0
/
+830
2019-08-20
check.sh: Update variable parsing/splitting to use awk
Catalin Marinas
3
-10
/
+91
2019-03-01
check.sh: Remove the java.activation module option
Catalin Marinas
1
-1
/
+3
2019-02-07
Fix check.sh to deal with single-line 'vars' definition
Catalin Marinas
1
-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