.gitignore

.DS_store
dist
dist-*
cabal-dev
*.o
*.hi
*.chi
*.chs.h
*.dyn_o
*.dyn_hi
.hpc
.hsenv
.cabal-sandbox/
cabal.sandbox.config
*.prof
*.aux
*.hp
*.eventlog
*.swp
.stack-work/
.vscode
.project
sql/.classpath
sql/.settings
stack.yaml.lock
cabal.project.local
.HTF/
test/datalog_tests/*.ast
test/datalog_tests/*.err
test/datalog_tests/*.dump
test/datalog_tests/*.c
test/datalog_tests/*_ddlog
test/datalog_tests/debug.log
test/datalog_tests/prof.profile
test/evaluation/
test/examples/
test/example/
java/*/*_ddlog/
test/ovn
*.dump
# These files are generated
test/souffle*/*.err
test/souffle*/*.dump
test/souffle*/*_ddlog
test/souffle*/*.log
test/souffle*/souffle.dl
test/souffle*/souffle.dat
test/*/souffle.dump.expected
# These are automatically generated by the run-souffle-tests.py program
test/souffle_tests*
.idea/
out/
*.cabal
cabal.config
differential-datalog.iml
**Cargo.lock
**.swo
**/target/*
**cmd_parser_history.txt
TAGS
tags
*.facts
*.jar
java/test/span_uuid.java.dump
java/test*/*_ddlog
java/webserver/apache-tomcat-8.5.2
*.pyc
souffle-grammar.pgt
# idea project files
*.iml
flatbuffers*
replay.dat

# automatically generated by Java code
sql/lib/sqlop.dl
sql/program_ddlog
sql/libddlogapi.*
sql/program.dl

testsuite.log/
node_modules/
# We actually cannot commit package-lock.json to the repo, since some corporate
# sites rewrite urls to npm repositories
package-lock.json
rust/ddlog_benches/generated/*_ddlog
!rust/ddlog_benches/ddlog
rust/ddlog_benches/data
!rust/ddlog_benches/data/.gitkeep
.ghc.*.*