- 04 Mar, 2021 3 commits
-
-
Guillaume Melquiond authored
-
François Bobot authored
Resolve ""why3 config detect" detects every binary executable only once" Closes #561 See merge request !494
-
François Bobot authored
-
- 03 Mar, 2021 9 commits
-
-
Benedikt Becker authored
RAC improvements from SPARK II See merge request !495
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
François Bobot authored
-
- 02 Mar, 2021 8 commits
-
-
Guillaume Melquiond authored
Correctly handle composite commands in usage and error messages. See merge request !493
-
Guillaume Melquiond authored
Before, the code would display $ bin/why3 config show -B why3: unrecognized option '-B' Try 'why3 --help' for more information. Now it correctly displays the whole command, e.g., "why3 config show" here. The same issue would happen with usage messages.
-
Guillaume Melquiond authored
Use subcommands instead of options for "why3 config". See merge request !492
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
Restructure Why3 configuration and autoconfiguration See merge request !478
-
François Bobot authored
-
François Bobot authored
remove the exceptions in the program flow
-
- 01 Mar, 2021 8 commits
-
-
François Bobot authored
-
François Bobot authored
-
Guillaume Melquiond authored
This commit also renames the "same_as" field of "manual_binary" to just "name".
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
Only remove the shortcut of the old one
-
- 28 Feb, 2021 3 commits
-
-
Guillaume Melquiond authored
Kill the Why3 worker only if no Alt-Ergo workers are running (fix #516). Closes #516 See merge request !491
-
Guillaume Melquiond authored
This commit also creates Alt-Ergo workers on demand rather than up front. It also fixes a crash when the user sets a new number of workers.
-
Guillaume Melquiond authored
-
- 25 Feb, 2021 9 commits
-
-
Guillaume Melquiond authored
Add support for Broadway in the deployed image. See merge request !490
-
Guillaume Melquiond authored
The wrapper script checks for the WHY3IDE environment variable to decide whether it should intercept the "ide" command and launch broadwayd. Pango, as shipped in the deployed image, does not seem to appreciate font size specifications, thus causing text to appear only in menus and dialogs. So, we disable this feature when the GDK_BACKEND environment variable is set to "broadway".
-
MARCHE Claude authored
-
MARCHE Claude authored
-
Benedikt Becker authored
Fixes for RAC from SPARK See merge request !489
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-
Benedikt Becker authored
-