12283872279

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
12283872279	master	Update nra_plugin.c (#543)	push	11 Dec 2024 08:03PM UTC	web-flow	github	65.92
12283608263	nra-hints-patch	Update nra_plugin.c	Pull #543	11 Dec 2024 07:43PM UTC	web-flow	github	65.92
12044473295	mcsat-target-best	minor	push	27 Nov 2024 05:50AM UTC	ahmed-irfan	github	65.94
11901838448	mcsat-target-best	clear all caches before setting hints	push	18 Nov 2024 10:06PM UTC	ahmed-irfan	github	65.95
11809552079	master	reintroduce interval approx hints (#537)	push	13 Nov 2024 02:44AM UTC	web-flow	github	65.92
11809308427	reintroduce-interval-approx-nra	reintroduce interval approx hints	Pull #537	13 Nov 2024 02:20AM UTC	ahmed-irfan	github	65.92
11640587130	master	Improved Integer handling in NRA plugin (#533) * Update propagation with lp_feasibility_set_is_point_int. * Use lp_feasibility_set_contains_int() instead of pick_value. * Removed duplicated line. * Code cleanup: fixed variable name * ...	push	02 Nov 2024 06:36AM UTC	web-flow	github	65.92
11259421365	nra-int-update	Merge 3caa9ce64 into 234bd18c7	Pull #533	09 Oct 2024 04:55PM UTC	web-flow	github	65.92
11175689699	mcsat-target	target	push	04 Oct 2024 07:25AM UTC	ahmed-irfan	github	65.93
11149077147	master	check cached value if it must be decided (#531)	push	02 Oct 2024 06:09PM UTC	web-flow	github	65.92
11148680642	nra-cached-must-decide	check cached value if it must be decided	Pull #531	02 Oct 2024 05:39PM UTC	ahmed-irfan	github	65.92
11078489574	mcsat-new-reduce	progress	push	27 Sep 2024 10:34PM UTC	ahmed-irfan	github	65.93
10861100690	master	fix mcsat clause rescaling (#530)	push	14 Sep 2024 08:58AM UTC	web-flow	github	65.92
10860975009	ahmed-irfan-patch-1	fix mcsat clause rescaling	Pull #530	14 Sep 2024 08:38AM UTC	web-flow	github	65.92
10807147137	master	remove duplicated code about hints in mcsat (#529)	push	11 Sep 2024 07:45AM UTC	web-flow	github	65.92

← Previous
1
2
…
9
10
11
12
13
14
15
16
17
…
119
120
Next →