4013

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
4013	master	Merge pull request #1905 from goblint/overflow-kind-minus Distinguish unary and binary minus in overflow messages	push	30 Dec 2025 03:25AM UTC	web-flow	github	65.41
4010	overflow-kind-minus	Merge 391ce3a64 into 379b3a197	Pull #1905	29 Dec 2025 01:04PM UTC	web-flow	github	65.41
4009	cast-kind	Merge 9437f979a into 379b3a197	Pull #1894	29 Dec 2025 12:37PM UTC	web-flow	github	65.42
4008	cast-kind	Merge 4dcbd61ab into 379b3a197	Pull #1894	29 Dec 2025 12:26PM UTC	web-flow	github	65.42
4007	apron-unassume-extra-trivial	Merge de2d51e7b into 379b3a197	Pull #1904	29 Dec 2025 11:48AM UTC	web-flow	github	65.42
4006	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	29 Dec 2025 03:35AM UTC	web-flow	github	65.42
4005	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	28 Dec 2025 03:35AM UTC	web-flow	github	65.42
4004	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	27 Dec 2025 03:19AM UTC	web-flow	github	65.42
4002	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	26 Dec 2025 03:22AM UTC	web-flow	github	65.42
4001	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	25 Dec 2025 03:25AM UTC	web-flow	github	65.42
3999	master	Merge pull request #1890 from goblint/list-concat_map-map Extract `GobLint.cartesian_*map` functions	push	23 Dec 2025 03:24AM UTC	web-flow	github	65.42
3998	cast-kind	Merge bd652db6b into 5c469beba	Pull #1894	22 Dec 2025 01:21PM UTC	web-flow	github	65.42
3997	master	Add VMCAI'26 artifact description (#1893) Co-authored-by: Simmo Saan <simmo.saan@gmail.com> Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	push	22 Dec 2025 03:29AM UTC	web-flow	github	65.41
3996	master	Add VMCAI'26 artifact description (#1893) Co-authored-by: Simmo Saan <simmo.saan@gmail.com> Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	push	21 Dec 2025 03:27AM UTC	web-flow	github	65.41
3995	master	Add VMCAI'26 artifact description (#1893) Co-authored-by: Simmo Saan <simmo.saan@gmail.com> Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	push	20 Dec 2025 03:12AM UTC	web-flow	github	65.41

← Previous
1
2
3
4
5
6
7
8
9
…
157
158
Next →