.gitignore

# Prerequisites
*.d

# Compiled Object files
*.slo
*.lo
*.o
*.obj

# Precompiled Headers
*.gch
*.pch

# Compiled Dynamic libraries
*.so
*.dylib
*.dll

# Fortran module files
*.mod
*.smod

# Compiled Static libraries
*.lai
*.la
*.a
*.lib

# Executables
*.exe
*.out
*.app

# IDE files
.idea
.vscode

# GitHub local files
*.github-issues

# Cmake generated files
build
build-*
cmake-build*
tau-config.cmake
CMakeFiles
CMakeFiles/*
Makefile
CMakeCache.txt
*.cmake
*.nocmake
!cmake/*
!tests/repl/commands/*
!tests/repl/execution/*
!tests/repl/normal_forms/*
!tests/repl/normalizer/*
!tests/repl/satisfiability/*
src/doctest.h
src/version_license.h
Testing

# Sonarqube
.scannerwork
bw-output

# private directory for a local stuff
.local

# cli history files
.*_history

# other files
/.cache/*
tests/benchmark/data/*
logs/*
.gdbinit
external/boost
libboost-mingw-w64