Jay Bosamiya

Now that a common trait for this has been sorted out (https://github.com/rust-num/num-traits/issues/159 implemented and merged in https://github.com/rust-num/num-traits/pull/195), we can now close https://github.com/rust-num/num-bigint/issues/146 by implementing the trait for `BigInt`s. This commit...

## Expected behavior When moving through the file, as the cursor goes over class names / method names / etc, eclim should not ask for making a new file again...

No way to pass multiple values to list-like `--config` options

1

There appears to be no way to pass multiple values to a configuration parameter such as [`skip_macro_invocations`](https://rust-lang.github.io/rustfmt/?version=master&search=macro#skip_macro_invocations) from the command-line: ```console $ rustfmt --config 'skip_macro_invocations=["foo","bar"]' invalid key=val pair: `skip_macro_invocations=["foo"` $...

When we are in an indirect buffer, killing the indirect buffer causes the base buffer to also undergo a teardown. This commit makes sure to check whether we are actually...

Jump to fsti's when jumping to a module. Allow user preference for this.

1

Closes #107. Supports the user choosing whether they want this new feature.

fstar-jump-to-definition on a module should jump to the fsti if it exists

1

Currently, `M-.` (`fstar-jump-to-definition`) jumps to the fst of the module, when we do it over an `open ModuleName`, even if an `fsti` exists. I think it would be better if...

Ability to use "fstar --indent"

6

I have implemented some code that introduces the `C-c ` keybinding that calls out to `fstar --indent` for the region of code that the cursor is in (i.e., a `subp`)....

SMT Encoding issue (forcing thunked names)

2

Opening a GitHub issue to better track this. Original message below. --- I faced a curious issue in one of the proofs within code that I was writing in Vale,...

Even if "Save to debug directory" is unchecked, BTIGhidra always passes `--debug_out_dir` (due to https://github.com/trailofbits/BTIGhidra/blob/28dee6a31d00d171ef37765f933d22a44ae95998/plugin/src/main/java/binary_type_inference/BinaryTypeInferenceRunner.java#L121-L122 being hard-coded) and this causes problems on some binaries. Specifically, if we take (a stripped...

When testing BTIGhidra on a simple example (below), the types in Ghidra are not updated. It _does_ work fine on the file in [DEMO.md](https://github.com/trailofbits/BTIGhidra/blob/main/DEMO.md), so my setup is correct and...