1 file changed
+1
-1
lines changedSubmodule kepler-formal updated 28 files
- .github/workflows/coverage.yml+71
- CMakeLists.txt+23-5
- README.md+2-2
- src/CMakeLists.txt+1-1
- src/bin/CMakeLists.txt+1-1
- src/bin/KeplerFormal.cpp+1-1
- src/clauses/CMakeLists.txt+1-1
- src/clauses/SNLLogicCloud.cpp+1-1
- src/clauses/SNLLogicCloud.h+1-1
- src/clauses/SNLTruthTableTree.cpp+1-149
- src/clauses/SNLTruthTableTree.h+1-2
- src/clauses/Tree2BoolExpr.cpp+1-1
- src/clauses/Tree2BoolExpr.h+1-1
- src/formal/BoolExpr.cpp+1-1
- src/formal/BoolExpr.h+1-1
- src/formal/BoolExprCache.cpp+1-1
- src/formal/BoolExprCache.h+1-1
- src/formal/CMakeLists.txt+1-1
- src/strategies/CMakeLists.txt+1-1
- src/strategies/miter/BuildPrimaryOutputClauses.cpp+1-1
- src/strategies/miter/BuildPrimaryOutputClauses.h+1-1
- src/strategies/miter/MiterStrategy.cpp+74-36
- src/strategies/miter/MiterStrategy.h+1-1
- src/utils/CMakeLists.txt+1-1
- src/utils/SNLLogicCone.cpp+1-1
- src/utils/SNLLogicCone.h+1-1
- test/strategies/miter/MiterTests.cpp+6-6
- test/utils/SNLTruthTableTreeTests.cpp+254
0 commit comments