diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-11-05T19·10-0700 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-11-08T08·41+0000 |
commit | e816d3a9dce30dc49ca830d705ccb6e5bfd569e8 (patch) | |
tree | 216bda7f2ecee01d8a35f92fbed3b65d01e2a781 /.rgignore | |
parent | 83dabf8955bae6d8dce4a06745d72f661fb5a0e0 (diff) |
docs(tvix/eval): document abandoned thread-local vm r/5261
This commit adds a markdown document which explains how the thread-local VM infrastructure works, in case it is useful in the future. Change-Id: Id10e32a9e3c5fa38a15d4bec9800f7234c59234a Reviewed-on: https://cl.tvl.fyi/c/depot/+/7193 Tested-by: BuildkiteCI Autosubmit: Adam Joseph <adam@westernsemico.com> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions