search

input-output-hk / marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Apache License 2.0
172 stars 43 forks source link

PLT-3505 small fixes to the isabelle specification #168

Closed hrajchert closed 1 year ago

hrajchert commented 1 year ago

TODO: This is marked as a draft until PR 161 has been merged.

This PR adds a changelog starting from the audit and addresses several small findings of the first milestone report.

Screen Shot 2023-03-15 at 12 04 28

Screen Shot 2023-03-15 at 17 13 51

Screen Shot 2023-03-15 at 17 31 42

Screen Shot 2023-03-15 at 17 37 55

Screen Shot 2023-03-15 at 17 45 03

Screen Shot 2023-03-15 at 18 09 29

Screen Shot 2023-03-15 at 18 26 08

Screen Shot 2023-03-15 at 18 33 53

Screen Shot 2023-03-15 at 18 39 11

Screen Shot 2023-03-16 at 10 39 50

Screen Shot 2023-03-16 at 10 49 03

Screen Shot 2023-03-16 at 16 47 48

Screen Shot 2023-03-16 at 17 00 44

Screen Shot 2023-03-16 at 16 53 05

Screen Shot 2023-03-16 at 17 08 01

Screen Shot 2023-03-16 at 17 18 07

Screen Shot 2023-03-16 at 17 35 51

Screen Shot 2023-03-16 at 17 53 54

Screen Shot 2023-03-16 at 18 01 01

Screen Shot 2023-03-17 at 10 45 26

Screen Shot 2023-03-17 at 10 45 35

Screen Shot 2023-03-17 at 10 58 51

Screen Shot 2023-03-17 at 11 45 00