daml
daml copied to clipboard
The Daml smart contract language
Part of #14067. See https://github.com/digital-asset/daml/issues/14067#issuecomment-1164998509 for design. * [x] `Filter.Interface`, or not * [x] `InclusiveFilter` extension * [x] `CreatedEvent` extension * [ ] check against #14448? * [ ] #14033...
changelog_begin changelog_end
Uses #14033 as the base, as we we expect to first implement interface subscriptions for the ACS and transaction streams. CHANGELOG_BEGIN * ledger api: add exercise streams with interface subscriptions...
In the (haskell) LF typechecker, error messages are given a context with the `Error` constructor `EContext`, which takes a `Context`, taken from the `Gamma` field `_locCtx`. The `Context` type has...
* Fixes #13897 CHANGELOG_BEGIN * Engine/speedy-level tests for explicit disclosure (#14227): Test that invalid key hashes are rejected. CHANGELOG_END - [x] remove issue comment for #13897 - [x] rebase when...
CHANGELOG_BEGIN CHANGELOG_END
Fixes [DPP-1145](https://digitalasset.atlassian.net/browse/DPP-1145) (Respect leeway parameters also in the manual JWT verification).
Fixes [DPP-1183](https://digitalasset.atlassian.net/browse/DPP-1183) by renaming the leeway options according to https://github.com/digital-asset/daml/pull/14659.