diff options
| author | Justin Xu <justinx@barrett5.stanford.edu> | 2017-07-14 18:27:01 -0700 |
|---|---|---|
| committer | Justin Xu <justinx@barrett5.stanford.edu> | 2017-07-14 18:27:01 -0700 |
| commit | f0394d9417dfc533ec67183fe32ac4aaf007092e (patch) | |
| tree | e5aeb97da14a93432f9ec9585343d8d24dfcbcc1 /vimrc | |
| parent | 8fa79f8464ae02772d6a25356ae0a7bfd9586ed0 (diff) | |
Finished implementing pbRewrites, RewriteApplyToConst, BitBlastEager, and NoConflict classes. isQuantified, StaticLearning, and RepeatSimp still commented out, unsure how to implement function calls
Diffstat (limited to 'vimrc')
| -rw-r--r-- | vimrc | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -0,0 +1,2 @@ +set number +set hlsearch |