2331

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
2331	refactor-loopUnroll	Merge 3e9f3cde6 into 815336e09	Pull #1582	30 Sep 2024 12:43PM UTC	web-flow	github	62.68
2329	master	Call findAssignmentConstDiff on loops body instead the loop itself	push	30 Sep 2024 02:57AM UTC	karoliineh	github	62.66
2328	master	Call findAssignmentConstDiff on loops body instead the loop itself	push	29 Sep 2024 02:56AM UTC	karoliineh	github	62.66
2326	loopUnroll-stubs	Merge 31c474cda into da52931ae	Pull #1583	28 Sep 2024 09:14PM UTC	web-flow	github	62.55
2325	master	Merge pull request #847 from goblint/cram-manual Automate manual tests	push	28 Sep 2024 02:51AM UTC	web-flow	github	62.66
2324	refactor-loopUnroll	Merge ee7734dec into e77b41c6b	Pull #1582	27 Sep 2024 07:33PM UTC	web-flow	github	62.68
2323	loop-unrolling-bound-in-if-cond	Merge b7f4cc89d into e77b41c6b	Pull #1516	27 Sep 2024 05:14PM UTC	web-flow	github	62.61
2321	machdep-arch	Merge ea2f61645 into e77b41c6b	Pull #1574	27 Sep 2024 09:26AM UTC	web-flow	github	62.66
2320	issue-1577	Merge 187672e01 into e77b41c6b	Pull #1580	27 Sep 2024 08:46AM UTC	web-flow	github	62.65
2319	issue-1576	Merge f1b6157a3 into e77b41c6b	Pull #1579	27 Sep 2024 08:11AM UTC	web-flow	github	62.66
2318	master	Merge pull request #847 from goblint/cram-manual Automate manual tests	push	27 Sep 2024 02:52AM UTC	web-flow	github	62.66
2317	cram-manual	Merge 54eb6f6bf into 568492cee	Pull #847	26 Sep 2024 09:37AM UTC	web-flow	github	62.66
2316	master	Merge pull request #1575 from goblint/constraints-split Move `Spec` lifters out of `Constraints`	push	26 Sep 2024 02:50AM UTC	web-flow	github	62.67
2315	cram-manual	Merge e5a103c27 into 568492cee	Pull #847	25 Sep 2024 01:15PM UTC	web-flow	github	62.66
2314	machdep-arch	Merge f7e4462dd into 568492cee	Pull #1574	25 Sep 2024 01:02PM UTC	web-flow	github	62.67

← Previous
1
2
…
63
64
65
66
67
68
69
70
71
…
154
155
Next →