A post was split to a new topic: How do you statically analyze a single Daml file in a project?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Introduction of DAML by @Andreas_Lochbihler given as Guest Lecture HSR Rapperswil | 10 | 985 | February 24, 2021 | |
| DAML Properties if left untested can cause logical errors | 1 | 199 | June 13, 2022 | |
| Formal Verification | 3 | 385 | July 9, 2020 | |
| Some questions about Smart Contract Languages for Masters Thesis | 3 | 362 | September 15, 2021 | |
| Daml Contract Testing | 14 | 440 | November 20, 2021 |