Sign in
kernel
/
pub
/
scm
/
linux
/
kernel
/
git
/
cmarinas
/
kernel-tla
Kernel TLA+ specs
Mirrored from
git://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git
Clone this repo:
Branches
master
5f13982
asidalloc: Fix inadvertently removed line from UniqueASIDActiveTask
by Catalin Marinas
· 2 years, 6 months ago
master
50c387f
asidalloc: Model PTEs and an asynchronous try_to_unmap_one() call
by Catalin Marinas
· 2 years, 8 months ago
0278eff
fpsimd: Termination added by PlusCal
by Catalin Marinas
· 3 years, 5 months ago
49bc145
Add fpsimd.tla to README
by Catalin Marinas
· 3 years, 5 months ago
7d90d07
Change check.sh to use the TLA+ tools wrapper scripts
by Catalin Marinas
· 3 years, 5 months ago
efdeef9
fpsimd: Add SVE support
by Catalin Marinas
· 4 years, 7 months ago
b62ac94
fpsimd: Initial support for the kernel FPSIMD state tracking
by Catalin Marinas
· 4 years, 7 months ago
fd5db28
check.sh: Update variable parsing/splitting to use awk
by Catalin Marinas
· 4 years, 7 months ago
ffaaad7
check.sh: Remove the java.activation module option
by Catalin Marinas
· 5 years ago
3192561
Fix check.sh to deal with single-line 'vars' definition
by Catalin Marinas
· 5 years ago
fc4503b
check.sh: Fix typo
by Catalin Marinas
· 5 years ago
cc63c04
check.sh: Add java option so that TLC still works with Java 10
by Catalin Marinas
· 5 years ago
3a1aacf
check.sh: Remove the tlc -cleanup option
by Catalin Marinas
· 5 years ago
0b67a9a
ctxsw: Add switch_mm() (a.k.a. activate_mm) call in exec_mmap()
by Catalin Marinas
· 6 years ago
b22b2b0
ctxsw: Replace some local variables with 'with' statements
by Catalin Marinas
· 6 years ago
5b16677
ctxsw: Introduce a task.state variable to track dead threads
by Catalin Marinas
· 6 years ago
ac7564f
ctxsw: Remove the sleep() macro
by Catalin Marinas
· 6 years ago
7a7c349
ctxsw: Introduce proc_mm[] to keep track of the current mm on a CPU
by Catalin Marinas
· 6 years ago
4e46179
ctxsw: Introduce an IntCall() action
by Catalin Marinas
· 6 years ago
0f8cf64
ctxsw: Move 'cpu' into the task structure
by Catalin Marinas
· 6 years ago
More »