Kevin Clancy
Kevin Clancy
### Describe the issue: The IR generated for calls to the `code` function uses a reference variable for its lvalue. The lvalue should instead be a `TMP` variable because it...
This fixes [issue 1913](https://github.com/crytic/slither/issues/1913). Previously, when performing an assignment whose variables were originally declared in a tuple-based declaration, the projection components were reused: ``` function test() external returns(int) { (int...
Running tlc on the following code generates no errors. ``` interface Test x : snuffleupagus end ```
### Describe the issue: Slither doesn't distinguish between type expressions, of which `uint[NUM_PHASES]` is a member, and types, of which `uint[NUM_PHASES]` is not a member but `uint[3]` is. This causes...
### Describe the issue: When we print slithir for the following source file: ``` contract Test { function test() external { int[] memory a = new int[](5); } } ```...
The following code: ``` let create_countries = let country_alias_length = 3 in [%rapper execute {sql| CREATE TABLE countries( id int PRIMARY KEY, alias char( %int{country_alias_length} ), name char(20), time_created timestamp,...
When I call `Raygui.text_box bounds text edit_mode` the result will append the byte `0` onto `text` even if no key has been pressed. I can work around this by trimming...
In the diagram of the tape machine, the [second output](https://github.com/DavidJaz/DynamicalSystemsBook/blob/8e662c5c7f7dae0eb39fb5858af9f0c295403178/book/C1-.tex#L449) is labelled "Symbol" when it should be labelled "Head".
In example 1.3.4.6, presenting the theory $$\mathbf{Vect}$$ of real vector spaces as a lawvere theory, the [last sentence](https://github.com/DavidJaz/DynamicalSystemsBook/blob/8e662c5c7f7dae0eb39fb5858af9f0c295403178/book/C1-.tex#L2777) draws that conclusion that $$g^* = f^*$$ as maps $$X^I \to X^J$$....
In Chapter 1, there is a proposition named `interpret_typed_wiring_diagram` which includes the text "which interprets a typed wiring diagram as a lens". The proof of this proposition incorrectly references prop...