Goose  Diff

Differences From Artifact [347ee987ae]:

• File bs/verify/verify.h — part of check-in [60e143d189] at 2019-11-28 17:53:44 on branch trunk — Verifier: implemented most of the missing instructions (unsigned arithmetic and bitwise operations). (user: achavasse size: 361)

To Artifact [72fc02c0e2]:

• File bs/verify/verify.h — part of check-in [353fcc252a] at 2020-01-04 15:17:12 on branch trunk —
  • verifier: check compilation-time function calls.
  • verifier: improved error messages wording.
  (user: achavasse size: 418)

8
9
10
11
12
13
14


15
16
17
18
19
20
21

{
    using namespace ir;
    using namespace llr;

    class Builder;

    extern z3::context& GetZ3Context();


}

#include "z3helpers.h"

#include "value.h"
#include "remapper.h"
#include "builder.h"

>
>

8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

{
    using namespace ir;
    using namespace llr;

    class Builder;

    extern z3::context& GetZ3Context();

    extern bool VerifyCompTimeExpr( const Value& val );
}

#include "z3helpers.h"

#include "value.h"
#include "remapper.h"
#include "builder.h"