2412

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2412	master	Merge pull request #1614 from goblint/semgrep-fold Replace some `fold`s with `exists` or `for_all`	push	03 Nov 2024 02:58AM UTC	web-flow	github	62.65
2411	master	Merge pull request #1614 from goblint/semgrep-fold Replace some `fold`s with `exists` or `for_all`	push	02 Nov 2024 02:48AM UTC	web-flow	github	62.65
2410	semgrep-fold	Merge 513662ce9 into 62cb655ab	Pull #1614	01 Nov 2024 11:09AM UTC	web-flow	github	62.65
2409	mine-W-part-by-S	Merge ba7ff17d6 into a080563ad	Pull #1613	01 Nov 2024 10:46AM UTC	web-flow	github	62.76
2407	master	Merge pull request #1607 from goblint/pthread_self Add `pthread_self` support	push	01 Nov 2024 03:02AM UTC	web-flow	github	62.65
2406	svcomp-auto-malloc	Merge 2508f1ac6 into a080563ad	Pull #1612	31 Oct 2024 06:39PM UTC	web-flow	github	62.62
2404	master	Merge pull request #1607 from goblint/pthread_self Add `pthread_self` support	push	31 Oct 2024 02:55AM UTC	web-flow	github	62.65
2403	pthread_self	Merge 1bb8db120 into 9a8dd4e63	Pull #1607	30 Oct 2024 01:46PM UTC	web-flow	github	62.65
2402	master	Merge pull request #1602 from goblint/stringdomain-hash Improve flat string domain hash	push	30 Oct 2024 02:54AM UTC	web-flow	github	62.65
2401	master	Merge pull request #1602 from goblint/stringdomain-hash Improve flat string domain hash	push	29 Oct 2024 02:55AM UTC	web-flow	github	62.65
2400	pthread_self	Merge 568e97cf3 into 9a8dd4e63	Pull #1607	28 Oct 2024 01:39PM UTC	web-flow	github	62.65
2399	pthread_self	Merge 01bff20b3 into 9a8dd4e63	Pull #1607	28 Oct 2024 12:16PM UTC	web-flow	github	62.65
2398	master	Merge pull request #1602 from goblint/stringdomain-hash Improve flat string domain hash	push	28 Oct 2024 02:58AM UTC	web-flow	github	62.65
2397	master	Merge pull request #1602 from goblint/stringdomain-hash Improve flat string domain hash	push	27 Oct 2024 02:57AM UTC	web-flow	github	62.65
2396	master	Merge pull request #1602 from goblint/stringdomain-hash Improve flat string domain hash	push	26 Oct 2024 02:49AM UTC	web-flow	github	62.65

← Previous
1
2
…
58
59
60
61
62
63
64
65
66
…
154
155
Next →