Mentions légales du service

Skip to content

Fixes from the integration of check-ce in SPARK

Benedikt Becker requested to merge from-spark-2 into master

Most commits are bugfixes or cosmetic, only the last ones are notable:

  • Keep result variables in VC SP
  • Assume conjuncts marked by RAC:assume during RAC (with description in commit)
  • Use attribute RAC:call_id to find return values in giant-step RAC (with description in commit)
Edited by Benedikt Becker

Merge request reports