projects / cvc5.git / commit
| author | PaulMeng <baolmeng@gmail.com> | |
| Fri, 20 Apr 2018 15:15:00 +0000 (10:15 -0500) | ||
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Fri, 20 Apr 2018 15:15:00 +0000 (10:15 -0500) | ||
| commit | adc22697d4c44c54993aa2048dcbd705cbebd466 | |
| tree | 1a4ebb511ac135bc54d35524fc7d6975dfb750b8 | tree |
| parent | b384376e687f53bea69b4fdaa11898a52e0f471f | commit | diff |
| src/Makefile.am | diff | blob | history | |
| src/options/smt_options.toml | diff | blob | history | |
| src/preprocessing/passes/symmetry_detect.cpp | [new file with mode: 0644] | blob |
| src/preprocessing/passes/symmetry_detect.h | [new file with mode: 0644] | blob |
| src/smt/smt_engine.cpp | diff | blob | history | |
| src/theory/quantifiers/term_util.cpp | diff | blob | history | |
| test/regress/Makefile.tests | diff | blob | history | |
| test/regress/regress1/sym/sym1.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sym/sym2.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sym/sym3.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sym/sym4.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sym/sym5.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sym/sym6.smt2 | [new file with mode: 0644] | blob |