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

Playground - Static Analysis broken #96

Closed vincedjango closed 4 years ago

vincedjango commented 4 years ago

The Static Analysis is hanging indefinitely, both Analyse for warnings and Analyse reachability are broken. All demos are affected:

Static Analysis was tested with different browsers.

simonjohnthompson commented 4 years ago

This might be because you need to reauthenticate by reloading the playground in the browser.

Simon

On 17 Aug 2020, at 18:11, vincedjango notifications@github.com<mailto:notifications@github.com> wrote:

The Static Analysis is hanging indefinitely, both Analyse for warnings and Analyse reachability are broken. All demos are affected:

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/input-output-hk/marlowe/issues/96, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AAE224E7RHFVYYWOPFIDW43SBFQEZANCNFSM4QB43TZQ.

Simon Thompson | Professor Emeritus of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.ukmailto:s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjthttp://www.cs.kent.ac.uk/~sjt

vincedjango commented 4 years ago

@simonjohnthompson , I reloaded the playground in the browser. I also tried with different browsers (Firefox, Safari, Chrome, Brave, EI11).

simonjohnthompson commented 4 years ago

Sorry about that - we’ll checkit out as soon as we can.

Simon

On 17 Aug 2020, at 20:05, vincedjango notifications@github.com wrote:

@simonjohnthompson https://github.com/simonjohnthompson , I reloaded the playground in the browser. I also tried with different browsers (Firefox, Safari, Chrome, Brave, EI11).

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/input-output-hk/marlowe/issues/96#issuecomment-675058419, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAE224C2HWNV4ENVSCW3IMTSBF5P7ANCNFSM4QB43TZQ.

Simon Thompson | Professor Emeritus of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

krisajenkins commented 4 years ago

Thanks for the bug report!

This is fixed in https://github.com/input-output-hk/plutus/pull/2243.

Needs redeploying. @shmish111, can you kick that off?

shmish111 commented 4 years ago

Done