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
find_package(Threads REQUIRED) | |
ExternalProject_Add( | |
googletest | |
GIT_REPOSITORY https://github.com/google/googletest.git | |
UPDATE_COMMAND "" | |
INSTALL_COMMAND "" | |
LOG_DOWNLOAD ON | |
LOG_CONFIGURE ON | |
LOG_BUILD ON) |
Danqing Li - 950121-C669 Robert Grzelka - 911009-T437
In the basic programming course (at least on Physics dept.) there has been a programming assignment where you generate all primes between 2..n. One simple way of doing it is to use Eratosthenes sieve:
- create an array 2..n filled with “true” booleans.
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
#Dependencies: Install Mono from the official repositories; | |
#the version in most distribution repositories is too out of date. | |
#The mono-devel package is what you need. | |
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF | |
echo "deb http://download.mono-project.com/repo/ubuntu xenial main" | sudo tee /etc/apt/sources.list.d/mono-official.list | |
sudo apt-get -y update | |
#Create an empty base directory | |
mkdir ~/.dafny | |
cd ~/.dafny |
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
#Ubuntu LLDB for vim config | |
export _V_=3.8 | |
echo $_V_ | |
sudo apt install -y clang libclang-$_V_ libclang-dev \ | |
liblldb-3.8 libllvm-3.8 python3-future python-lldb-$_V_ lldb-$_V_ && \ | |
\ | |
cd /usr/lib/llvm-$_V_/lib/python2.7/site-packages/lldb && \ | |
sudo ln -sf ../../../liblldb.so.1 _lldb.so && \ |
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
git clone git://github.com/rafi/vim-config.git ~/.RafiVim | |
ln -sf ~/.RafiVim ~/.config/nvim | |
pip3 install --user --upgrade PyYAML | |
cd ~/.RafiVim | |
(./venv.sh) | |
make test | |
make |
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
Hi @robgrzel , there are two files for user customization | |
~/.EverVim.vimrc is for global user config that will override the default | |
YOUR_PROJECT/.EverVim.project is for per-project settings that overrides the default and the global user config. You can just simply put this file in the project root directory. | |
As for user-defined keymappings, it's just how you normally define vim keymaps. You can add key mapping to one of those files above. For example | |
" in one of your project root | |
" .EverVim.project | |
nnoremap <Leader>mb :!cd build; cmake ..; make -j |
This list is meant to be a both a quick guide and reference for further research into these topics. It's basically a summary of that comp sci course you never took or forgot about, so there's no way it can cover everything in depth. It also will be available as a gist on Github for everyone to edit and add to.
###Array ####Definition:
- Stores data elements based on an sequential, most commonly 0 based, index.
- Based on tuples from set theory.
NewerOlder