SRI-CSL / yices2 / 7983827186

Builds Branch Commit Type Ran Committer Via Coverage
7983827186 master Check parallel (#488) * Split test in two scripts * Parallel regression done * Code formatting * Build system update to use static libpoly for all builds when configured * Added GNU parallel support * Fixed GNU parallel escaping ... push web-flow github
65.53
7983139112 check-parallel Merge 62cc24f7f into 2f30a0a02 Pull #488 web-flow github
65.53
7979154155 master update to github actions checkout 4 (#490) push web-flow github
65.53
7978945217 update-actions-checkout-4 Merge 73075179a into 6771f95df Pull #490 web-flow github
65.53
7978938103 master fix a warning in an api test (#489) push web-flow github
65.53
7978754784 fix-check-api-warning Merge d2971a98d into ecac3fd9d Pull #489 web-flow github
65.53
7969817643 update-actions-checkout-4 update to github actions checkout 4 push ahmed-irfan github
65.53
7969668400 fix-check-api-warning fix warning push ahmed-irfan github
65.53
7966280101 check-parallel Merge a80dbe81b into ecac3fd9d Pull #488 web-flow github
65.53
7797142649 mcsat-glue-reduce add theory levels in the computation of glue push ahmed-irfan github
65.21
7468002860 master add check-api in the CI (#485) * Update action.yml * fix warning in an api test push web-flow github
65.53
7467872053 update-ci-check-api fix warning in an api test Pull #485 ahmed-irfan github
65.53
7463052650 tmp_good correct lemmas limit in the multi-check mode (#484) push disteph github
65.15
7417263347 mcsat-array-simplify-var-bump unsigned_term for bumping push ahmed-irfan github
65.15
7309926738 mcsat-glue-reduce log10 push ahmed-irfan github
65.14