digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity
9f165b2196
daml/compiler/daml-lf-verify
History
Gert-Jan Bottu 2af134ca69
WIP: Draft version constraint generation (#5472) 
First version of static verification tool.

The current state of the tool: 
- Reads DAR files.
- Partially evaluates the code.
- Generates constraints for the field and choice to be verified.
- Passes the constraints to an SMT solver.
- Some basic tests.
2020-05-20 08:08:18 +02:00
..
daml WIP: Draft version constraint generation (#5472) 2020-05-20 08:08:18 +02:00
src/DA/Daml/LF WIP: Draft version constraint generation (#5472) 2020-05-20 08:08:18 +02:00
tests/DA/Daml/LF/Verify WIP: Draft version constraint generation (#5472) 2020-05-20 08:08:18 +02:00
BUILD.bazel WIP: Draft version constraint generation (#5472) 2020-05-20 08:08:18 +02:00