Will Song

differentiate between floating and tiled in rects and only apply `tileWindow` to tiled windows

13

This addresses #81. There's not much to test but if this totally kills the behavior of floating windows let me know and I'll see what other workarounds I can put...

Add option to create borders externally

8

### Problem Description Borders are created internally, so if borderWidth = 2, a call to xcb_create_window() with width=1280 and height=720 and borderwidth = 0 ends up creating a client area...

Writing escaped strings in `/try` causes the editor to hang

1

Shortest test vector: `"\\"`. Most likely something in [elm.js](https://github.com/elm/elm-lang.org/blob/dcea4a7a4dde2375bbb0d7d95dce4a56a3a084ea/editor/cm/mode/elm.js) is causing this issue.

lets us use `MonadState` for `World` and avoid passing around this `w` parameter everywhere

a lot of functions are hard to understand what the parameters mean at first glance. some haddock would be nice.

https://github.com/crytic/echidna/pull/584/files#diff-c20de95e05c2d1faa33bc6ee6d7db3ac1421bac2b099f945ebb81c237d3b7e43L144-R144

customers migrations

1

Add migrations for customers so `python2 manage.py migrate_schemas` works out of the box.

apply the correct result type when lifting functions

1

should address #209 but i'm not sure if what i did is entirely good either way it's a 2 line change so it should be quick and easy as a...

The two test shaders are identical. ```glsl #version 460 void main(){} ``` ``` $ glslc test.vert -o vert.spv $ glslc test.frag -o frag.spv $ spirv-link vert.spv frag.spv -o test.spv $...

## Summary This is a demo for how Echidna may be integrated into the AZTEC Solidity pipeline. Echidna is a property based EVM fuzzer. It reads a contract's public ABI...