Flash Sheridan

Misleading warning

1

I received the following warning from Gothamist for 11.1.2 (13605.3.8): > It takes just a few minutes to update your browser and you will be more safe and comfortable. This...

The paranoid among your happy users would appreciate a `--move` option, at least initially, to move files to a given directory rather than deleting them right away. I managed to...

I’m not sure whether this is a feature request or a bug, but when I followed the steps in the ReadMe up through `truffle test`, then `truffle develop`, `test`, and...

Idiomatic updates to compiler docs PR

1

Testing the patches to PR new suggestion mechanism, first with Idiomatic updates to compiler overview.md. (It may be easier to accumulate edits in this PR before merging my branch into...

Make ReadMe more idiomatic,

1

chiefly by adjusting articles and punctuation. “register-based” is a significant change.

- Hints for uniquing unsoundness reports. - Cover `alive-tv` as well as Compiler Explorer instance.

`bat` silently quits, rather than reporting an error, if `less` is missing

9

**What steps will reproduce the bug?** 1. Install `bat` on a machine without `less` (a minimal Docker image in my case with 22.04.4 LTS (Jammy Jellyfish) x86_64, where of course...

Fix link to the Truffle Box section

1

Fix link to the Truffle Box section to point to the section rather than the site.

Add support for pointers larger than 64 bits

5

[ir/memory.cpp:199](https://github.com/AliveToolkit/alive2/blob/471b4e457e95d3fa7feb4387a35de381038cd9d4/ir/memory.cpp#L199) and [tools/transform.cpp:904](https://github.com/AliveToolkit/alive2/blob/471b4e457e95d3fa7feb4387a35de381038cd9d4/tools/transform.cpp#L904) assert `bits_program_pointer TODO: support pointers larger than 64 bits. [Changing](https://github.com/FlashSheridan/alive2/tree/FlashSheridan-CPR-1655-not-64) the assertions for this and [non-0 address spaces](https://github.com/AliveToolkit/alive2/issues/877) allowed me to test some of our simple IR,...

Suppress some clang-tidy errors in kpv-cpr-1568

1

## Purpose Suppress some clang-tidy errors in branch [kpv-cpr-1568-adding-support-of-evm-arch-to-lld-linker](https://github.com/matter-labs/compiler-llvm/tree/kpv-cpr-1568-adding-support-of-evm-arch-to-lld-linker); I’m proposing to add these changes to that branch while it‘s in development. (Some of the debugging output in compiler-integration-tests.yml may...