Type inference: Avoid unnecessary expensive stringifications for

See merge request !80

debug messages when debugging is not enabled.

Only consider the parent's inames in deciding parent relation in domain tree (Fixes #78 on Github)

See merge request !79

Barrier insertion: Don't treat write-after-write self-dependencies as

See merge request !77

special (see #21 on gitlab).

This change should effectively be a no-op, since we don't insert
barriers for self-dependencies anyway.

# Conflicts:
#   test/test_loopy.py

Barrier insertion updates

See merge request !74

Better detection of dtype in TemporaryVariable initialization

See merge request !58

Next try at removing the ambiguous schedule warning

See merge request !65

insn_ids_reaching_*_without_interleaving_barrier().

Make the SCC unit test stricter.

See merge request !75

insn_ids_reachable_from_start_without_intervening_barrier(): Can further narrow set of instructions by considering barriers at the shallower level.

dependencies, and also to treat loops more carefully.

* Dependencies are now tracked based on a list of active potential
  sources, and the active set is narrowed by filtering through
  readers/writers
* Stricter handling of dependencies within loops by not assuming
  that loops are nonempty
* Changes the barrier insertion algorithm to act in two stages: first,
  barriers are recursively inserted into loops, then they are inserted
  at the outermost level. This is mostly meant to simplify the code.
* See also #18 on gitlab

Fix barrier insertion above top of loop (Fixes #17 on gitlab)

See merge request !73

Faster type inference

See merge request !68

Fix atomicity check

See merge request !71

Fix dependency graph drawing for {Call,ReturnFrom}Kernel

See merge request !70

Improve pickleability: Avoid interning instruction ids that are None,

which causes a TypeError (closes #14).

See merge request !69

which causes a TypeError (closes #14).

be faster in the common case (all the types are the same).