sorear
sorear
If I try to complete something like `Mutex::new`, I get `Mutex::new(${1:t: T})` inserted in the editor. This is with atom-racer 0.18.0 and racer 1.2.6.
## The problem There appears to be no way to stop a U-mode program from setting `lpstart0` to the address of an instruction in M-mode and redirecting M-mode execution. This...
While looking for solutions to #427 I looked over the PMP implementation. Some possible issues I noticed: 1. From the privilege spec: > Software may determine the PMP granularity by...
Currently, the floating point semantics of all CakeML ILs just delegates to `machine_ieee`, which uses a @ term to select a NaN to return in cases where that is the...
(descoped from #773) Given a potentially hot function, we should not allocate data in the function which is known to be constant. Define a "deep constant" to be a closLang...
r12 and r13 do not need to be avoided, but they are less efficient to use under some circumstances: memory accesses relative to r12 with no (register) index, or accesses...
We would like to be able to modify IRs at various levels to simulate the effects of a compiler change. In most cases the plumbing for this would be very...
If the stack can grow down to `lim`, and the first store value is at `lim`-2048, then an interrupt or signal handler can clobber data within a 2048-byte region immediately...
Right now adding a fundamentally new operation requires modifying all of the semantics and quite a few transformations. It's a very involved process, and it makes future maintenance more difficult....
I would like to be able to write code using Word64 or floats without having to deal with constant boxing. This requires some coarse grained tracking of types (I am...