Isitha Subasinghe

As a concluding remark: I think we can improve the current re-generation of facts and reduce the number of these type of bugs. However, I do not think we can...

I didn't know that dependabot doesn't run on other branches, that is a shame to hear. I do have a dirty ugly hack for this, I can create two forks...

@agilgur5 I did test if the live logs were showing, this sounds like a different issue.

Right that makes sense, thanks. I think I was selecting the containers individually when I tested #10157 so never noticed this issue. Thanks, will have a look into your PR.

> > This seem to be a general issue then that other code might also run into. Thus, I wonder if we should provide a version of `seL4_ReplyRecv()` that returns...

Just an update to what I've done regarding verification is that I've kept these changes and changed libsel4 and the python gen tool to emit `/* DONT_TRANSLATE */` comments before...

> I'd like to understand why `continue` is not supported/working first. Yeah sounds good, I think @lsf37 might know the answer to this, I'll leave this as it is until...

> It would be helpful to see how it "blew up". The C parser itself does support `continue`, at least as much as is seen in https://github.com/seL4/l4v/blob/master/tools/c-parser/testfiles/breakcontinue.c There might be...

Sorry this is on my (fairly large) todo list. All the information I have for now is this: When all the debug related functions and statements were stripped out, the...

> When all the debug related functions and statements were stripped out, the C parser did end up working. This statement was incorrect, apologies, it was a while since I...