Sam Owre

Hey Joe, Hope you're doing well. Could you type "bac" at the "0]" prompt, and send me the resulting backtrace? Thanks, Sam Joseph Kiniry ***@***.***> wrote: > Hey Sam, >...

Hi Clément, I think there may be something wrong with your Emacs installation. Do you get any errors when you just run Emacs by itself? I say this because PVS...

Hi Jed, I was away yesterday, and just got back last night - I'll try to recreate your environment today and get back to you when I know something. Thanks...

Hi Jeb, Sorry, I was away for a while, then got sick. I'm looking into this now, and hopefully will have either a fix or more questions for you by...

Hi Jed, I've run with Emacs 25.3, 28, 29, 30, and 31 (the latter were built from the Emacs repository). I couldn't get 24 or earlier built on my Ubuntu...

Hi Jed, Could you send me byte-compile.log so I can see what the error actually is? Thanks, Sam Jed Brown ***@***.***> wrote: > Thanks, sorry about my slow reply. This...

Hi Jed, Sorry for not seeing that you had already included the log file. I hope you don't mind doing a few experiments so I can try to solve this...

Hi Jed, For some reason the make isn't generating the Lisp image, and this is the real problem. Could you please try (from the terminal in your directory): % stdbuf...

Hi Kai, Thanks for reporting this, I'll look into is shortly and get back to you. Regards, Sam Kai ***@***.***> wrote: > I've tried to cargo-cult the declaration parameter example...

Hi Steve, In general, PVS does allow type expressions in place of a type identifier. The missing method is a bug, which I need to look at. Could you please...