Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kdudka/predator issues and pull requests

#5 - Test #179 from predator's regression test-suite fails with gcc 4.5.0.

Issue - State: closed - Opened by deekej over 10 years ago - 4 comments

#4 - switch-host-gcc: added support for relative path/symlink of GCC parameter

Pull Request - State: closed - Opened by deekej over 10 years ago - 1 comment

#3 - predator-regre/test-0021.c: include <verifier-builtins.h>

Pull Request - State: closed - Opened by jpokorny over 12 years ago - 1 comment

#2 - verifier-builtins.h in test-0021.c + remove extraneous ending brace

Pull Request - State: closed - Opened by jpokorny over 12 years ago - 1 comment

#1 - cosmetic changes

Pull Request - State: closed - Opened by jpokorny over 12 years ago - 2 comments