projects / cvc5.git / commit
| author | Andrew V. Jones <andrew.jones@vector.com> | |
| Fri, 17 Jul 2020 17:09:14 +0000 (18:09 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 17 Jul 2020 17:09:14 +0000 (10:09 -0700) | ||
| commit | e8df6f67cc2654f50d49995377a4b411668235e1 | |
| tree | fb8c2b35197e5821ac15c78b74da0d2de8eec3fc | tree |
| parent | 0988217562006d3f59e01dc261f39121df6d75f5 | commit | diff |
| .github/workflows/ci.yml | diff | blob | history | |
| CMakeLists.txt | diff | blob | history | |
| COPYING | diff | blob | history | |
| INSTALL.md | diff | blob | history | |
| NEWS | diff | blob | history | |
| cmake/FindEditline.cmake | [new file with mode: 0644] | blob |
| cmake/FindReadline.cmake | [deleted file] | blob | history |
| configure.sh | diff | blob | history | |
| cvc4autoconfig.h.in | diff | blob | history | |
| src/base/configuration.cpp | diff | blob | history | |
| src/base/configuration.h | diff | blob | history | |
| src/base/configuration_private.h | diff | blob | history | |
| src/main/CMakeLists.txt | diff | blob | history | |
| src/main/interactive_shell.cpp | diff | blob | history | |
| src/main/interactive_shell.h | diff | blob | history | |
| src/options/options_handler.cpp | diff | blob | history | |
| test/system/CMakeLists.txt | diff | blob | history | |
| test/system/interactive_shell.py | [new file with mode: 0755] | blob |