Johannes Kanig d97cd4f5f3 Use environment variables to pass socket and semaphore name to other executables ...

We simplify computation of the socket name (and semaphore name, which is
derived) by using the process ID instead of the hash of the project file
name. This allows running gnatprove invocations in parallel on the same
project (with additional measures).

2024-07-19 09:19:34 +00:00

..

.gitignore

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

conf.py

fix all pre-commit violations in spark2014 repo

2023-09-20 09:36:25 +00:00

counterexamples.rst

W209-022 Update GNATprove developer guide about CE

2023-02-10 15:10:19 +00:00

flow_analysis.rst

minor fix typos and outdated info in flow developer doc

2019-11-13 12:34:27 +01:00

gg.rst

describe GG in developer doc

2019-12-17 09:24:58 +01:00

gnatwhy3.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

gps_integration.rst

T918-001, T928-006 Move to Sphinx 3.2

2020-10-15 11:48:52 +02:00

index.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

legality_checking.rst

S311-004 Add marking phase to developer doc

2019-03-18 11:32:25 +01:00

make.bat

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

Makefile

Q801-006 initial commit for developer guide

2017-08-02 05:08:18 +02:00

miscellaneous.rst

Fix misspelling of developer

2021-11-07 04:42:41 +13:00

tool_interaction.rst

Remove support for manual proof through Why3 in SPARK

2023-10-12 07:25:21 +00:00

tool_structure.rst

Use environment variables to pass socket and semaphore name to other executables

2024-07-19 09:19:34 +00:00

translation_why3.rst

Update description of the move tree in the devel guide

2024-07-01 14:54:31 +02:00