A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Version2.1.2compared with
Version Details
| 2.1.1 | 2.1.2 | |
|---|---|---|
| Release date | Aug 18, 2025 | Sep 05, 2025 |
| Licenses | Apache 2.0LGPL 2.1 | Apache 2.0LGPL 2.1 |
| Vulnerabilities | None | None |
Managed Changes (6)
| 2.1.1 | 2.1.2 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | io.r2dbc » r2dbc-proxy | - | 1.1.6.RELEASE |
| ~ Updated | bighuggies » bisimulation | 1.0-SNAPSHOT | 1.0.0 |
| ~ Updated | org.bigraphs.framework » bigraph-converter | 2.1.1 | 2.1.2 |
| ~ Updated | org.bigraphs.framework » bigraph-core | 2.1.1 | 2.1.2 |
| ~ Updated | org.bigraphs.framework » bigraph-simulation | 2.1.1 | 2.1.2 |
| ~ Updated | org.bigraphs.framework » bigraph-visualization | 2.1.1 | 2.1.2 |
