Tested in Mac OS X: super == command
Open/Goto
- super+t: go to file
- super+ctrl+p: go to project
- super+r: go to methods
Sepideh Asadi sepideha
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //SAFE | |
| int sum, sum2=0; | |
| int func1(int a, int b) | |
| { | |
| sum = 1; | |
| if(a < 0){ | |
| a = b + a; //critical | |
| return a; | |
| } |
sepideha
/ 008.493977f.43_1a.cil_safe.i
Created
February 19, 2021 21:09
Modified_regression_verification_SVCOMP
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* Generated by CIL v. 1.5.1 */ | |
| /* print_CIL_Input is false */ | |
| #line 11 "include/asm/posix_types_64.h" | |
| typedef unsigned int __kernel_mode_t; | |
| #line 14 "include/asm/posix_types_64.h" | |
| typedef int __kernel_pid_t; | |
| #line 16 "include/asm/posix_types_64.h" | |
| typedef unsigned int __kernel_uid_t; | |
| #line 17 "include/asm/posix_types_64.h" |
sepideha
/ sublime_text_2_useful_shortcuts.md
Created
December 7, 2018 20:14
— forked from nuxlli/sublime_text_2_useful_shortcuts.md
Sublime Text 2 - Useful Shortcuts
sepideha
/ tmux_cheatsheet.markdown
Created
October 9, 2018 12:18
— forked from henrik/tmux_cheatsheet.markdown
tmux cheatsheet
As configured in my dotfiles.
start new:
tmux
start new with session name: