Commit Graph

9652 Commits

Author SHA1 Message Date
Hubert Slojewski
a8547c8bab
Make multi-participant conformance tests work with distributed committers/event logs [KVL-1335] (#13467)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-31 14:24:06 +02:00
Moisés Ackerman
907bc383e2
daml-lf/interfaces: Drop speedy typereps (#13403)
* Add SBGuardMatchTemplateId builtin

* drop speedy typeRep args

* Update expected exceptions in daml-lf InterfacesTest

changelog_begin
changelog_end
2022-03-31 13:36:33 +02:00
davidrichards-da
a010f7cf5b
Enterprise v open source table (#13459)
* Added differences between the enterprise & open source editions

Added differences between the enterprise & open source editions & clearer instructions on how to download Canton.

* Empty commit with changelog notation

CHANGELOG_BEGIN
CHANGELOG_END

* Apply suggestions from code review

Typo's spotted by Carrie.

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>

* Updated the enterprise v open source table

Updated the enterprise v open source table with links and making sure all rows are relevant

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
2022-03-31 11:17:22 +01:00
azure-pipelines[bot]
dd8d78e539
update NOTICES file (#13472)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-31 12:01:05 +02:00
Artúr Poór
3193d54246
docs: highlight json api supports multi-party submissions (#13409)
* docs: highlight json api supports multi-party submissions

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-31 11:41:05 +02:00
Sofia Faro
7000875e62
interfaces: Make fromInterfaceContractId pure, add fetchFromInterface (#13453)
* interfaces: Make fromInterfaceContractId pure.

This PR changes `fromInterfaceContractId` to make it pure. This means
it cannot verify the contract id coercion, and should only be used
with care. To balance this, this PR also adds `fetchFromInterface` which
combines a `fetch` with a `fromInterface` and `fromInterfaceContractId`,
to serve as a safer alternative to `fromInterfaceContractId`, and is more
useful than the old `fromInterfaceContractId` since it also returns the
fetched & converted contract payload.

changelog_begin
changelog_end

* fix integration tests

* add submitMustFail tests for fromInterfaceContractId
2022-03-30 16:42:03 +00:00
Brian Healey
befde5fdb5
update telemetry version to 1.12.0 to fix grpc reflection and other assorted fixes (#13357)
* update telemetry version to 1.19.1 to match canton

CHANGELOG_BEGIN
Update telemetry version to 1.19.1
CHANGELOG_END

* update opentelemetry to 1.12.0.  Avoid repetition on dropwizard and prometheus versions

* bazel reformat
2022-03-30 16:37:42 +00:00
azure-pipelines[bot]
e5a1d9e236
rotate release duty after 2022-03-30 (#13456)
@nickchapman-da is taking care of [testing](https://github.com/digital-asset/daml/blob/main/release/RELEASE.md) today's release, so they get pushed back to the end of the line.

Please do not merge this before the release is fully tested.

CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-30 18:21:49 +02:00
davidrichards-da
ef55141788
Added clarity around security risk errors (#13407)
* Adding section to error codes page and updating descriptions

CHANGELOG_BEGIN
CHANGELOG_END
Added a section in the error codes page and improved description to errors

* Removing the multi-line descriptions

* Changing the added sentence

swapping 'due to security reasons' 'for security reasons'

* Updated formatting

Ran the fmt.sh script to give me the correct formatting.

* Updating the generated error codes

CHANGELOG_BEGIN
CHANGELOG_END
Updating the generated error codes
2022-03-30 15:50:00 +01:00
Moritz Kiefer
fbf97d1432
Change Canton synchronization to use the healthcheck endpoint (#13463)
changelog_begin
changelog_end
2022-03-30 16:31:13 +02:00
Moisés Ackerman
da812e4c8b
Drop duplicate packages in dependency graph (#13442)
* Drop duplicate packages in dependency graph

* Add double data-dependency test

changelog_begin
changelog_end
2022-03-30 14:54:26 +02:00
azure-pipelines[bot]
26c97a079c
update NOTICES file (#13457)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-30 12:23:10 +02:00
Remy
e94dc3eae8
Allow LF dev for daml script tests (#13455)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-30 10:15:17 +02:00
Sergey Kisel
f2a8220121
Fixing sandbox-on-x test targets. (#13451)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-30 08:45:45 +02:00
Rafael Guglielmetti
f24a39d2df
Use Canton 2.1.0-SNAPSHOT (20220328) for conformance tests (#13446)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-29 17:55:21 +02:00
Stefano Baghino
9d6eecaa4f
Refactoring codegen (#13439)
* Remove unused `name` field from `InterfaceTreeBuilder`, inline builder construction

* Remove unused `Traverse` instance for `TypeDeclOrTemplateWrapper`

* Remove unneccessary type parameter from `TypeDeclOrTemplateWrapper`

* Remove some unnecessary copies `.toList`

* Remove `TypeDeclOrTemplateWrapper`, use `Either` directly as a wrapper

* Use `bimap` instead of explicitly wrapping and unwrapping the `Either`

* Remove unnecessary type `Mode`

* Remove unnecessary type parameter from `WriteParams`

* Remove unnecessary binding

* Pull `OrderedDependencies` out of `Graph`

* Move computation of relevant packages to `codegen-common`

* Move `templateCount` from `LFUtil` into `CodeGen`

* Comment the purpose of `TransitiveClosure`

* Pull the variance cache out of `LFUtil`

`LFUtil`'s purpose is that of limiting passing around certain
values. While the purpose is questionable, the variance cache did
not need to access any of those values and it's quite easy to
move to a separate class where the purpose and the scope are clearer.

* Make `DependencyGraph` work directly on type declarations

* Add constructor for a collection of interfaces to `EnvironmentInterfaces`

* Factor the error message from `cyclicDependencies` out of `DependencyGraph`

changelog_begin
changelog_end
2022-03-29 16:29:22 +02:00
Remy
dfee9dfaf8
Fix Transaction.Metadata used_packages field computation for interface (#13441)
fixes #13437

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-29 14:20:04 +00:00
Andreas Lochbihler
af288a6bce
Move the public methods on NonEmpty to companion object (#13415)
Now the signatures of those methods refer to the type synonyms defined in the package object rather than to the abstract type members of the class.
This makes sure that IntelliJ will find the implict classes for NonEmpty and NonEmptyF.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-29 14:52:41 +02:00
Robin Krom
b2e7981b73
ifaces:evaluation order tests for fetch by iface (#13443)
This adds evaluation order tests for fetch_interface in the daml-lf
execution.

Part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-29 11:19:34 +00:00
Victor Peter Rouven Müller
cc06073333
Java bindings/interface support (#13366)
* WIP

* First working version of java codegen daml interface support

* Update language-support/java/codegen/BUILD.bazel

Co-authored-by: Remy <remy.haemmerle@daml.com>

* Fix compile errors

* Simplify code massivly, enjoy less duplication

changelog_begin

- The Java codegen now has basic support for daml interface definitions. Converting a contract id of a template implementing an interface to a contract id of the interface is possible and both executing interface choices is possible on the contract id of the interface and implementing template.

changelog_end

* Rename the test file to reflect it is a test file & enhance the inner test name & extend it further

* Fix test

* Refactor parts of TemplateClass.scala into multiple files

* Format that files!

* Minimize duplication further

* Remove unused comment

* Simplify code
Co-authored-by: Stephen Compall <stephen.compall@daml.com>

* Update language-support/java/codegen/src/main/scala/com/digitalasset/daml/lf/codegen/CodeGenRunner.scala

Co-authored-by: Stephen Compall <stephen.compall@daml.com>

* Further refactoring and renaming of the TemplateClassSpec to ContractIdClassBuilderSpec

* Fix formatting

* Add interface docs

* Remove unnecessary code generation of the Contract class for interface types

* Use less bool flags and more good function names :)

* Fix build

Co-authored-by: Remy <remy.haemmerle@daml.com>
Co-authored-by: Stephen Compall <stephen.compall@daml.com>
2022-03-29 12:38:00 +02:00
Sergey Kisel
e724befcfd
Fix duplicate artifact id check (#13420)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-29 12:35:17 +02:00
azure-pipelines[bot]
0f38fe547a
update NOTICES file (#13438)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-29 11:48:59 +02:00
Sergey Kisel
66c37badce
Moving Scala sources to correct path so sources are published correctly. (#13435)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-28 18:58:06 +02:00
Robin Krom
609cd12392
interface evaluation tests (#13432)
* ifaces: more evaluation order tests

This adds more evaluation order tests for the execution of daml-lf
during exercise_interface.

Part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END

* Update daml-lf/interpreter/src/test/scala/com/digitalasset/daml/lf/speedy/EvaluationOrderTest.scala

Co-authored-by: Remy <remy.haemmerle@daml.com>

* Update daml-lf/interpreter/src/test/scala/com/digitalasset/daml/lf/speedy/EvaluationOrderTest.scala

Co-authored-by: Remy <remy.haemmerle@daml.com>

Co-authored-by: Remy <remy.haemmerle@daml.com>
2022-03-28 14:24:04 +00:00
Robin Krom
537cfdb11b
ifaces:additional interface evaluation order tests (#13425)
This adds additional interface daml-lf evaluation order tests.

Part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-28 13:08:08 +02:00
azure-pipelines[bot]
8bc8c2e980
update NOTICES file (#13429)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-28 11:45:53 +02:00
Remy
4a4833817a
Add a temporary lenient Replay Exercise Command (#13426)
To give some more time to Canto to handle properly the strict
versions.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-25 20:00:00 +01:00
Gary Verhaegen
1658b3b31a
try to improve release docs (#13422)
Specifically, try to slightly reorganize it in terms of what people are
trying to achieve, rather than what type of release they ultimatly need
to create.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-25 18:02:51 +01:00
Moisés Ackerman
b47fa3ba92
interface conversion primitives test cases (#13416)
* Add LF ParsersSpec cases for conversion primitives

* Add LF TypingSpec cases for conversion primitives

* Add LF DecodeV1Spec cases for conversion primitives

* Add LF EncodeV1Spec cases for conversion primitives

* update security-evidence.md

* Add missing cases in daml-lf encoder

* Add missing cases in EncodeV1Spec

* Add InterfaceMod in DamlLfEncoderTest

changelog_begin
changelog_end
2022-03-25 16:08:31 +00:00
Robin Krom
a43d7c5e1f
ifaces: new evaluation order tests (#13419)
This adds a new evaluation order test for the execution of daml-lf for
interfaces.

This is part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-25 14:09:59 +00:00
Robin Krom
3a4939d3d5
ifaces: one more evaluation order test (#13400)
This adds another evaluation order test for the execution of daml-lf for
interfaces.

This is part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-25 13:40:25 +01:00
Sofia Faro
8582b04861
ifaces: Add semantics for 'exercise_interface' in the LF spec (#13404)
* ifaces: Add exercise interface semantics to spec

This is based on the semantics of 'exercise'.

Closes #11349 (for now). Also fixes a small bug in the semantics of 'exercise'.

changelog_begin
changelog_end

* Uniformize exercise syntax
2022-03-25 11:37:43 +00:00
Remy
6aa2dd5f1b
LF: Remove unecessary logic to pull package dependencies (#13344)
in the preprocessor and the validation, since, The compiler is already doing that.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-25 11:47:59 +01:00
azure-pipelines[bot]
accb14d6d0
update NOTICES file (#13408)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-25 11:42:59 +01:00
nickchapman-da
df1e738180
fix quadratic complexity for closure conversion of a multi-let (#13385)
changelog_begin
changelog_end
2022-03-25 10:28:49 +00:00
Moisés Ackerman
f9f1611d46
Unsafe interface conversion primitives (#13391)
* Add unsafeFromInterface method to HasFromInterface class

* Use unsafeFromInterface instead of fromInterface + experimental primitive

* Drop THROW_WRONGLY_TYPED_CONTRACT experimental primitive

* Add UnsafeFrom{,Required}Interface LF primitives

* Add convertPrim cases for UnsafeFrom{,Required}Interface

* Add InterfaceGuarded tests for WronglyTypedContract cases

changelog_begin
changelog_end

Co-authored-by: Sofia Faro <sofia.faro@digitalasset.com>
2022-03-25 10:07:14 +00:00
tudor-da
3fac74f9e2
Release 1.18.2 RC (#13393)
changelog_begin
changelog_end
2022-03-25 06:47:39 +01:00
Stephen Compall
467b8fbbe7
shorter Value expressions in json-api tests (#13358)
* template ID variables
* remove duplicate function

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 15:51:55 +00:00
Sergey Kisel
d329db0ee7
Transaction Privacy test evidence [DPP-966] (#13395)
* Transaction Privacy test evidence [DPP-966]

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 15:45:23 +00:00
Sofia Faro
3646ec2358
interfaces: Add unsafe conversion to LF spec (#13399)
changelog_begin
changelog_end
2022-03-24 15:22:39 +00:00
Gary Verhaegen
a994288f96
damlc visual docs: remove <> (#13398)
These characters have a special meaning in Bash, so it's better to avoid
them as placeholders.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 15:07:39 +00:00
Robin Krom
ff333c8f07
ifaces: evaluation order tests for exercise/fetch (#13396)
This add a first test for evaluation order of exercise_interface and
fetch_interface. More tests will come in the following PR's.

This is part of #12697.

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 15:49:01 +01:00
Hubert Slojewski
92bf78e2b6
Change misleading messages (#13388)
CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 13:19:38 +01:00
Robert Autenrieth
f4363b3c41
DPP-906 Move conditional evaluations from SQL to JVM (#13212)
* Factor out offset comparison

... and move special treatment for offset begin to JVM code

changelog_begin
changelog_end

* wip
2022-03-24 11:23:17 +01:00
Sergey Kisel
e4cac30c92
Test evidence support for Ledger API tests [DPP-965] (#13387)
* Test evidence support for Ledger API tests [DPP-965]

CHANGELOG_BEGIN
CHANGELOG_END
2022-03-24 11:17:59 +01:00
Moisés Ackerman
a88079e41a
Interface reference docs, cont. (#13378)
changelog_begin
changelog_end
2022-03-23 18:33:03 +01:00
Sergey Kisel
b5c3b9460b
Publish test evidence generator library (#13389)
changelog_begin
changelog_end
2022-03-23 17:24:14 +00:00
Sergey Kisel
55ca1af7e3
PublicServiceCallAuthTests security test evidence [DPP-961] (#13363)
changelog_begin
changelog_end
2022-03-23 17:37:19 +01:00
Stefano Baghino
d1feab0796
Address review comments on documentation improvements (#13386)
* Address review comments on documentation improvements

Address https://github.com/digital-asset/daml/pull/13381#pullrequestreview-918754656

changelog_begin
changelog_end

* Address https://github.com/digital-asset/daml/pull/13381#discussion_r833249949

* Address https://github.com/digital-asset/daml/pull/13381#discussion_r833253079

* Address https://github.com/digital-asset/daml/pull/13381#discussion_r833254062
2022-03-23 10:57:08 -04:00
azure-pipelines[bot]
c6cd84b882
rotate release duty after 2022-03-23 (#13374)
@victormueller-da is taking care of [testing](https://github.com/digital-asset/daml/blob/main/release/RELEASE.md) today's release, so they get pushed back to the end of the line.

Please do not merge this before the release is fully tested.

CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-03-23 12:45:46 +00:00