goblint / analyzer / 884

Builds Branch Commit Type Ran Committer Via Coverage
884 master Merge pull request #1265 from goblint/mutex-meet-tid-memsafety Test for `mutex-meet-tid` for ValidDeref & Move `Afterconfig.run` to ensure privatizations can potentially be auto-tuned push web-flow github
61.55
882 mutex-meet-tid-memsafety Merge 209a56072 into 778d8838b Pull #1265 web-flow github
61.55
880 base-invariant-abs-cleanup Merge 1730aa71e into 778d8838b Pull #1274 web-flow github
61.53
879 klever Merge 5a6362e1c into 778d8838b Pull #688 web-flow github
61.55
877 string-unit-domain Merge d01ef6367 into 0fdea444f Pull #1208 web-flow github
61.54
876 master Use opam 2.1 in releasing guide opam 2.1 with built-in depext is required to avoid qcheck version conflict with batteries. push sim642 github
61.53
869 master Use opam 2.1 in releasing guide opam 2.1 with built-in depext is required to avoid qcheck version conflict with batteries. push sim642 github
61.53
866 master Use opam 2.1 in releasing guide opam 2.1 with built-in depext is required to avoid qcheck version conflict with batteries. push sim642 github
61.53
857 svcomp24-dev Merge c2e9465a7 into 3540ae213 Pull #1257 web-flow github
61.53
856 master Merge pull request #1270 from goblint/query_ordering Fix ordering of queries by deduplicating indices. push web-flow github
61.36
855 not_found_autotuner_termination Merge 9b954b5cd into 2f5e55518 Pull #1271 web-flow github
61.44
854 improve-trig Merge be4fdad0b into 2f5e55518 Pull #1272 web-flow github
61.4
853 improve-trig Merge 0107ce94d into 2f5e55518 Pull #1272 web-flow github
61.38
852 improve-trig Merge fde7d4d22 into 2f5e55518 Pull #1272 web-flow github
62.02
851 not_found_autotuner_termination Merge f2623868f into 2f5e55518 Pull #1271 web-flow github
61.36