Import ikos 1.3

Author: arthaud

.clang-format

@@ -0,0 +1,16 @@
+---
+BasedOnStyle: Google
+---
+Language: Cpp
+SpacesInAngles: true
+AccessModifierOffset: -2
+DerivePointerAlignment: false
+AllowShortIfStatementsOnASingleLine: false
+AllowShortLoopsOnASingleLine: false
+AllowShortFunctionsOnASingleLine: Inline
+BinPackParameters: false
+BinPackArguments: false
+PenaltyBreakBeforeFirstCallParameter: 5000
+PenaltyReturnTypeOnItsOwnLine: 500
+SpacesBeforeTrailingComments: 1
+---

.gitignore

@@ -0,0 +1,38 @@
+build
+
+# Editors
+*.swp
+*~
+.ycm_extra_conf.py
+
+# Python
+*.pyc
+__pycache__
+
+# Object files
+*.o
+*.ko
+*.obj
+*.elf
+
+# Libraries
+*.lib
+*.a
+
+# Shared objects (inc. Windows DLLs)
+*.dll
+*.so
+*.so.*
+*.dylib
+
+# Executables
+*.exe
+*.out
+*.app
+*.i*86
+*.x86_64
+*.hex
+
+# IKOS
+*.ar
+*.db