Goose  Diff

Differences From Artifact [b65edaaf86]:

• File bs/g0api/types.h — part of check-in [5f6197d1a0] at 2021-09-30 22:07:22 on branch trunk — Correctly generate and link executables on darwin (user: zlodo size: 2034)

To Artifact [181af30cb8]:

• File bs/g0api/types.h — part of check-in [e3485faf08] at 2021-10-09 21:50:55 on branch trunk — Added the Conjunction CIR instruction to build a conjunction from predicates at verification time (user: zlodo size: 2179)

51
52
53
54
55
56
57






58
59
60
61
62
63
64

    };

    template<>
    struct TypeWrapperTraits< APSInt >
    {
        static auto typeId() { return "FixedInt"_sid; }
    };







    template<>
    struct TypeWrapperTraits< ptr< cir::CFG > >
    {
        static auto typeId() { return "CFG"_sid; }
    };

>
>
>
>
>
>

51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

    };

    template<>
    struct TypeWrapperTraits< APSInt >
    {
        static auto typeId() { return "FixedInt"_sid; }
    };

    template<>
    struct TypeWrapperTraits< ptr< TypePredicates > >
    {
        static auto typeId() { return "TypePredicates"_sid; }
    };

    template<>
    struct TypeWrapperTraits< ptr< cir::CFG > >
    {
        static auto typeId() { return "CFG"_sid; }
    };