ak3n

wip --- Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have useful messages...

Add shift builtin (fix #4168).

1

should fix #4168 --- Pre-submit checklist: - Branch - [x] Tests are provided (if possible) - [x] Commit sequence broadly makes sense - [x] Key commits have useful messages -...

Incorrect conversion of validity interval's upper bound

1

Recently, we have switched to cardano-ledger in plutus-apps instead of using our own validation rules. We have found that `transVITime` behaviour seems to be incorrect. It takes the upper bound...

[ re #4041 ]: left-hand side let aka. with without the abstraction in the type

1

Makes the following possible: ```agda open import Agda.Builtin.Nat open import Agda.Builtin.Equality f : (n : Nat) -> n + n ≡ n + n f n using 2n

Implements the MerkleTree ISM verifier plugin.

based on #1920

includes #1889 The corresponding pact PR: https://github.com/kadena-io/pact/pull/1362

The corresponding chainweb PR: https://github.com/kadena-io/chainweb-node/pull/1901 PR checklist: * [ ] Test coverage for the proposed changes * [ ] PR description contains example output from repl interaction or a snippet...