Sam Elliott

That is a good point, but we don't have a way yet of signalling both the new type and the bounds in an interoperation type. This is a bug. At...

One way to do this, is to define commands like the following: ```latex \def\UG\ensuremath{\mathit{UG}} ``` Then you can use `\UG` either in math mode, or out of math mode, and...

Two things we need to think about, as brought up in the meeting today: - Array to Pointer Decays: What kind of pointers do arrays become? This probably changes when...

I know @silvestrst has been wanting to do more of this kind of work (linker script and assembly-level programming) - if this isn't urgent, this seems a useful place he...

Hey, thanks for the link! Idris-erlang is not currently in active development, sadly (though I'm trying to make sure it still builds with modern Idris, even if only via Stack)....

Hi! I'm a developer at lowRISC, working with Alex Bradbury on the RISC-V llvm backend. I've just started (yesterday!) looking at where we can improve the RISC-V Rust backend, in...

I think this is the list of software: https://github.com/actions/virtual-environments/releases/tag/ubuntu16%2F20200604.1 it is presumably because of too-recent versions of GCC that we're having this issue. Concurrently, there's been some discussion of doing...

LLVM CMake has the option `LLVM_STATIC_LINK_CXX_STDLIB` which will pass `-static-libstdc++` when linking. I think this may help, based on https://stackoverflow.com/questions/13636513/linking-libstdc-statically-any-gotchas specifically: > The only C++ ABI changes introduced since GCC...

I think we might have addressed this for the moment, but I'd like to keep this issue open to track any possible work towards using something like https://github.com/phusion/holy-build-box to build...

The quick answer is no one has support for the bit manipulation extension yet. Not in clang trunk, and not in GCC/binutils. As far as LLVM/Clang goes, the following sequence...