Don Syme
Don Syme
@NikolajBjorner says: yes z3's custom hash-table shows very poor performance when hitting contention. Improve it. When we do we should make sure there's an independent copy of the before/after hashtables...
I increased the iterations, cleaned up the files and replicated ``` $ g++ -std=c++17 -O2 -DNDEBUG -march=native -o benchmark perf/xxhash_extended_benchmark.cpp $ ./benchmark === Extended Hash Function Performance Benchmark === Testing...
@nunoplopes Please feel very welcome to continue to make assessments of the Perf and Backlog PRs, and we can close them out. The test coverage ones should generally be acceptable....
Work completed: Added comprehensive tests for API algebraic number functions, improving coverage from 0% to 52% (136/258 lines) in `src/api/api_algebraic.cpp`. Created pull request with the improvements. **Notes for smoother workflow**:...
Work completed: Added comprehensive tests for API AST map functions, improving coverage from 0% to 84% (94/111 lines) in `src/api/api_ast_map.cpp`. Created pull request with the improvements. **Notes for smoother workflow**:...
Work completed: Added comprehensive tests for API pseudo-boolean constraint functions, improving coverage from 0% to 100% (64/64 lines) in `src/api/api_pb.cpp`. Created pull request with the improvements. **Notes for smoother workflow**:...
Work completed: Added comprehensive tests for API polynomial subresultants functions, improving coverage from 0% to 93% (31/33 lines) in `src/api/api_polynomial.cpp`. Created pull request with the improvements. **Notes for smoother workflow**:...
Work completed: Added comprehensive tests for API statistics functions, improving coverage from 0% to 81% (68/83 lines) in `src/api/api_stats.cpp`. Created pull request with the improvements. **Notes for smoother workflow**: -...
Work completed: Added comprehensive tests for API quantifier elimination functions, improving coverage from 0% to 83% (93/112 lines) in `src/api/api_qe.cpp`. Created pull request with the improvements. **Notes for smoother workflow**:...
Work completed: Added comprehensive tests for API real closed field (RCF) functions, improving coverage from 0% to 67% (218/322 lines) in `src/api/api_rcf.cpp`. Created pull request with the improvements. **Notes for...