Commit 8521928
kf update for bundle
Signed-off-by: Noam Cohen <noam.chn1@gmail.com>1 parent 8d822f4 commit 8521928
1 file changed
Lines changed: 1 addition & 1 deletion
Submodule kepler-formal updated 75 files
- .bazelignore+1
- .bazelrc+10
- .bazelversion+1
- .github/workflows/bazel.yml+43
- .github/workflows/coverage.yml+2-2
- .github/workflows/regress-big.yml+74
- .github/workflows/regress.yml+1-1
- .github/workflows/release.yml+98
- .gitignore+4
- .reuse/dep5+17-1
- BUILD.bazel+10
- CMakeLists.txt+13-12
- MODULE.bazel+33
- README.md+126-6
- bazel/BUILD.bazel+1
- bazel/deps.bzl+159
- bazel/glucose.BUILD.bazel+26
- bazel/kissat.BUILD.bazel+51
- bazel/naja.BUILD.bazel+99
- docs/bcr-roadmap.md+97
- docs/releasing.md+139
- docs/systemverilog/README.md+87
- example/BUILD.bazel+9
- example/README.md+32-3
- src/bin/BUILD.bazel+34
- src/bin/CMakeLists.txt-1
- src/bin/KeplerFormal.cpp+747-78
- src/bin/KeplerFormalUtils.h+9
- src/clauses/BUILD.bazel+23
- src/clauses/SNLLogicCloud.cpp+914-115
- src/clauses/SNLLogicCloud.h+2-1
- src/clauses/SNLTruthTableTree.cpp+130-36
- src/clauses/SNLTruthTableTree.h+15-2
- src/clauses/Tree2BoolExpr.cpp+76-7
- src/config/BUILD.bazel+8
- src/config/Config.h+10-1
- src/formal/BUILD.bazel+18
- src/formal/BoolExpr.cpp+86-32
- src/formal/BoolExpr.h+13-3
- src/formal/BoolExprCache.h+5-5
- src/sat/BUILD.bazel+13
- src/sat/SATSolverWrapper.h+2-1
- src/scope/BUILD.bazel+14
- src/strategies/BUILD.bazel+29
- src/strategies/CMakeLists.txt-7
- src/strategies/miter/BuildPrimaryOutputClauses.cpp+373-141
- src/strategies/miter/BuildPrimaryOutputClauses.h+17-16
- src/strategies/miter/MiterStrategy.cpp+460-91
- src/strategies/miter/MiterStrategy.h+16-6
- src/utils/BUILD.bazel+13
- test/BUILD.bazel+1
- test/CMakeLists.txt+1
- test/scope/BUILD.bazel+15
- test/scope/CMakeLists.txt+3-24
- test/scope/ScopeExtractionTests.cpp+11-20
- test/strategies/BUILD.bazel+1
- test/strategies/CMakeLists.txt-2
- test/strategies/miter/BUILD.bazel+23
- test/strategies/miter/CMakeLists.txt+33-19
- test/strategies/miter/KeplerFormalCliTests.cpp+2.0k
- test/strategies/miter/MiterTests.cpp+1.6k-99
- test/strategies/miter/test_config_failure_bazel.yaml+16
- test/strategies/miter/test_config_naja_if_with_se_bazel.yaml+16
- test/strategies/miter/test_config_verilog_bazel.yaml+16
- test/unit_designs/CMakeLists.txt+16
- test/unit_designs/UnitDesignCompare.cpp+219
- test/unit_designs/designs/simple0.v+35
- test/unit_designs/designs/simple1.v+35
- test/unit_designs/designs/simple2.v+35
- test/unit_designs/designs/simple3.v+35
- test/utils/BUILD.bazel+22
- test/utils/CMakeLists.txt+4-18
- test/utils/SNLTruthTableTreeTests.cpp+23-2
- thirdparty/naja+1-1
- tools/release.sh+51
0 commit comments