Allow integer reductions

Enables reductions on integer variables, and adds a correctness test for said reductions

See merge request !59

check that the index returned is a minimum, rather than the exact value from numpy (in case of duplicate min/maxs)

Start including stats code in flake8 run

See merge request !55

Fix inames to dup stateful mess

See merge request !57

Fix frozenset construction in test

@mattwala introduced this by copying my MWE... Sorry for the trap.

See merge request !56

check_that_temporaries_are_defined_in_subkernels_where_used(): Respect

aliasing (closes inducer/loopy#69).

Enable running Flake8 during CI

See merge request !48

Add extra error detection related to save_and_reload_temporaries

Fixes #9, #10, and expands the tutorial

See merge request !50

Loop bound codegen fixes

Three somewhat unrelated fixes.
1. Uses PwAff.is_equal() to check if lbound = ubound
2. Gists against implemented domain when finding bounds
3. Keeps track of implemented bounds more accurately

See merge request !53

were implemented.

The issue comes from the fact that a loop bound predicated on a
parameter such as

[n] -> { [(-1 + n - floor((3n)/4))] : n > 0 }

(which may result from slabbing) will be converted by pw_aff_to_expr()
to an unconditional expression, even though the original pw aff is
conditional. As a result the previous code might not actually ensure
that n > 0.

(In prior versions the issue was masked by taking the gist against
dom_and_slab, which would remove the constraint that n > 0.)

The fix is to teach the code about the actual bounds that get
implemented.

equality.

Temporaries with initializer are const

Related: !50

See merge request !52