goblint / analyzer / 672

Builds Branch Commit Type Ran Committer Via Coverage
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
661 master Improve names of some global constraint variables push Simmo Saan github
61.36
660 master Improve names of some global constraint variables push Simmo Saan github
61.36
658 master Improve names of some global constraint variables push Simmo Saan github
61.36
657 master Improve names of some global constraint variables push Simmo Saan github
61.36
656 master Improve names of some global constraint variables push Simmo Saan github
61.36
654 HEAD Merge e1e0813d0 into 53858f239 Pull #1216 GitHub github
61.46