/target
.classpath
.project
.settings
/run_tests.sh~
/run_test.sh~
/conf_json2tex.sh~
/prepare_configs.sh~
*~
/tsp.full
/tsp.slice
/#build_results_table.sh#
/petrus-profile/target/.cache-main
.cache-tests
*/.cache-main
*/.cache-tests
project/target
project/project
petrus-*/project/target
petrus-*/project/project
.emsime
.emsime_cache
.ensime_cache/
.ensime
petrus-*/target/
seout/
*.log
*.synctex.gz
*.aux
/doc/new-method.pdf
### Intellij ###

# User-specific stuff:
.idea

## File-based project format:
*.iws

## Plugin-specific files:

# IntelliJ
/out/

# mpeltonen/sbt-idea plugin
.idea_modules/

# JIRA plugin
atlassian-ide-plugin.xml

# Cursive Clojure plugin
.idea/replstate.xml

# Ruby plugin and RubyMine
/.rakeTasks

# Crashlytics plugin (for Android Studio and IntelliJ)
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties
.jvm
petrus-*/jvm/target
.js
petrus-*/js/target
.bloop
.metals
js/
/schedule/*.tar.xz
/mixed-runtime-scripts/hourlimit.csv
/mixed-runtime-scripts/hourlimitP.csv
