goblint / analyzer / 3224

Builds Branch Commit Type Ran Committer Via Coverage
3224 master Fix dune-project and goblint.opam inconsistency (PR #1708) push sim642 github
61.49
3222 master Remove unused (documentation) from goblint.solver goblint.solver is wrapped and documentation is in goblint_solver.ml push sim642 github
61.49
3214 master Fix outdated Goblint_timing tree count documentation push sim642 github
61.47
3212 remove_current_node_usages Merge a0af38677 into 9cfaf49a3 Pull #1744 web-flow github
61.49
3211 remove_current_node_usages Merge 5b2fc954b into 9cfaf49a3 Pull #1744 web-flow github
61.49
3210 remove_current_node_usages Merge 8c5fabe2a into 9cfaf49a3 Pull #1744 web-flow github
61.47
3208 master Merge pull request #1705 from goblint/arg-complete-array Add bash completion for array element addition and removal push web-flow github
61.47
3205 master Merge pull request #1705 from goblint/arg-complete-array Add bash completion for array element addition and removal push web-flow github
61.47
3203 master Merge pull request #1705 from goblint/arg-complete-array Add bash completion for array element addition and removal push web-flow github
61.47
3202 master Remove dead funding links from README push web-flow github
61.46
3201 master Remove dead funding links from README push web-flow github
61.46
3200 master Merge pull request #1742 from goblint/intdomain-top_typ Remove `IntDomain.Size.top_typ` push web-flow github
61.46
3198 master Merge pull request #1738 from goblint/rm-graphml-witness Remove GraphML witness export push web-flow github
61.46
3197 intdomain-top_typ Merge 4bb443796 into 37bde635a Pull #1742 web-flow github
61.46
3196 intdomain_intf Merge 37bde635a into 57c94be02 Pull #1741 web-flow github
61.46