17444882622

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
17444882622	master	mcsat/tracing.c: missing default	push	03 Sep 2025 08:19PM UTC	karthiknukala	github	65.28
16339192434	master	Update control	push	17 Jul 2025 07:50AM UTC	web-flow	github	65.33
16339171509	master	Update changelog	push	17 Jul 2025 07:49AM UTC	web-flow	github	65.33
16337523445	master	preparing 2.7.0 (#596)	push	17 Jul 2025 06:15AM UTC	web-flow	github	65.33
16336750460	2.7.0	Merge 85cf17e44 into ffe11c684	Pull #596	17 Jul 2025 05:19AM UTC	web-flow	github	65.33
16328085483	2.7.0	preparing 2.7.0	push	16 Jul 2025 07:14PM UTC	ahmed-irfan	github	65.33
16307900500	master	update doc about parallel yices2	push	16 Jul 2025 01:20AM UTC	ahmed-irfan	github	65.33
16286939591	update-cov	Merge 59cdb839f into 02f5f542c	Pull #594	15 Jul 2025 07:38AM UTC	web-flow	github	65.33
16286750535	update-cov	update cov test list	push	15 Jul 2025 07:28AM UTC	ahmed-irfan	github	65.33
16285952522	master	yices2_parallel.py (#564) * Create yices2_mcsat_parallel.py * Update yices2_mcsat_parallel.py * Update yices2_mcsat_parallel.py * update portfolio * update portfolio * Update yices2_parallel.py * Update yices2_parallel.py	push	15 Jul 2025 06:45AM UTC	web-flow	github	65.33
16284290385	fix-some-printing	Merge 4e93e1c62 into ed9086a69	Pull #479	15 Jul 2025 04:54AM UTC	web-flow	github	65.33
16279396471	mcsat-unsat-core	minor	Pull #578	14 Jul 2025 10:45PM UTC	ahmed-irfan	github	65.41
16278771465	mcsat-unsat-core	fix	Pull #578	14 Jul 2025 10:05PM UTC	ahmed-irfan	github	65.41
16277455020	fix-iss-414	Merge branch 'master' into fix-iss-414	Pull #590	14 Jul 2025 09:12PM UTC	web-flow	github	65.32
16277413214	yices2-mcsat-portfolio-py	Update yices2_parallel.py	Pull #564	14 Jul 2025 08:51PM UTC	web-flow	github	65.33

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