PredPC: Predicates collection, checking and proving in parallel

How to build

git clone --recursive https://github.com/Moorvan/WAMCer.git

./setup.sh

setup.sh 可能无法一次性运行成功，可以从失败的地方重新运行 setup.sh 中的命令

Name	Name	Last commit message	Last commit date
Latest commit xiangmufan ✨ new version of folder bmc Feb 1, 2024 7d54e26 · Feb 1, 2024 History 83 Commits
async	async	🐛 bug fixed in predCP	Jan 2, 2023
btors	btors	✨ folder bmc	Jun 7, 2023
core	core	✨ new version of folder bmc	Feb 1, 2024
deps	deps	🐛 btor2tools git fixed	Oct 28, 2022
engines	engines	✨ new version of folder bmc	Feb 1, 2024
frontends	frontends	✨ folder bmc	May 15, 2023
smt-switch @ 8635642	smt-switch @ 8635642	🔨 restructuring	Oct 2, 2022
tests	tests	✨ new version of folder bmc	Feb 1, 2024
utils	utils	✨ folder bmc	May 15, 2023
.gitignore	.gitignore	✨ add simulation & pred gen in main	Dec 28, 2022
.gitmodules	.gitmodules	🐛 btor2tools git fixed	Oct 28, 2022
CMakeLists.txt	CMakeLists.txt	✨ add pred check&prove	Dec 26, 2022
README.md	README.md	🎬 add instruction of installing	Feb 22, 2023
config.h	config.h	✨ FBMC + k-induction run in parallel	Oct 6, 2022
main.cpp	main.cpp	✨ new version of folder bmc	Feb 1, 2024
setup.sh	setup.sh	✨ add random simulation	Oct 23, 2022