18252276085

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
18252276085	main	introduce TypeToNumDomain (#916) Refactored the eBPF abstract interpreter to factor out the previously inlined type-conditioned numeric tracking from EbpfDomain into a standalone TypeToNumDomain, a specialized Reduced Cardinal Power combining a T...	push	05 Oct 2025 03:06AM UTC	web-flow	github	88.27
18251454289	detach-type-domain	Merge 537a00f8e into 29c4fd781	Pull #916	05 Oct 2025 12:47AM UTC	web-flow	github	88.27
18251399207	detach-type-domain	Merge 1598e9fce into 29c4fd781	Pull #916	05 Oct 2025 01:40AM UTC	web-flow	github	88.27
18250259026	detach-type-domain	Merge e0b84e93d into 29c4fd781	Pull #916	04 Oct 2025 11:37PM UTC	web-flow	github	88.26
18250003331	detach-type-domain	Merge 4326bbeef into 29c4fd781	Pull #916	04 Oct 2025 11:10PM UTC	web-flow	github	88.33
18249608483	detach-type-domain	Merge ff3b43c73 into 29c4fd781	Pull #916	04 Oct 2025 09:32PM UTC	web-flow	github	88.33
18248942848	detach-type-domain	Merge 713c5e4fa into 29c4fd781	Pull #916	04 Oct 2025 09:24PM UTC	web-flow	github	88.34
18247564380	main	Bump external/bpf_conformance from `498ee85` to `93549c2` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `498ee85` to `93549c2`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [...	push	04 Oct 2025 06:47PM UTC	elazarg	github	88.4
18246474749	dependabot/submodules/external/bpf_conformance-93549c2	Merge d51ae3eef into 76c49ccf2	Pull #919	04 Oct 2025 05:02PM UTC	web-flow	github	88.4
18224198755	detach-type-domain	Merge 0071f0908 into 76c49ccf2	Pull #916	03 Oct 2025 03:08PM UTC	web-flow	github	88.34
18158284330	catch2-3.11.0	Merge d4b411530 into 76acd5c30	Pull #917	01 Oct 2025 10:46AM UTC	web-flow	github	88.4
17890056096	main	fix type-aware operator\| (join) and operator<= (#915) * fix join and subsumption for EbpfDomain * make sure join and subsumption treat dependent kind variables precisely (as a Reduced Cartesian Power) * add test_join.cpp * add test_subsumption.cp...	push	21 Sep 2025 07:25AM UTC	web-flow	github	88.4
17886679546	test-join	Merge 16000dcff into 26f2e8db3	Pull #915	21 Sep 2025 01:29AM UTC	web-flow	github	88.4
17886496782	test-join	Merge 0978614f0 into 26f2e8db3	Pull #915	21 Sep 2025 01:10AM UTC	web-flow	github	88.39
17886370257	test-join	Merge 630a82870 into 26f2e8db3	Pull #915	21 Sep 2025 01:00AM UTC	web-flow	github	88.34

← Previous
1
2
3
4
5
6
7
8
Next →