goblint / analyzer / 678

Builds Branch Commit Type Ran Committer Via Coverage
678 HEAD Merge ebc8cf8b7 into 6131273c1 Pull #1207 GitHub github
61.42
677 master Separate memsafetySpecification autotuner and enable in svcomp conf push Simmo Saan github
61.42
676 HEAD Merge bb163a55b into 6131273c1 Pull #1228 GitHub github
61.38
675 HEAD Merge 5093b5dd9 into 6131273c1 Pull #1228 GitHub github
61.37
674 master Don't output trivial congruence invariant (closes #1218) push Simmo Saan github
61.42
673 HEAD Merge 6cd62e516 into a2a4fa2be Pull #1226 GitHub github
59.88
672 master Fix accident in 20 10 test push Karoliine Holter github
61.43
671 HEAD Merge 894e6189d into 2c0a08f0e Pull #1224 GitHub github
61.41
670 HEAD Merge ae7a4061f into 2c0a08f0e Pull #1224 GitHub github
61.41
669 HEAD Merge 4cb8c97c0 into 2c0a08f0e Pull #1224 GitHub github
61.41
668 master Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c push Karoliine Holter github
61.43
667 master Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c push Karoliine Holter github
61.43
665 HEAD Merge 2df78822d into 5a3565623 Pull #1224 GitHub github
61.4
664 master Merge pull request #1212 from goblint/libfuns-concrat push GitHub github
61.43
662 master Improve names of some global constraint variables push Simmo Saan github
61.36