Emily Pillmore comments

Results 143 comments of


                                            Emily Pillmore

Unable to run Pact in Ubuntu 18.04 running in Docker on M1

Thanks for filing this @mvaljento - sorry for getting back to you after such a long time period! We'll take a look at this and see if we can't reproduce...

Proposal: Rename Jujutsu to Jojo

I'm on board for spurious non-technical reasons (specifically, the equivalent of a git clone potentially being named `za warudo`).

Test for error thunking in pactestsspec

Ping @jmcardon

Updated expect-failure docs

Is this something you want to attempt, @Luzzotica? Or shall I close this and reference it in a follow up.

ZK Primitives

Addressed by #1052

Support GHC 9.8.1

CI seems to be broken with that last one @larskuhtz

Typecheck fail with (bind)

Thanks @CryptoPascal31 - we're looking into it.

Formal Verification: Multiple tables with multiple input variables

Verification timeout, as we've seen in the past, can be a consequence of Z3 lib version. Could you post which version you have on PATH?

Typecasting a string to Guard via Pact code

Just to clarify, this really only refers to principal account protocols, which are the only valid things that could be considered for translation into a guard value. Of these, because...

How can i check the module-name in gas-stations for cont type transactions?

Good idea - we'll scope for the upcoming release.