Skip to content

Reified RSpaces [10/11]: Integration tests, benchmarks, and examples#337

Open
dylon wants to merge 4 commits intofeature/reified-rspaces-09-hyperparametersfrom
feature/reified-rspaces-10-integration-docs
Open

Reified RSpaces [10/11]: Integration tests, benchmarks, and examples#337
dylon wants to merge 4 commits intofeature/reified-rspaces-09-hyperparametersfrom
feature/reified-rspaces-10-integration-docs

Conversation

@dylon
Copy link
Copy Markdown
Collaborator

@dylon dylon commented Jan 16, 2026

Summary

  • rholang/benches/spaces_benchmark.rs - Criterion benchmarks for RSpace operations
  • rholang/examples/reified_rspaces/*.rho - Example Rholang programs
  • rholang/tests/spaces/*.rs - Integration and property-based tests
  • Comprehensive test coverage for all collection types and storage backends
  • scripts/benchmark-with-perf.sh - Performance benchmarking with CPU affinity

This is PR 10 of 11 in the Reified RSpaces implementation.

Depends on: Reified RSpaces [9/11]: Architecture and performance documentation

@dylon dylon force-pushed the feature/reified-rspaces-09-hyperparameters branch from a99a69c to 94d8c0e Compare January 16, 2026 04:33
@dylon dylon force-pushed the feature/reified-rspaces-10-integration-docs branch from 49d44f2 to 3841204 Compare January 16, 2026 04:34
@dylon dylon force-pushed the feature/reified-rspaces-09-hyperparameters branch from 94d8c0e to 161a13a Compare January 16, 2026 05:14
Adds:
- rholang/benches/spaces_benchmark.rs - Performance benchmarks for RSpace operations
- rholang/examples/reified_rspaces/*.rho - Pedagogical Rholang examples
- rholang/examples/README.md - Documentation for examples
- rholang/tests/spaces/*.rs - Integration and property tests
- rholang/tests/similarity_spec.rs - Similarity matching tests
- scripts/benchmark-with-perf.sh - Benchmark utility script
- Update Cargo.toml with benchmark configuration
@dylon dylon force-pushed the feature/reified-rspaces-10-integration-docs branch from 3841204 to 3264621 Compare January 16, 2026 05:19
@dylon dylon marked this pull request as ready for review January 16, 2026 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant