.gitignore

# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so

# Latex #
###################
*.aux
*.idx
*.out
*.toc
*.bbl
*.blg
*.ilg
*.ind
*.fdb_latexmk

# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
*.rar
*.tar
*.zip

# Logs and databases #
######################
*.log
*.sql
*.sqlite
nextGenLog.*

# OS generated files #
######################
.DS_Store*
ehthumbs.db
Thumbs.db

# The next exclusion as broadly targets the OS X icon file "Icon\r"
# (that's a carriage return, or ^M, at the end).  It's overbroad,
# killing any file whose name is 5 characters long, starting with Icon
# and ending with a character not alphanumeric or -.  We'll tighten it
# up if we need to.  We're doing it this way as inserting the precise
# filename (using control characters) doesn't always survive across
# OSes and edits. -jwc/6June2013
Icon[^-0-9a-zA-Z]
!Icon*/


# Backup files #
################
*~
.#*
\#*#

# maven target directories #
############################
target/

# eclipse noise #
#################
.metadata/
.classpath
.settings/
.metadata/
.project
bin

# Added by Jenkins for local mvn repos #
########################################
.repository/


# Generated by Overture #
#########################
generated/





# Vim Swap Files #
##################
*.swp




# OSX
.DS_Store

# Eclipse
.cproject
.project
.settings/
*.launch

# CMake

CMakeCache.txt
CMakeFiles
CMakeScripts
Makefile
cmake_install.cmake
install_manifest.txt
CTestTestfile.cmake
Testing/
Debug/

# Project files
c/c-examples/c-examples
c/vdm/generated
c/generator-test/generator-test
c/**/report.xml
c/vdmclib/vdmclib
c/vdmclib/src/main/vdmclib
c/vdmclib/src/test/memperf/memperf
c/vdmclib/src/test/memperf/vdmclib.a
c/vdmclib/CSVTestInput.csv
  
# release
repository

# Intellij metadata #
#####################
*.iml
.idea