0.7.6

• motoko (moc)

  • Added support for ManagementCanister.raw_rand in interpreters (#3693).

  • Added preliminary Viper support for old expressions in specifications and calls to private methods (#3675).

  • bugfix: in the default timer mechanism cancelTimer sometimes wouldn't actually stop a recurring timer (#3695).

  • bugfix: zero negation for floating point numbers in compiled code (#3676).

• motoko-base

  • Add user-facing timer functionality (caffeinelabs/motoko-base#474).

  • Add Array.size (caffeinelabs/motoko-base#486, caffeinelabs/motoko-base#494).

  • Add TrieSet methods isEmpty, isSubset (caffeinelabs/motoko-base#503).

  • BREAKING CHANGES (Minor):

    • renamed Float.neq to Float.neg (this was a misspelling)
    • renamed Nat.neq to Nat.neg (this was a misspelling)
    • removed second argument from bitnot (this was an oversight)

  • bugfix: Random.Finite.coin didn't use entropy correctly (caffeinelabs/motoko-base#500).

  • bugfix: Trie.mergeDisjoint (caffeinelabs/motoko-base#505).

  • bugfix: TrieSet.equals (caffeinelabs/motoko-base#503).

  • Various documentation fixes and API usage examples.