1184

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1184	master	Merge pull request #1335 from goblint/issue-1249 Fix `NullPtr` assignment crash in relation analysis	push	26 Jan 2024 02:23AM UTC	web-flow	github	61.81
1181	priv-atomic	Merge 67558f496 into 71e21b279	Pull #1216	25 Jan 2024 12:05PM UTC	web-flow	github	61.92
1180	priv-atomic	Merge 45555adf6 into 71e21b279	Pull #1216	25 Jan 2024 11:29AM UTC	web-flow	github	61.92
1173	master	Merge pull request #1308 from goblint/issue-1266 Remove duplicate ctx-derived arguments in base analysis	push	25 Jan 2024 02:32AM UTC	web-flow	github	61.82
1172	issue-1249	Merge 0c72eddbc into 71e21b279	Pull #1335	24 Jan 2024 03:31PM UTC	web-flow	github	61.81
1171	freiburg-witness-fixes	Merge 20c500fbe into 71e21b279	Pull #1334	24 Jan 2024 12:53PM UTC	web-flow	github	61.82
1162	master	Use List.concat_map in EvalAssert	push	24 Jan 2024 02:35AM UTC	sim642	github	61.87
1158	unassume-artifact	Merge d57d3c119 into 591154f82	Pull #1332	23 Jan 2024 01:24PM UTC	web-flow	github	61.87
1157	z-module	Merge 3991fbd1a into 591154f82	Pull #1329	23 Jan 2024 11:05AM UTC	web-flow	github	61.85
1156	z-module	Merge 0417cf723 into 591154f82	Pull #1329	23 Jan 2024 11:02AM UTC	web-flow	github	61.85
1155	master	Merge pull request #1327 from goblint/affeq_witnesses `affeq`: Fix array OOB in `invariant`	push	23 Jan 2024 02:31AM UTC	web-flow	github	61.86
1153	z-module	Merge bc267c80c into c0c8960ff	Pull #1329	22 Jan 2024 05:09PM UTC	web-flow	github	61.85
1152	evalfun-ptranal	Merge 408fbe119 into c0c8960ff	Pull #1063	22 Jan 2024 01:40PM UTC	web-flow	github	61.87
1151	evalfun-ptranal	Merge 808b5d220 into c0c8960ff	Pull #1063	22 Jan 2024 01:32PM UTC	web-flow	github	61.88
1150	z-module	Merge 7f80113b2 into c0c8960ff	Pull #1329	22 Jan 2024 01:31PM UTC	web-flow	github	61.86

← Previous
1
2
…
112
113
114
115
116
117
118
119
120
…
154
155
Next →