aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.gitignore
blob: 70f6010238238819a85aded5256af41f733a3bed (plain) (blame) 
1
2
3
4
5
6
7
8
9
10

/.VampireSolver.java._trace
/.TypeMappingTechnique.java._trace
/.VampireBackendSolver.java._trace
/.VampireSolverConfiguration.java._trace
/.VampireAnalyzerConfiguration.xtendbin
/.VampireSolver.xtendbin
/TypeMappingTechnique.java
/VampireBackendSolver.java
/VampireSolver.java
/VampireSolverConfiguration.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 10:52:24 +0000