.gitignore

.metadata
bin/
tmp/
*.tmp
*.bak
*.swp
*~.nib
*.iml
local.properties
.settings/
.loadpath
.recommenders
.DS_Store

# Eclipse Core
.project

# External tool builders
.externalToolBuilders/

# Locally stored "Eclipse launch configurations"
*.launch

# PyDev specific (Python IDE for Eclipse)
*.pydevproject

# CDT-specific (C/C++ Development Tooling)
.cproject

# JDT-specific (Eclipse Java Development Tools)
.classpath

# Java annotation processor (APT)
.factorypath

# PDT-specific (PHP Development Tools)
.buildpath

# sbteclipse plugin
.target

# Tern plugin
.tern-project

# TeXlipse plugin
.texlipse

# STS (Spring Tool Suite)
.springBeans

# JetBrains
attestor.iml
.idea/

# Code Recommenders
.recommenders/

#project/maven specific
/target/

jmh-result.text
attestor-examples-output/

sllist/target/
RefDLL/target/
RefSLL/target/
TreeFlatten/target/
RefBTDLL/target/
RefBT/target/
bimap/target/
avltree/target/
results.text
RefBT/logfiles/
RefBT/null/
RefDLL/logfiles/
RefDLL/null/
RefSLL/logfiles/
RefSLL/null/
avltree/logfiles/
avltree/null/
bimap/logfiles/
sllist/logfiles/
sllist/null/

CAV2018Examples/DSWTree_M/