https://github.com/EasyCrypt/easycrypt
Revision 96f356b91896fb1b44078ee6c48b12d1788c5553 authored by Pierre-Yves Strub on 19 August 2024, 08:44:19 UTC, committed by Pierre-Yves Strub on 23 August 2024, 07:09:31 UTC
For that purpose, we now start Why3 manually and connect to it as if it were an external Why3 server instance. The Why3 server is put in its own process groups and does not receive the signals (SIGINT, SIGTERM e.g.) directly received by EasyCrypt. The Why3 server is started s.t. it shutdowns itself gracefully when EasyCrypt disconnects from it.
1 parent 791bfa7
Tip revision: 96f356b91896fb1b44078ee6c48b12d1788c5553 authored by Pierre-Yves Strub on 19 August 2024, 08:44:19 UTC
internal: handle CTRL+C properly w.r.t. Why3 server
internal: handle CTRL+C properly w.r.t. Why3 server
Tip revision: 96f356b
File | Mode | Size |
---|---|---|
.github | ||
config | ||
examples | ||
scripts | ||
src | ||
tests | ||
theories | ||
.dir-locals.el | -rw-r--r-- | 285 bytes |
.gitignore | -rw-r--r-- | 132 bytes |
AUTHORS | -rw-r--r-- | 543 bytes |
LICENSE | -rw-r--r-- | 1.2 KB |
Makefile | -rw-r--r-- | 1.5 KB |
README.md | -rw-r--r-- | 8.0 KB |
dune | -rw-r--r-- | 221 bytes |
dune-project | -rw-r--r-- | 450 bytes |
easycrypt.opam | -rw-r--r-- | 1.4 KB |
easycrypt.opam.template | -rw-r--r-- | 834 bytes |
easycrypt.png | -rw-r--r-- | 182.6 KB |
easycrypt.project | -rw-r--r-- | 70 bytes |
flake.lock | -rw-r--r-- | 6.9 KB |
flake.nix | -rw-r--r-- | 3.0 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...