Ara Adkins
Ara Adkins
Header formatting is inconsistent with alignment and table cells have a spurious indent at the start on Obsidian 1.5.
### Description of the feature you're suggesting. It's all well and good to have a vast array of apps—which you guys ensure we do—but sometimes I find myself wanting to...
**Describe the bug** We're using `upload-artifact` to upload our packages as part of our workflow. This has, historically, worked absolutely fine on Windows, Linux, and macOS, but recently has started...
The [`InteropLibrary`](https://www.graalvm.org/truffle/javadoc/com/oracle/truffle/api/interop/InteropLibrary.html) defines the notion of interop types for various truffle languages to communicate. At [Enso](https://github.com/enso-org/enso), we've integrated with GraalPython but run into a few bugs because it seems to...
I want to preface all of this by saying that I have _no_ idea if it is possible. To that end, I find myself sat outside the bear's cave with...
Most unix programs these days have standardised on `-` for short options and `--` for long options. Currently, `dotc` follows the lead of older JDK versions, defaulting to `-` for...
# Describe the Bug Sometimes we infer extra members in packed encodings that change their length (e.g. `kakigori.rs` slot 15's struct) or duplicate entries at a given offset (e.g. `uniswap_v3_pool.rs`...
# Description The [`CpuFrilessVerifier`](https://etherscan.io/address/0xc879af7d5ed80e4676c203fd300e640c297f31e3) contract has some situations where a non-conditional `JUMP` instruction jumps to different destinations based on the offset (of a `JUMPDEST`) that gets pushed onto the stack...
# Describe the Bug We currently infer infinite types (which get loop-broken and written out as `AbiType::InfiniteType`) in certain cases. This is never correct in the output, and is instead...
# Description With #47 merged, execution is now no longer total to ensure that it remains tractable to compute even on deeply-nested contracts. Instead, I am proposing an extensible mechanism...