2728

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2728	master	Merge pull request #1641 from goblint/witness_val_fail_cherrypick Fixes for Self-Validation Issues	push	04 Jan 2025 02:48AM UTC	web-flow	github	61.89
2727	witness_val_fail_cherrypick	Merge a71601771 into ef56bc70b	Pull #1641	03 Jan 2025 12:32PM UTC	web-flow	github	61.89
2726	master	Merge pull request #1552 from goblint/traces-vojdani Optimize `none` base privatization, add eager Vojdani privatization	push	03 Jan 2025 02:52AM UTC	web-flow	github	62.08
2725	master	Merge pull request #1552 from goblint/traces-vojdani Optimize `none` base privatization, add eager Vojdani privatization	push	02 Jan 2025 02:50AM UTC	web-flow	github	62.08
2724	master	Merge pull request #1552 from goblint/traces-vojdani Optimize `none` base privatization, add eager Vojdani privatization	push	01 Jan 2025 02:58AM UTC	web-flow	github	62.08
2723	master	Merge pull request #1552 from goblint/traces-vojdani Optimize `none` base privatization, add eager Vojdani privatization	push	31 Dec 2024 02:51AM UTC	web-flow	github	62.08
2722	issue_1558_master	Merge f85f8a335 into ab54be84f	Pull #1644	30 Dec 2024 04:48PM UTC	web-flow	github	62.1
2721	issue_1558_master	Merge 250d660b8 into ab54be84f	Pull #1644	30 Dec 2024 04:44PM UTC	web-flow	github	62.1
2720	issue_1535	Merge bb534ffe0 into ab54be84f	Pull #1646	30 Dec 2024 04:37PM UTC	web-flow	github	62.09
2719	issue_1535	Merge e03a6f71a into ab54be84f	Pull #1646	30 Dec 2024 04:14PM UTC	web-flow	github	62.08
2718	witness_val_fail_cherrypick	Merge ef51516d5 into ab54be84f	Pull #1641	30 Dec 2024 04:09PM UTC	web-flow	github	62.14
2717	traces-vojdani	Merge c6a2c9e34 into 91bbf20ba	Pull #1552	30 Dec 2024 08:52AM UTC	web-flow	github	62.08
2716	master	Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds	push	30 Dec 2024 02:54AM UTC	web-flow	github	62.17
2715	master	Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds	push	29 Dec 2024 02:57AM UTC	web-flow	github	62.17
2713	master	Merge pull request #1580 from goblint/issue-1577 Add termination analysis success messages for loop bounds	push	28 Dec 2024 02:48AM UTC	web-flow	github	62.17

← Previous
1
2
…
49
50
51
52
53
54
55
56
57
…
154
155
Next →