Kevin Orr
Kevin Orr
I have a C file that includes structs whose members are of one of the `stdint.h` types (e.g. `uint8_t`, `int32_t`, `int_fast8_t`, etc). When I add this file to the "Source...
Now that #1134 is merged in, we can add the results of `SimActionOperation`s to `Function.local_runtime_values`, which finds far more string references (e.g. in `Function.string_references()`) on a MIPS testing binary. Closes...
Similar to #98, when trying to "Replace all with code", I get the error `An assembly with the same identity 'mscorlib, Version=2.0.0.0, culture=neutral, PublicKey Token=b77a5c561934e089' has already been imported. Try...
As suggested in #78. Closes #78
``` ==display(1) Runtime error in _system_library On line 189 at position 20 display(x.) = \join(expand(map(i -> ; :str(i), x))) ^ Improper number of arguments for function Function join @140628762953936-0 ```...
According to its docstring, `flycheck-error-level-interesting-p` should return true if there are no errors as _or more severe than_ `flycheck-navigation-minimum-level`. Currently, however, it only checks if there are any errors exactly...
Currently, the user option `proof-three-window-enable` both enables the 3-window layout, and makes the goals and response buffers dedicated. When the windows are dedicated, some other packages don't work correctly (e.g....
In `LaunchManager.cs`, [Command_ChangeFolder](https://github.com/GregRos/Patchwork/blob/f3a3a6cebae7be3e597e588aac0c91fc6dc56a1d/PatchworkLauncher/GUI/LaunchManager.cs#L351) exits the application if the user presses the OK button.
``` $ pyenv virtualenv-delete --help Usage: pyenv virtualenv-delete [-f|--force] -f Attempt to remove the specified virtualenv without prompting for confirmation. If the virtualenv does not exist, do not display an...
Well this is crazy timing. I'm getting ready to package this project for Arch Linux, and suddenly the most recent commit goes from 2 years old to 2 minutes old!...