25268658844

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
25268658844	fix-iss-414	Move unsupported MCSAT regressions out of both	Pull #590	03 May 2026 03:29AM UTC	disteph	github	66.69
25268659574	fix-iss-414	Merge 2d0d0be97 into 485acafd9	Pull #590	03 May 2026 03:29AM UTC	web-flow	github	66.69
25267023082	master	Fix #613 MCSAT curried function model reconstruction (#614) * Fix MCSAT curried function model reconstruction * Fix both-regression baseline solver invocation * Make curried MCSAT API test NDEBUG-safe * Enable asserts in curried MCSAT API test...	push	03 May 2026 01:56AM UTC	web-flow	github	66.69
25266440890	issue-613-mcsat-curried-function-model	Add stress regression for MCSAT curried function model int_hmap resize tests/regress/mcsat/arrays/issue613_many_curried.smt2 declares 25 curried arrays of type (Array Int (Array Int Int)) and asserts (select (select a_i i) i) = 100 + i for each...	Pull #614	03 May 2026 01:24AM UTC	disteph	github	66.69
25262386950	issue-613-mcsat-curried-function-model	Add MCSAT SMT2 regression for issue 613	Pull #614	02 May 2026 09:41PM UTC	disteph	github	66.68
23882467517	mcsat-supplement-cdclt	Merge branch 'master' into mcsat-supplement-cdclt	Pull #611	02 Apr 2026 04:19AM UTC	web-flow	github	66.73
23882467937	mcsat-supplement-cdclt	Merge 4003e85ba into 895707f23	Pull #611	02 Apr 2026 04:16AM UTC	web-flow	github	66.73
23882474409	context_delegates	Merge branch 'master' into context_delegates	Pull #607	02 Apr 2026 04:00AM UTC	web-flow	github	66.7
23882458613	issue-613-mcsat-curried-function-model	Merge branch 'master' into issue-613-mcsat-curried-function-model	Pull #614	02 Apr 2026 03:43AM UTC	web-flow	github	66.68
23861667837	master	Fix order in logic names (#619)	push	01 Apr 2026 05:33PM UTC	web-flow	github	66.54
23740908015	fix-logic-order	Merge 39ead1d23 into 016a6243d	Pull #619	30 Mar 2026 04:34PM UTC	web-flow	github	66.54
22981281920	issue-613-mcsat-curried-function-model	Enable asserts in curried MCSAT API test	Pull #614	12 Mar 2026 12:56AM UTC	disteph	github	66.68
22888904465	mcsat-supplement-cdclt	Add broad CDCL(T)+supplementary-MCSAT API coverage	Pull #611	10 Mar 2026 05:51AM UTC	disteph	github	66.73
22887625938	mcsat-supplement-cdclt	Fix supplemental trigger to preserve div-by-zero errors	Pull #611	10 Mar 2026 04:58AM UTC	disteph	github	66.15
22886107522	master	Finite Field API extension (#605) * FF type + term constructors Added yices_ff_type(mpz_t order) with prime-order validation (INVALID_FFSIZE on non-prime). Added FF term constructors: yices_ff_const yices_ff_add, yices_ff_sub, yic...	push	10 Mar 2026 03:54AM UTC	web-flow	github	66.54

← Previous
1
2
3
4
5
6
7
8
9
…
126
127
Next →