4161

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
4161	master	Merge pull request #1940 from goblint/addressdomain-of_int Make int to pointer case more precise for non-zero ints, reuse `AD.of_int`	push	09 Feb 2026 04:16AM UTC	web-flow	github	65.52
4160	master	Merge pull request #1940 from goblint/addressdomain-of_int Make int to pointer case more precise for non-zero ints, reuse `AD.of_int`	push	08 Feb 2026 04:29AM UTC	web-flow	github	65.52
4159	master	Merge pull request #1940 from goblint/addressdomain-of_int Make int to pointer case more precise for non-zero ints, reuse `AD.of_int`	push	07 Feb 2026 04:00AM UTC	web-flow	github	65.52
4158	master	Merge pull request #1932 from goblint/calloc-speculating Fix spurious `*` overflow check in `calloc` implementation	push	06 Feb 2026 04:06AM UTC	web-flow	github	65.53
4155	master	Merge pull request #1932 from goblint/calloc-speculating Fix spurious `*` overflow check in `calloc` implementation	push	05 Feb 2026 04:06AM UTC	web-flow	github	65.53
4153	addressdomain-of_int	Merge 7881999eb into 5bbc187f5	Pull #1940	04 Feb 2026 10:30AM UTC	web-flow	github	65.52
4152	intdomain-equal_to	Merge 5bbc187f5 into 874852267	Pull #1939	04 Feb 2026 09:56AM UTC	web-flow	github	65.53
4151	overflow-mod	Merge 49f8bb81c into f857a3a5f	Pull #1935	04 Feb 2026 09:12AM UTC	web-flow	github	65.53
4150	calloc-speculating	Merge 7e1ecf633 into 3127a30ca	Pull #1932	04 Feb 2026 08:47AM UTC	web-flow	github	65.53
4149	cil-issue-183-pr-211	Merge c3488abe4 into 3127a30ca	Pull #1930	04 Feb 2026 08:43AM UTC	web-flow	github	65.52
4148	master	Fix typos in comments and string literals (#1924) * Initial plan * Fix typos in variable names and comments Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com> * Complete typo audit and fixes Co-authored-by: mi...	push	04 Feb 2026 04:04AM UTC	web-flow	github	65.52
4140	master	Fix typos in comments and string literals (#1924) * Initial plan * Fix typos in variable names and comments Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com> * Complete typo audit and fixes Co-authored-by: mi...	push	03 Feb 2026 04:07AM UTC	web-flow	github	65.52
4135	master	Fix typos in comments and string literals (#1924) * Initial plan * Fix typos in variable names and comments Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com> * Complete typo audit and fixes Co-authored-by: mi...	push	02 Feb 2026 04:15AM UTC	web-flow	github	65.52
4134	master	Fix typos in comments and string literals (#1924) * Initial plan * Fix typos in variable names and comments Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com> * Complete typo audit and fixes Co-authored-by: mi...	push	01 Feb 2026 04:23AM UTC	web-flow	github	65.52
4133	master	Fix typos in comments and string literals (#1924) * Initial plan * Fix typos in variable names and comments Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com> * Complete typo audit and fixes Co-authored-by: mi...	push	31 Jan 2026 03:50AM UTC	web-flow	github	65.52

← Previous
1
2
3
4
5
6
7
8
9
…
162
163
Next →