ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

18511 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Johannes Kanig
723d72a7b5 Merge branch 'topic/kanig-win-patch' into 'master' 
Why3 server cleanups

For eng/shared/release#1454

See merge request eng/spark/why3!113
 2026-02-10 09:43:23 +00:00
Johannes Kanig
a6dc469060 Check return codes of system calls 2026-02-10 10:13:41 +09:00
Johannes Kanig
128cbf77d7 Fix checking of error code of GetQueuedCompletionStatus 2026-02-10 10:02:43 +09:00
Johannes Kanig
572165c251 Cleanup of handled job object messages 
Only process exit messages need to be handled. The others are
informative or the server doesn't care.
 2026-02-10 09:57:45 +09:00
Johannes Kanig
c08c9144d9 Children of Windows server killed on exit 
This is achieved by setting JOB_OBJECT_LIMIT_KILL_ON_JOB_CLOSE on their
limit object.
 2026-02-10 09:18:59 +09:00
Johannes Kanig
aa6a5b60ab Make Linux termination code safer 2026-02-10 09:18:28 +09:00
Johannes Kanig
cf38d3ce38 Tentative fix for grandchildren 2026-02-05 18:55:45 +09:00
Johannes Kanig
23421c3075 Merge branch 'topic/kanig-merge' into 'master' 
Why3 merge into AdaCore master

Issue: eng/spark/spark2014#1146

See merge request eng/spark/why3!110
 2026-01-05 09:55:22 +00:00
Johannes Kanig
3262153853 Various postmerge adaptations 2025-12-15 17:51:17 +09:00
Johannes Kanig
244b0ee135 Regenerate configure 2025-12-15 17:51:02 +09:00
Johannes Kanig
68ed738789 Revert "[Debug_option] Use default ppxlib ast for better compatibility" 
This reverts commit 3f5b3c1dd1.
 2025-12-15 17:14:38 +09:00
Johannes Kanig
25b13e2cab merge commit 2025-12-15 10:45:08 +09:00
MARCHE Claude
e42c43804e Merge branch 'weekly_full_bench' into 'master' 
Weekly full bench

See merge request why3/why3!1243
 2025-12-11 23:21:29 +01:00
Claude Marche
efed8566d6 provers for reduced bench 2025-12-11 21:28:15 +01:00
Claude Marche
9fb8f8f2c7 bench reduced using bench image with more provers 2025-12-11 18:25:13 +01:00
Benjamin Terra-Jorge
993ed183c1 Merge branch 'support-interfaces-in-parsing-api' into 'master' 
Support interfaces in parsing api

See merge request why3/why3!1268
 2025-12-11 16:53:06 +00:00
Benjamin Jorge
d33cd189df Update CHANGES.md and API doc 2025-12-11 16:36:03 +01:00
Claude Marche
d818a981f2 fix cmd line for E-prover 3.x 2025-12-11 16:29:16 +01:00
Claude Marche
df84e66e41 bench run only manually 2025-12-11 14:29:35 +01:00
Claude Marche
1558726fcb proper renaming of E prover 2.6 2025-12-11 13:58:58 +01:00
Claude Marche
3fe3c0b326 last attempt 2025-12-11 12:13:11 +01:00
Claude Marche
8e6377c940 again and againa and again 2025-12-11 12:10:40 +01:00
Claude Marche
4838becfba force remake image 2025-12-11 12:09:46 +01:00
Claude Marche
205cdd17fa remove again non working rule 2025-12-11 12:07:54 +01:00
Claude Marche
8acd97217c change image name, put back guard 2025-12-11 12:06:26 +01:00