| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
compatible change.
|
|
|
|
Currently, `make ci-sf` downloads and builds the files in the main root
directory. we fix that.
|
|
Committed on master by mistake. Clearly I'm too clumsy to be trusted
with push rights.
This reverts commit d606a85d53fbd0227b15e18701e2ac4c9d911f34.
|
|
|
|
|
|
|
|
|
|
source.
|
|
Closes #6194 .
|
|
|
|
|
|
|
|
to use among several of them
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This was dead code, probably due to the fact it was once shared with the
kernel stack type.
|
|
It was actually not used. The only place generating one was easily writable
without it.
|
|
This fixes #6286 as suggested by PMP. See details of discussion at #6286.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In particular we must invalidate the state cache in the case of an
exception.
|
|
|
|
This was redundant with ZcaseT, the only difference lying in the use or not
of fclosures for substerms. This code was removed from the kernel in commit
f2f805ed, we finish the work in the checker now.
|
|
|
|
|
|
|
|
|
