.gitignore « hu.bme.mit.inf.dslreasoner.smt.reasoner « SMT-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/.gitignore

blob: 8ae4e44d367d73df35fe1708a54a61ce05b35929 (plain) (blame)

/bin/
/src-gen/
/vql-gen/
/xtend-gen/