goblint / analyzer / 804

Builds Branch Commit Type Ran Committer Via Coverage
804 no-overflow-sqrt-pfusch Merge 0cb1b7e11 into 1be498c6b Pull #1254 web-flow github
61.3
802 no-overflow-sqrt-pfusch Merge 9d77dec34 into 1be498c6b Pull #1254 web-flow github
61.3
800 master Merge pull request #1255 from goblint/autotune_termination_spec Autotune termination spec before preprocessing, but not others. push web-flow github
61.26
797 issue_1250 Merge f6cef727d into 1be498c6b Pull #1252 web-flow github
61.26
787 autotune_termination_spec Merge 9d8629dc3 into 116916a5e Pull #1255 web-flow github
61.26
786 autotune_termination_spec Merge 065221367 into 116916a5e Pull #1255 web-flow github
61.26
785 master Avoid creating unneeded Task module which may not be set in `is_error_function'` push michael-schwarz github
61.26
781 no-overflow-sqrt-pfusch Merge 8ea9ffa72 into a40f2cf2b Pull #1254 web-flow github
61.31
780 no-overflow-sqrt-pfusch Merge ba6726a45 into a40f2cf2b Pull #1254 web-flow github
61.31
779 no-overflow-sqrt-pfusch Merge 6895ac0cf into a40f2cf2b Pull #1254 web-flow github
61.31
778 no-overflow-sqrt-pfusch Merge 379733825 into a40f2cf2b Pull #1254 web-flow github
61.32
777 no-overflow-sqrt-pfusch Merge 2ea8db4b6 into a40f2cf2b Pull #1254 web-flow github
61.29
776 no-overflow-sqrt Merge 66ebc9017 into a40f2cf2b Pull #1253 web-flow github
61.22
775 no-overflow-sqrt Merge 688cff1c2 into a40f2cf2b Pull #1253 web-flow github
61.17
774 master Merge pull request #1240 from goblint/yaml-witness-2.0 Add support for YAML witness entry type `invariant_set` push web-flow github
60.99