v2.0.0-beta.4.4

Optimisations

• Nested Sweeping
  Implements the Repeated Partial Quantification as an alternative to Nested Sweeping or Singleton Quantification. This algorithm is a generalization of Singleton Quantification such that multiple variables can be quantified within the same sweep. When using the auto heuristics, we use this new algorithm to transpose the input until Nested Sweeping is (or very much might) be the better option.

Bug Fixes

• Fixes the fact that some Clang compilers break the memory computations of the auxiliary data structures due to (questionably) undefined behaviour.

Other

• Changes to the way Adiar does its assertions to improve the possibility to debug, test, and maintain.

Contributors

• Steffan Sølvsten ( @SSoelvsten )

Also, thanks to @nhusung for helping me track down the bug due to undefined behaviour.