المهنة
مطوّرو البرمجيات
الوصف
Measure whether a codebase's verification actually touches the world, or whether it is checking itself. Keel gathers the verification edges it can read in a target (GitHub Actions, CircleCI, GitLab CI, Travis, package scripts, Makefile, Rakefile, pyproject…
لغة النص الأصلي: الإنجليزية
آخر تحديث