Kait
Kait
Thanks for the reply, I'm not aware of any major problems this causes. We're just working towards validating lifters using the ARM specifications as a trustworthy source of truth. So...
Very cool! Our project is to derive a trustworthy lifter for ARMv8, based on Arm's machine-readable specifications. This is coming along nicely and it lifts a large subset of AArch64...
It looks like this been fixed now? The cpp.py file seems to have a more robust StdCPPLibMixin. https://github.com/mesonbuild/meson/blob/master/mesonbuild/compilers/cpp.py Edit! These are very new changes. Maybe not ready yet?
Thanks for the review! These changes are certainly an ad-hoc fix, if you can further refactor the code, that would certainly be better. I think, in general, is a difficult...
fyi, the stackage pr is merged and propagated now :) https://nixpk.gs/pr-tracker.html?pr=279413
I'll give it a try today, thanks!
Thanks for working on this! Using the autocmd in the documentation seems to hang the editor. Is there a cycle with CoqJumpToEnd triggering it again? I tried this and it...
There's a related issue over at https://github.com/lycheeverse/lychee/issues/1304 and work has been happening :)
@mre Hmm I see. I'm fairly new here so I'm not quite across what the issues are/were. It seems to be about relative links in the presence of base-url? I...
I've had some time to think about this and try some things. I thought I'd check in to make sure we're on the same page. What is the actual problem...