16014124229

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
16014124229	master	purify false terms in bv array (#580)	push	02 Jul 2025 01:54AM UTC	web-flow	github	65.36
16013029867	cp-commit-02b6501	purify false terms in bv array	Pull #580	02 Jul 2025 12:29AM UTC	ahmed-irfan	github	65.36
15967013097	yices2-mcsat-portfolio-py	Update yices2_parallel.py	Pull #564	30 Jun 2025 07:56AM UTC	web-flow	github	65.37
15940976488	mcsat-unsat-core	Merge branch 'master' into mcsat-unsat-core	Pull #578	28 Jun 2025 05:45AM UTC	web-flow	github	65.43
15940800418	mcsat-unsat-core	fix mcsat unsat core issue + tests	Pull #578	28 Jun 2025 05:23AM UTC	ahmed-irfan	github	65.45
15940498471	master	Update solver.c	push	28 Jun 2025 04:42AM UTC	web-flow	github	65.35
15931950279	master	update doc -- type macros (#570)	push	27 Jun 2025 05:18PM UTC	web-flow	github	65.35
15923151918	nsat-target	initial target best in nsat	push	27 Jun 2025 09:44AM UTC	ahmed-irfan	github	65.3
15911908982	master	Mcsat part restart (#579) minor update to partial restart	push	26 Jun 2025 08:54PM UTC	web-flow	github	65.35
15911896519	mcsat-part-restart	Merge 8e8d7f321 into 2f01d8ae3	Pull #579	26 Jun 2025 08:50PM UTC	web-flow	github	65.35
15911895508	mcsat-part-restart	Merge branch 'master' into mcsat-part-restart	push	26 Jun 2025 08:42PM UTC	web-flow	github	65.35
15911871348	mcsat-part-restart	minor	push	26 Jun 2025 08:40PM UTC	ahmed-irfan	github	65.35
15855252502	master	Mcsat partial restart (#577) * mcsat partial restart * more * fix * more fix * minor * format * format * partial restart stat	push	24 Jun 2025 03:57PM UTC	web-flow	github	65.35
15844532415	mcsat-unsat-core	Merge branch 'master' into mcsat-unsat-core	Pull #578	24 Jun 2025 08:30AM UTC	web-flow	github	65.44
15844530686	mcsat-unsat-core	Merge a2972a248 into 66cb5dc42	Pull #578	24 Jun 2025 08:25AM UTC	web-flow	github	65.44

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