9592580200

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
9592580200	master	support qf-bvlra in Yices2 CDCL(T) (#515) * support qf-bvlra * add logic in the manual	push	20 Jun 2024 06:26AM UTC	web-flow	github	65.72
9591866321	bvlra	Merge branch 'master' into bvlra	Pull #515	20 Jun 2024 05:09AM UTC	web-flow	github	65.72
9591841677	master	hints for reals (#516)	push	20 Jun 2024 05:07AM UTC	web-flow	github	65.73
9591712939	hint-real-decisions	Merge branch 'master' into hint-real-decisions	Pull #516	20 Jun 2024 04:47AM UTC	web-flow	github	65.73
9591713053	hint-real-decisions	Merge 6f93e3d4d into 558d951b7	Pull #516	20 Jun 2024 04:47AM UTC	web-flow	github	pending completion set done
9569239581	master	Fixes missing comparison in eq_pprod_hobj (#520) Co-authored-by: Thomas Hader <tom@hader.email>	push	18 Jun 2024 05:14PM UTC	web-flow	github	65.73
9565410962	issue-519	Merge f3ad6904a into f06761440	Pull #520	18 Jun 2024 01:03PM UTC	web-flow	github	65.73
9522750172	mcsat-ufnra-model-fix	update test	Pull #518	14 Jun 2024 09:55PM UTC	ahmed-irfan	github	65.73
9423753001	smtcomp2024	Merge remote-tracking branch 'origin/hint-real-decisions' into smtcomp2024	push	07 Jun 2024 10:24PM UTC	Ahmed Irfan	github	65.73
9359264815	hint-real-decisions	hints for reals	Pull #516	04 Jun 2024 12:45AM UTC	ahmed-irfan	github	65.73
9336507225	bvlra	add logic in the manual	Pull #515	02 Jun 2024 07:23AM UTC	ahmed-irfan	github	65.72
9336408137	bvlra	support qf-bvlra	Pull #515	02 Jun 2024 07:07AM UTC	ahmed-irfan	github	65.72
9226448713	ffsat	Merge da66d3d5d into f06761440	Pull #513	24 May 2024 03:42PM UTC	web-flow	github	65.99
9225189528	ffsat	Merge bf39b5d9f into f06761440	Pull #513	24 May 2024 02:09PM UTC	web-flow	github	64.72
9225134568	ffsat	Merge d64407022 into f06761440	Pull #513	24 May 2024 02:05PM UTC	web-flow	github	64.72

← Previous
1
2
…
12
13
14
15
16
17
18
19
20
…
119
120
Next →