Mohit Kumar Jangid

I followed the guide at https://fman.io/docs/custom-shortcuts Created a new file: ​**Key Bindings.json** and added new shortcut as ``` [ { "keys": ["F8"], "command": "create_and_edit_file" }, ] ``` reloaded the plugins....

local LA migration "Error sending message! Bad file descriptor"

2

Hi, I am getting the same error as https://github.com/SSGAalto/sgx-migration/issues/2. Did you happen to find any solution? Which boost version should I use?

Duplicate ssh connection in new window (split right or down)

2

When I create use split right or down, the ssh session in the current terminal is not replicated. I have to run ssh command again. How can I resolve this?

Errors when running test files on Linux

2

I tested Vale with F* in Linux with the following command: ``` mono $HOME/vale-release-0.3.19/bin/vale.exe -fstarText -in common.vaf -out common.fst -outi common.fsti fstar.exe --query_stats common.fst ``` I'm able to run it...