16277389827

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
16277389827	yices2-mcsat-portfolio-py	Merge branch 'master' into yices2-mcsat-portfolio-py	push	14 Jul 2025 08:51PM UTC	web-flow	github	65.33
16277233715	master	RENAME: mcsat nra to na (#593) * rename nra to na * update build script * na folder * update	push	14 Jul 2025 08:41PM UTC	web-flow	github	65.33
16276772375	nra-to-na	update	Pull #593	14 Jul 2025 08:17PM UTC	ahmed-irfan	github	65.33
16275309217	nra-to-na	na folder	Pull #593	14 Jul 2025 07:03PM UTC	ahmed-irfan	github	65.33
16275309568	nra-to-na	Merge e50b6634a into 68aa78a6d	Pull #593	14 Jul 2025 07:03PM UTC	web-flow	github	65.33
16260479254	master	rename yices status enum (#587) * rename yices status enum * one more change * typo * rename NO_ERROR to YICES_NO_ERROR * update	push	14 Jul 2025 07:25AM UTC	web-flow	github	65.33
16260494152	master	keep binary clauses for additional clause reduce round (#592) * keep binary clauses for additional clause reduce round * update test option	push	14 Jul 2025 07:25AM UTC	web-flow	github	65.33
16260045958	mcsat-imp-clause-db	update test option	Pull #592	14 Jul 2025 07:07AM UTC	ahmed-irfan	github	65.33
16259921143	rename-yices-status-enum	Merge branch 'master' into rename-yices-status-enum	Pull #587	14 Jul 2025 06:54AM UTC	web-flow	github	65.33
16259857068	mcsat-imp-clause-db	keep binary clauses for additional clause reduce round	Pull #592	14 Jul 2025 06:49AM UTC	ahmed-irfan	github	65.33
16245367454	master	test (#591)	push	13 Jul 2025 04:42AM UTC	web-flow	github	65.33
16245210442	iss396-test	test	Pull #591	13 Jul 2025 04:20AM UTC	ahmed-irfan	github	65.33
16236401018	fix-iss-414	Merge 157090903 into 8e7f8faf3	Pull #590	12 Jul 2025 09:06AM UTC	web-flow	github	65.32
16236321301	fix-iss-414	fixes #414	push	12 Jul 2025 08:55AM UTC	ahmed-irfan	github	65.32
16231315805	rename-yices-status-enum	update	Pull #587	11 Jul 2025 11:12PM UTC	ahmed-irfan	github	65.33

← Previous
1
2
3
4
5
6
7
8
9
…
119
120
Next →