daml
daml copied to clipboard
digital-asset
The Daml smart contract language
A CEK machine heavily relies on pattern matching on AST node, continuation stack frames and other data. Unfortunately, pattern matching in Scala is particularly slow. Thus, we need to find...
Currently, some cases produce a linear search when pattern matching on strings or integers. We should avoid searches that are too long and produce a binary search tree instead. See...
The specific meaning of "simple" still has to be determined. A few examples of functions that will most likely be considered simple are - a single record projection - a...
daml/compiler/damlc/daml-stdlib-src/DA/Assert.daml daml/compiler/damlc/daml-stdlib-src/DA/Internal/Assert.daml **assertAfter/asserAfterMsg** and **assertBefore/assertBeforeMsg** functions should work in the opposite way. e.g. This is the function assertAfterMsg, it should fail if the date you pass **IS NOT** in the...
Consider this scenario: ``` template Secret with p : Party where signatory p template SecretFetcher with p : Party obs : [Party] where signatory p observer obs controller p can...
The following DAML Script will produce a stackoverflow when loaded into sandbox (using the 1.1.0 snapshot but it’s not specific to that) https://gist.github.com/cocreature/d6b3d222dec9937d0590e0862eaf5591 This is not actually specific to DAML...
Long scenarios fail with the below: ``` Waiting for Sandbox................Failed to start sandbox-java Description: user error (Unable to connect to Sandbox on port 7600: timeout after 15 seconds) Error type:...
I confirm that, if this is a feature request that has security implications, I already contacted [email protected] and followed the [responsible disclosure policy](https://digitalasset.com/security/). I confirm that this is not a...
- [x] Add Vale to the CI (CiEnforced ruleset) - [ ] Fix suggestions by existing rules, then adopt into CiEnforced - [ ] Extend DigitalAsset ruleset with DA-specific rules
Hello All, I am trying to start a project and used the simple-topography example and uploaded a DAR file based on the contract we designed as per our requirements. I...
